The DRPA has called on the industry to help improve the Dod Cybercquire, strengthening

Defense Advanced Research Projects Against Cyberthrettes have announced a resilient software system accelerator program to extensive adoption of mathematics-based software development practices to further secure the military system.