Sergey Tverdyshev. EURO-MILS: Building and certifying modular secure 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{Tverdyshev15, title = {EURO-MILS: Building and certifying modular secure systems}, author = {Sergey Tverdyshev}, year = {2015}, doi = {10.5281/zenodo.47972}, url = {https://doi.org/10.5281/zenodo.47972}, researchr = {https://researchr.org/publication/Tverdyshev15}, 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}, }