Developing Assurance Cases for D-MILS Systems

Conference object OPEN
Hawkins, Richard ; Kelly, Tim ; Habli, Ibrahim (2015)

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
  • Metrics
    0
    views in OpenAIRE
    20
    views in local repository
    12
    downloads in local repository

    The information is available from the following content providers:

    From Number Of Views Number Of Downloads
    ZENODO 10 6
    Zenodo 10 6
Share - Bookmark

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