Conference paper Open Access

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

Blasum, Holger

Citation Style Language JSON Export

  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.47974", 
  "title": "Partitioning in Safety and Security: Mapping to MILS Core Partitioning Mechanisms", 
  "issued": {
    "date-parts": [
  "abstract": "<p>While safety and security at a high-level are white-board\u00a0concepts, once it comes to implementation in a\u00a0MILS core\u00a0(separation kernel + minimal set of additional hardware and\u00a0software needed for the separation of partitions), sometimes\u00a0the concrete realization depends on what is doable. Several\u00a0use cases of partitioning are mapped to partitioning mechanisms implementing the partitioning. The main idea is that<br>\nthis paper takes \"safety\" + \"something\" and calls it \"security\". The main result is that different use cases of safety and\u00a0security can be compared, and one can precisely talk about\u00a0differences. If one is aware of differences, one can strive for\u00a0and maintain strong notions of safety and security.</p>", 
  "author": [
      "family": "Blasum, Holger"
  "id": "47974", 
  "event-place": "Amsterdam", 
  "type": "paper-conference", 
  "event": "International Workshop on MILS: Architecture and Assurance for Secure Systems"
All versions This version
Views 9696
Downloads 331333
Data volume 119.4 MB120.1 MB
Unique views 8282
Unique downloads 324326


Cite as