Harald Rueß, Stefano Tonetta. Distributed MILS (D-MILS) Specification, Analysis, Deployment, and Assurance of Distributed Critical Systems. In Sergey Tverdyshev, editor, International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20, 2015. Zenodo, 2015. [doi]
@inproceedings{RuessT15,
title = {Distributed MILS (D-MILS) Specification, Analysis, Deployment, and Assurance of Distributed Critical Systems},
author = {Harald Rueß and Stefano Tonetta},
year = {2015},
doi = {10.5281/zenodo.47985},
url = {https://doi.org/10.5281/zenodo.47985},
researchr = {https://researchr.org/publication/RuessT15},
cites = {0},
citedby = {0},
booktitle = {International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20, 2015},
editor = {Sergey Tverdyshev},
publisher = {Zenodo},
}