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.
I’ve always wondered if the world’s major governments all have their own secret, bespoke operating systems for highly sensitive situations. Like, not Windows, Linux, macOS, BSD, or anything even remotely known to the public. But then you see high-ranking admin officials using bootleg Signal on an off-the-shelf phone or whatever.
I’d assume the actual intelligence agencies are more sophisticated. I doubt they’re running some “hardened” version of Windows or Android or whatever. But maybe I’m being naive and they all are just working with vendors.
I’ve always wondered if the world’s major governments all have their own secret, bespoke operating systems for highly sensitive situations. Like, not Windows, Linux, macOS, BSD, or anything even remotely known to the public. But then you see high-ranking admin officials using bootleg Signal on an off-the-shelf phone or whatever.
I’d assume the actual intelligence agencies are more sophisticated. I doubt they’re running some “hardened” version of Windows or Android or whatever. But maybe I’m being naive and they all are just working with vendors.
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