Sergey Tverdyshev
2019-12-06
<p>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.</p>
https://doi.org/10.5281/zenodo.3572416
oai:zenodo.org:3572416
eng
Zenodo
https://zenodo.org/communities/mils
https://zenodo.org/communities/certmils
https://zenodo.org/communities/eu
https://doi.org/10.5281/zenodo.3572415
info:eu-repo/semantics/openAccess
Creative Commons Zero v1.0 Universal
https://creativecommons.org/publicdomain/zero/1.0/legalcode
ESE Kongress, International Workshop on MILS: Architecture and Assurance for Secure Systems, Stuttgart, Germany, 6 December 2019
MILS
Secure systems
Assurance
Architecture
MILS Introduction, Activities and Updates
info:eu-repo/semantics/lecture