The Department of Defense is spending billions modernizing the IT systems it uses for everything from health care and human capital needs to logistics and contracting. These efforts to modernize IT aim to improve how DOD does business, conducts day-to-day operations, and increase cybersecurity. But several of DOD’s efforts have seen large cost increases and are behind schedule by a year or more.Today’s WatchBlog post looks at our latest annual assessment of DOD’s IT systems.
My husband says it is not secret what they use. It is something called L4-SEC which has formal proofs of correctness
We need the /s tag around here for even the mildest and most obvious jokes.
https://www.sigops.org/s/conferences/sosp/2009/papers/klein-sosp09.pdf
You may need to work on your jokes :)