Heres a post that has a little info on nsa and selinux. BlackNet offered ssh root on a demo box, but that was back in March and it was the only post he made on this forum.
Fedora Core 3 has it build in. Seems to integrate a fair bit into the OS, can't remember how secure it actually though because FC3 wouldnt be my distro of choice anyway.
I wouldn't bet the farm that NSA is using it on their systems. As a matter of fact, I'd feel pretty confident in saying I'm sure they don't use it. Might there be some Linux weenie (yes I am one too) sitting at his desk with it running? Sure. But I wouldn't suspect anything of much import to have it loaded.
The first page reads:
Quote
This work is not intended as a complete security solution for Linux. Security-enhanced Linux is not an attempt to correct any flaws that may currently exist in Linux. Instead, it is simply an example of how mandatory access controls that can confine the actions of any process, including a superuser process, can be added into Linux.
That's not to say it won't be used sometime down the road, but I highly doubt it's being used in production on important systems now.
I would say that it would all depend on what side of the network there runing it at.
With something as large, and as techy as No Such Agency
You can be pretty sure they have a test room with multiple OS's and Distros running
Like Chinese 2000, Turbo Linux, etc etc
And if you recall the Microsoft issue with the Duel Keys that caused an uproar in Germany which I belive was one of the factors causing Germany to switch to SuSE in the big brother side of the house, how much of the SELinux distro would you really trust?
TrustedBSD is developing a variety of trusted operating system features for FreeBSD, including mandatory access controls, while SELinux has specifically focused on developing flexible mandatory access controls for Linux. The TrustedBSD mandatory access controls are currently limited to hardcoded policies such as multi-level security and Biba integrity, but they plan on migrating to a more flexible MAC architecture in the future. The TrustedBSD project has the ability to directly commit their features (as they mature) into the FreeBSD kernel, since their lead developer is also a FreeBSD core team member, whereas we lack such a direct path into the Linux kernel.
--
Stephen D. Smalley, NAI Labs
ssmalley@nai.com
www.SwiftLayer.com
SwiftLayer serves a multitude of customer needs, from the small businesses to the corporate giants, we have researched and delivered solutions that are perfect for today yet adaptable for tomorrow. SwiftLayer's shared hosting, virtual hosting, and managed hosting is the ideal choice for business success.
It is said that OpenBSD lost their government funding so I dont know how quickly their technology will be advancing compared to say FreeBSD or Linux
www.SwiftLayer.com
SwiftLayer serves a multitude of customer needs, from the small businesses to the corporate giants, we have researched and delivered solutions that are perfect for today yet adaptable for tomorrow. SwiftLayer's shared hosting, virtual hosting, and managed hosting is the ideal choice for business success.
openbsd's progress is actually quite good. its not intended to be bleeding edge but its default install security model is most effective. I find it makes an excellent shellbox or network fileserver. I don't really recall openbsd being government funded though