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

Alessandro Cimatti, Rance DeLong, Davide Marcantonio, Stefano Tonetta

Browse the full SAFECOMP paper archive.