10.5281/zenodo.3572416
https://zenodo.org/records/3572416
oai:zenodo.org:3572416
Sergey Tverdyshev
Sergey Tverdyshev
SYSGO AG
MILS Introduction, Activities and Updates
Zenodo
2019
MILS
Secure systems
Assurance
Architecture
2019-12-06
eng
Presentation
10.5281/zenodo.3572415
https://zenodo.org/communities/mils
https://zenodo.org/communities/certmils
https://zenodo.org/communities/eu
Creative Commons Zero v1.0 Universal
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.
European Commission
10.13039/501100000780
731456
Compositional security certification for medium- to high-assurance COTS-based systems in environments with emerging threats