Developing Assurance Cases for D-MILS Systems

Conference object OPEN
Hawkins, Richard; Kelly, Tim; Habli, Ibrahim;

When using a D-MILS approach for high-assurance systems it is often necessary to develop an assurance case, containing an argument supported by evidence, that demonstrates that the system has the required assurance properties (such as security or safety). In this paper,... View more
Share - Bookmark

  • Download from
    ZENODO via ZENODO (Conference object, 2015)
  • Cite this publication