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
{
"@context": "https://schema.org/",
"@id": "https://doi.org/10.5281/zenodo.47985",
"@type": "PresentationDigitalDocument",
"creator": [
{
"@type": "Person",
"affiliation": "fortis",
"name": "Rue\u00df, Harald"
},
{
"@type": "Person",
"affiliation": "Fondazione Bruno Kessler",
"name": "Tonetta, Stefano"
}
],
"datePublished": "2015-01-20",
"description": "<p>Presentation on D-MILS project overview and verification framework</p>",
"identifier": "https://doi.org/10.5281/zenodo.47985",
"keywords": [
"D-MILS"
],
"license": "http://creativecommons.org/licenses/by/4.0/legalcode",
"name": "Distributed MILS (D-MILS) Specification, Analysis, Deployment, and Assurance of Distributed Critical Systems",
"url": "https://zenodo.org/record/47985"
}
5
4
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 5 | 5 |
| Downloads | 4 | 4 |
| Data volume | 19.8 MB | 19.8 MB |
| Unique views | 5 | 5 |
| Unique downloads | 3 | 3 |
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