@inproceedings{KAN+8,
title = { A Model-based Approach to Certification of Adaptive {MILS} },
author = {Koelemeijer, Dorien and Araby, Rasma and Nouri, Ayoub and Bozga, Marius and DeLong, Rance},
year = {2018},
booktitle = {International Workshop on {MILS:} Architecture and Assurance for Secure Systems, MILS@HiPEAC 2018, Luxembourg, June 25, 2018.},
publisher = {Zenodo},
team = {RSD},
}
