Alessandro Cimatti, Rance DeLong, Davide Marcantonio, Stefano Tonetta. Combining MILS with Contract-Based Design for Safety and Security Requirements. In Floor Koornneef, Coen van Gulijk, editors, Computer Safety, Reliability, and Security - SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings. Volume 9338 of Lecture Notes in Computer Science, pages 264-276, Springer, 2015. [doi]
@inproceedings{CimattiDMT15,
title = {Combining MILS with Contract-Based Design for Safety and Security Requirements},
author = {Alessandro Cimatti and Rance DeLong and Davide Marcantonio and Stefano Tonetta},
year = {2015},
doi = {10.1007/978-3-319-24249-1_23},
url = {http://dx.doi.org/10.1007/978-3-319-24249-1_23},
researchr = {https://researchr.org/publication/CimattiDMT15},
cites = {0},
citedby = {0},
pages = {264-276},
booktitle = {Computer Safety, Reliability, and Security - SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings},
editor = {Floor Koornneef and Coen van Gulijk},
volume = {9338},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-24248-4},
}