SKPPの正式版がリリース

hshinjisanの日記から
http://d.hatena.ne.jp/hshinji/20071117

SKPPの正式版がリリースされてたみたい
http://www.niap-ccevs.org/cc-scheme/pp/pp.cfm?id=PP_SKPP_HR_V1.03

SKPPのINTEGRITYは去年に少しメモってた

Green Hills Software の INTEGRITY-178B Operating System　は　Separation Kernel Protection Profile (SKPP)　で　EAL6＋
http://d.hatena.ne.jp/yuyat/20060507

そういえば、LSPPでの評価はもう終わったんだっけ
http://www.niap-ccevs.org/cc-scheme/pp/PP_OS_LS_V1.B.cfm

Sunset Date: 16 Septemeber 2007,
replaced by Protection Profile for Multi-level Operating Systems in Environments Requiring Medium Robustness, Version 1.91

これからはMLOSPPの1.91に置き換わりです。
US Government Protection Profile for Multi-Level Operating Systems in a Medium Robustness Environments, Version 1.91
http://www.niap-ccevs.org/cc-scheme/pp/pp.cfm?id=PP_OS_ML_MR2.0_V1.91