Formal Methods for MILS: Formalisations of the GWV Firewall

Conference object OPEN
Koolen, Ruud; Schmaltz, Julien;
(2015)
  • Related identifiers: doi: 10.5281/zenodo.47983
  • Subject: MILS
    acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES | TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS

To achieve security certification according to the highest levels of assurance, formal models and proofs of security properties are required. In the MILS context, this includes formalisation of key components - such as separation kernels - and the formalisation of appli... View more
Share - Bookmark

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