Presentation Open Access
Distributed MILS (D-MILS) Specification, Analysis, Deployment, and Assurance of Distributed Critical Systems
Rueß, Harald; Tonetta, Stefano
JSON-LD (schema.org) Export
{
"description": "<p>Presentation on D-MILS project overview and verification framework</p>",
"license": "http://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",
"keywords": [
"D-MILS"
],
"@context": "https://schema.org/",
"identifier": "https://doi.org/10.5281/zenodo.47985",
"@id": "https://doi.org/10.5281/zenodo.47985",
"@type": "PresentationDigitalDocument",
"name": "Distributed MILS (D-MILS) Specification, Analysis, Deployment, and Assurance of Distributed Critical Systems"
}
13
8
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 13 | 13 |
| Downloads | 8 | 8 |
| Data volume | 39.6 MB | 39.6 MB |
| Unique views | 13 | 13 |
| Unique downloads | 7 | 7 |
Indexed in
- Publication date:
- January 20, 2015
- DOI:
-
- Keyword(s):
- D-MILS
- Meeting:
- International Workshop on MILS: Architecture and Assurance for Secure Systems, Amsterdam, 20 January 2015
- Communities:
- License (for files):
- Creative Commons Attribution 4.0 International