datasheets.com EBN.com EDN.com EETimes.com Embedded.com PlanetAnalog.com TechOnline.com  
Events
UBM Tech
UBM Tech
Welcome Guest Log In | Register

High Assurance Safety/Security for Embedded, Real-Time Systems

Authored on: Jun 20, 2007 by Gordon Uchenick and W. Mark Vanfleet

Technical Paper / Conference Paper

0 0
More InfoLess Info

This paper describes a significant evolution in Operating System architecture for high assurance systems, the MILS Separation Kernel concept, how robust and trustworthy enforcement of Data Separation and Controlled Information Flow policies inhibit undesirable side effects among modules, the extension of Separation Kernel policy enforce-ment to distributed systems, and safe and secure foundations for network middleware such as CORBA, DDS, and Web Services.

View
 
0 comments
write a comment

Please Login

You will be redirected to the login page

×

Please Login

You will be redirected to the login page

×

Please Login

You will be redirected to the login page