Presentation Open Access

Distributed MILS (D-MILS) Specification, Analysis, Deployment, and Assurance of Distributed Critical Systems

Rueß, Harald; Tonetta, Stefano


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.47985", 
  "title": "Distributed MILS (D-MILS) Specification, Analysis, Deployment, and Assurance of Distributed Critical Systems", 
  "issued": {
    "date-parts": [
      [
        2015, 
        1, 
        20
      ]
    ]
  }, 
  "abstract": "<p>Presentation on D-MILS project overview and verification framework</p>", 
  "author": [
    {
      "family": "Rue\u00df, Harald"
    }, 
    {
      "family": "Tonetta, Stefano"
    }
  ], 
  "id": "47985", 
  "event-place": "Amsterdam", 
  "type": "speech", 
  "event": "International Workshop on MILS: Architecture and Assurance for Secure Systems"
}
74
41
views
downloads
All versions This version
Views 7473
Downloads 4141
Data volume 202.8 MB202.8 MB
Unique views 6564
Unique downloads 3535

Share

Cite as