2018
A Model-based Approach to Certification of Adaptive MILS.
[DOI]
Dorien Koelemeijer
,
Rasma Araby
,
Ayoub Nouri
,
Marius Bozga
,
Rance DeLong
Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2018