Conference paper Open Access

Developing Assurance Cases for D-MILS Systems

Hawkins, Richard; Kelly, Tim; Habli, Ibrahim


MARC21 XML Export

<?xml version='1.0' encoding='UTF-8'?>
<record xmlns="http://www.loc.gov/MARC21/slim">
  <leader>00000nam##2200000uu#4500</leader>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">D-MILS</subfield>
  </datafield>
  <controlfield tag="005">20170908085151.0</controlfield>
  <controlfield tag="001">47984</controlfield>
  <datafield tag="711" ind1=" " ind2=" ">
    <subfield code="d">20 January 2015</subfield>
    <subfield code="a">International Workshop on MILS: Architecture and Assurance for Secure Systems</subfield>
    <subfield code="c">Amsterdam</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Department of Computer Science, The University of York</subfield>
    <subfield code="a">Kelly, Tim</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Department of Computer Science, The University of York</subfield>
    <subfield code="a">Habli, Ibrahim</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">1350195</subfield>
    <subfield code="z">md5:b37870c134dc45ac69a54c16df76b391</subfield>
    <subfield code="u">https://zenodo.org/record/47984/files/11-mils15_submission_2.pdf</subfield>
  </datafield>
  <datafield tag="542" ind1=" " ind2=" ">
    <subfield code="l">open</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="c">2015-01-20</subfield>
  </datafield>
  <datafield tag="909" ind1="C" ind2="O">
    <subfield code="p">openaire</subfield>
    <subfield code="p">user-mils</subfield>
    <subfield code="o">oai:zenodo.org:47984</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="u">Department of Computer Science, The University of York</subfield>
    <subfield code="a">Hawkins, Richard</subfield>
  </datafield>
  <datafield tag="245" ind1=" " ind2=" ">
    <subfield code="a">Developing Assurance Cases for D-MILS Systems</subfield>
  </datafield>
  <datafield tag="980" ind1=" " ind2=" ">
    <subfield code="a">user-mils</subfield>
  </datafield>
  <datafield tag="540" ind1=" " ind2=" ">
    <subfield code="u">http://creativecommons.org/licenses/by/4.0/legalcode</subfield>
    <subfield code="a">Creative Commons Attribution 4.0 International</subfield>
  </datafield>
  <datafield tag="650" ind1="1" ind2="7">
    <subfield code="a">cc-by</subfield>
    <subfield code="2">opendefinition.org</subfield>
  </datafield>
  <datafield tag="520" ind1=" " ind2=" ">
    <subfield code="a">&lt;p&gt;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, we describe our approach for developing a&lt;br&gt;
D-MILS assurance case, which is based upon a set of modular assurance case patterns that are automatically instantiated using a model-based instantiation process. We illustrate the application of our approach using a small cryptographic controller example and explain the benefits brought by our approach in support of DMILS.&lt;/p&gt;</subfield>
  </datafield>
  <datafield tag="024" ind1=" " ind2=" ">
    <subfield code="a">10.5281/zenodo.47984</subfield>
    <subfield code="2">doi</subfield>
  </datafield>
  <datafield tag="980" ind1=" " ind2=" ">
    <subfield code="a">publication</subfield>
    <subfield code="b">conferencepaper</subfield>
  </datafield>
</record>
10
7
views
downloads
All versions This version
Views 1010
Downloads 77
Data volume 9.5 MB9.5 MB
Unique views 99
Unique downloads 66

Share

Cite as