2007-11-17 SKPP セキュアOS 人から教えてもらいましたが、Green HillsがEAL6+とったINTEGRITYや、WindRiverがEAL7をとろうとしている(まだとってないよね?)VxWorksでつかっているSKPP(Separation Kernel Protection Profile)が、いつの間にか正式版出てたんですねぇ。 バージョン1.03です。