I suppose this just represents that the NSA at least in the past had various factions inside it, one of which lead to SELinux.
I suppose this just represents that the NSA at least in the past had various factions inside it, one of which lead to SELinux.
Anyway, the market went with insecure everything for price, performance, and backward compatibility. DOD/NSA even started buying insecure stuff for similar reasons. NSA's export restrictions and focus on military-like standards made most of the vendors go belly up or cancel future work. Now, only Boeing SNS Server, BAE XTS-400, and Aesec's GEMSOS remain from that time along with the "Trusted" OS's that weren't secure to begin with. SELinux, DTW, High Assurance Platform (not high assurance), and so on are their latest trend of putting good security "features" into COTS technology without the "assurance" that they're built securely. Even before Snowden leaks, I called out their INFOSEC people for doing more for the enemy than our security pushing garbage like that.
Today, I wonder if they did it on purpose. Regardless, their stuff can't be trusted without thorough review because of so much incompetence. The best work (eg CheriBSD) is coming out of DARPA, NSF, and other projects. So we don't need NSA anyway. :)
One the one hand they are to spy on the communications of "enemies", on the other they are to defend the nation against such spying.
Problem is that you basically can't do one without compromising the other.
Hopefully someone will put one in production in next several years. CheriBSD already runs on FPGA's & Linux runs on some. Getting really close to PC's we can trust [a bit more]. :)
[1] http://seclab.cs.ucdavis.edu/projects/history/papers/ware70....
[2] http://seclab.cs.ucdavis.edu/projects/history/seminal.html
[3] https://www.acsac.org/2004/papers/ClassicPaperSchafer.pdf
[4] http://homes.cs.washington.edu/~levy/capabook/
[5] http://www.smecc.org/The%20Architecture%20%20of%20the%20Burr...
[6] https://www.schneier.com/blog/archives/2014/04/dan_geer_on_h...