Presentation Open Access

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

Rueß, Harald; Tonetta, Stefano

Presentation on D-MILS project overview and verification framework

Files (4.9 MB)
Name Size
09-D-MILS-Overview-MILS-Workshop.pdf
md5:7c14d8ee634f8dc8efbfdd4d2d1e3c17 		4.9 MB Download
65
40
views
downloads
All versions This version
Views 6564
Downloads 4040
Data volume 197.9 MB197.9 MB
Unique views 6362
Unique downloads 3434
More info on how stats are collected.
Indexed in
Publication date:
January 20, 2015
DOI:
10.5281/zenodo.47985

Zenodo DOI Badge

DOI 

10.5281/zenodo.47985

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.47985.svg)](https://doi.org/10.5281/zenodo.47985)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.47985.svg
   :target: https://doi.org/10.5281/zenodo.47985

HTML 

<a href="https://doi.org/10.5281/zenodo.47985"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.47985.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.47985.svg

Target URL 

https://doi.org/10.5281/zenodo.47985

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

Share

Cite as

Export