Presentation Open Access

MILS Introduction, Activities and Updates

Sergey Tverdyshev

This presentation is about high-level concept architectural approach of MILS, whose first concepts go back to more than 40 years. News since last MILS workshop included ongoing work at Common Criteria Users' Forum together with the virtualization working group and that two separation kernels obtained Common Criteria certifications. Moreover, in the certMILS project, a partitioned design received one of the first IECEE IEC 62443-4-1 certifications ever. While in the CITADEL project, work on adaptive MILS has been done, including demonstrations in voice processing and subway environments.

Files (2.9 MB)
Name Size
Tverdyshev2019MILS-introduction-activities-and-updates.pdf
md5:1ab760f91a234f6a6ecb61dfc756d721
2.9 MB Download
76
62
views
downloads
All versions This version
Views 7672
Downloads 6262
Data volume 180.7 MB180.7 MB
Unique views 6462
Unique downloads 5353

Share

Cite as