No change to the GPL needed
There's no need for DoD to "alter" the GPL. The GPL's source code release mandate only applies if binaries are released. Assuming DoD keeps everything in-house (and why wouldn't they?), nothing in the GPL conflicts with their security requirements.
Keep Up with TechRepublic