Conference paper Open Access

Partitioning in Safety and Security: Mapping to MILS Core Partitioning Mechanisms

Blasum, Holger

DataCite XML Export

<?xml version='1.0' encoding='utf-8'?>
<resource xmlns:xsi="" xmlns="" xsi:schemaLocation="">
  <identifier identifierType="DOI">10.5281/zenodo.47974</identifier>
      <creatorName>Blasum, Holger</creatorName>
      <affiliation>SYSGO AG</affiliation>
    <title>Partitioning in Safety and Security: Mapping to MILS Core Partitioning Mechanisms</title>
    <date dateType="Issued">2015-01-20</date>
  <resourceType resourceTypeGeneral="Text">Conference paper</resourceType>
    <alternateIdentifier alternateIdentifierType="url"></alternateIdentifier>
    <relatedIdentifier relatedIdentifierType="URL" relationType="IsPartOf"></relatedIdentifier>
    <rights rightsURI="">Creative Commons Attribution 4.0 International</rights>
    <rights rightsURI="info:eu-repo/semantics/openAccess">Open Access</rights>
    <description descriptionType="Abstract">&lt;p&gt;While safety and security at a high-level are white-board concepts, once it comes to implementation in a MILS core (separation kernel + minimal set of additional hardware and software needed for the separation of partitions), sometimes the concrete realization depends on what is doable. Several use cases of partitioning are mapped to partitioning mechanisms implementing the partitioning. The main idea is that&lt;br&gt;
this paper takes "safety" + "something" and calls it "security". The main result is that different use cases of safety and security can be compared, and one can precisely talk about differences. If one is aware of differences, one can strive for and maintain strong notions of safety and security.&lt;/p&gt;</description>
All versions This version
Views 9696
Downloads 331333
Data volume 119.4 MB120.1 MB
Unique views 8282
Unique downloads 324326


Cite as