By Bill Graham
In reality this isn’t a myth, it’s more of an awareness
problem. Our solution for the need for high robustness systems is the
MILS product. VxWorks MILS is designed to provide Multiple independent
of Security (MLS), a security concept that ensures that complete
provided between secure and non-secure portions of a system (and that
it is impossible to subvert this to gain access to the classified
partition in the system from the non-secure).
We have designed the MILS product to
conform to the separation kernel protection profile as defined by the Common
Criteria (aka ISO 15408) and is currently undergoing official certification to
Evaluation Assurance Level (EAL) 6+.