IPAから情報セキュリティ技術動向調査（2008年下期）が公開

セキュアOSの動向についてがあります。
OpenSolarisのFMACがメイン。SELinuxのPermissiveDomainについても

情報セキュリティ技術動向調査（2008 年下期）
http://www.ipa.go.jp/security/fy20/reports/tech1-tg/index2.html

セキュアOSの動向
http://www.ipa.go.jp/security/fy20/reports/tech1-tg/2_04.html

上期はSMACKでした。

Linux 用の新しいセキュアOS：SMACK
http://www.ipa.go.jp/security/fy20/reports/tech1-tg/1_05.html