Download "Meeting the Demands of Software Security with the MILS Architecture"

Notes are now available in PDF format from "Meeting the Demands of Software Security with the MILS Architecture," a recent "Lunch-'n'-Learn" seminar presented by LynuxWorks™ and Intel®.

Subjects covered during the seminar include:

• MILS—a design paradigm for modular, safety-critical and security-critical systems which promises affordable and dependable systems
• The LynxSecure Separation Kernel
• Tools for high-assurance application development
• Intel® Virtualization Technology (Intel® VT) hardware capabilities that support robust kernel design

The downloadable .zip file (1.83 MB) contains the following two PDF presentations from the seminar, which was held on August 1, 2007 in Columbia, MD:

1. Meeting the Demands of Security with the MILS Architecture, Rance Delong, Staff Scientist, LynuxWorks
2. Intel Virtualization Technology, Peter Carlston, Platform Architect, Intel

(or, sign up to get a password if you don't have one yet)