Wind River’s VxWorks MILS 2 in Evaluation for Certification to Common Criteria EAL6+/NSA High Robustness

CCネタ
VxWorks走り書きメモ

Wind River’s VxWorks MILS 2 in Evaluation for Certification to Common Criteria EAL6+/NSA High Robustness
http://www.windriver.com/news/press/pr.html?ID=6141

Achieving EAL6+/NSA high robustness certification will enable Wind River defense customers to use VxWorks MILS 2 to build "multi-level secure" systems able to process data from three or more security domains simultaneously, including systems that upgrade, downgrade or fuse information at different security classifications through top secret or from different coalition partners.

High RobustnessのプロテクションプロファイルはSKPPか

U.S. Government Protection Profile for Separation Kernels in Environments Requiring High Robustness
http://www.niap-ccevs.org/cc-scheme/pp/id/pp_skpp_hr_v1.03

High Robustness Requirements in a Common Criteria Protection Profile
http://cisr.nps.navy.mil/downloads/06paper_highrobust.pdf

MILS Integration Protection Profile（MIPP）について
http://www.csl.sri.com/users/rushby/slides/mipp-jan07.pdf

A Common Criteria Authoring Environment Supporting Composition
http://www.csl.sri.com/users/rushby/slides/DeLong-CCAE-ICCC-07.pdf

MILS/MSLS/MLS Architecture Enabling the GIG
http://www.omg.org/docs/omg/07-06-08.pdf

MLS with MILS?
http://cisr.nps.navy.mil/downloads/invlect/delong.pdf

The MILS Architecture for a Secure Global Information Grid
http://www.csds.uidaho.edu/papers/Harrison05a.pdf