bibtex

@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},
}

URL

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 1095370