Combining MILS with Contract-Based Design for Safety and Security Requirements

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]

Abstract

Abstract is missing.