情報セキュリティプロフェッショナル教科書が発売

アスキーから発売です。
6章にセキュアOSについてが20ページぐらい。
ProtectionProfileと紐づけています。

情報セキュリティプロフェッショナル教科書
http://ascii.asciimw.jp/books/books/detail/978-4-04-867782-0.shtml

全体的な構成

第1部　脅威
　第1章　情報とシステムへの脅威とリスク
　第2章　攻撃の対象と攻撃の手法
第2部　ネットワークの防御
　第3章　ネットワーク
　第4章　ファイアウォール
　第5章　攻撃の検知と防御
第3部　コンピュータの防御
　第6章　OS
　第7章　サービス
　第8章　PCの防御
第4部　情報の防御
　第9章　暗号
　第10章　認証、電子署名、PKI
　第11章　セキュリティプロトコル
第5部　管理・開発・運用
　第12章　情報セキュリティマネジメント
　第13章　セキュア開発
　第14章　セキュリティ運用
第6部　コンプライアンス
　第15章　法令・規格

追記
JNSAからのプレスも
「情報セキュリティプロフェッショナル教科書」のご紹介
http://www.jnsa.org/result/edu_tx/090323/