Presentation Open Access
Rueß, Harald; Tonetta, Stefano
{ "description": "<p>Presentation on D-MILS project overview and verification framework</p>", "license": "https://creativecommons.org/licenses/by/4.0/legalcode", "creator": [ { "affiliation": "fortis", "@type": "Person", "name": "Rue\u00df, Harald" }, { "affiliation": "Fondazione Bruno Kessler", "@type": "Person", "name": "Tonetta, Stefano" } ], "url": "https://zenodo.org/record/47985", "datePublished": "2015-01-20", "@type": "PresentationDigitalDocument", "keywords": [ "D-MILS" ], "@context": "https://schema.org/", "identifier": "https://doi.org/10.5281/zenodo.47985", "@id": "https://doi.org/10.5281/zenodo.47985", "workFeatured": { "location": "Amsterdam", "@type": "Event", "name": "International Workshop on MILS: Architecture and Assurance for Secure Systems" }, "name": "Distributed MILS (D-MILS) Specification, Analysis, Deployment, and Assurance of Distributed Critical Systems" }
All versions | This version | |
---|---|---|
Views | 78 | 77 |
Downloads | 41 | 41 |
Data volume | 202.8 MB | 202.8 MB |
Unique views | 68 | 67 |
Unique downloads | 35 | 35 |