> Is Security-enhanced Linux a Trusted Operating System?
> No. The phrase "Trusted Operating System" generally refers to an operating system that provides sufficient support for multilevel security and evidence of correctness to meet a particular set of government requirements. Security-enhanced Linux incorporates useful ideas from these systems but focuses upon mandatory access controls.
Ни модели Кларка -- Вильсона, ни Белла -- ЛаПадулы там нет и, скорее всего, не будет ( по крайней мере, в ближайшее время ).
> Да и какая сертификация если они сами говорят "Currently, we can only support the x86 architecture and have only been able to test it on Red Hat distributions. "