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

ESC SV-521- Secure Systems Development Using the LynxSecure Separation Kernel

Posted on: Sep 8, 2008 | Duration: 100 minutes
Course | 22 views
0 0
More Info +- Less Info

Perennial security problems seem to become ever more daunting as embedded computing becomes ubiquitous and the stakes rise for the defense of such systems. The LynxSecure Separation Kernel is a foundational component for the construction of high-assurance secure systems. Developers of such systems must provide convincing assurance cases for the trustworthiness of such systems. This class describes how LynxSecure supports the development of high-assurance secure systems and how developers can approach the system design and assurance activity. This class is based on the LynxSecure Separation Kernel and upon research being performed at SRI international under the auspices of AFRL and Raytheon.

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