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
292
245
views
downloads
All versions This version
Views 292288
Downloads 245245
Data volume 714.2 MB714.2 MB
Unique views 272270
Unique downloads 223223

Share

Cite as