Zenodo.org will be unavailable for 2 hours on September 29th from 06:00-08:00 UTC. See announcement.

Conference paper Open Access

Hardening High-Assurance Systems: MILS as Software Design for Avionics

Mueller, Kevin

BibTeX Export

@proceedings{mueller_kevin_2017_571160,
  title        = {{Hardening High-Assurance Systems: MILS as Software 
                   Design for Avionics}},
  year         = 2017,
  publisher    = {Zenodo},
  month        = mar,
  doi          = {10.5281/zenodo.571160},
  url          = {https://doi.org/10.5281/zenodo.571160}
}
200
131
views
downloads
All versions This version
Views 200200
Downloads 131131
Data volume 100.6 MB100.6 MB
Unique views 192192
Unique downloads 113113
More info on how stats are collected.
Indexed in
Publication date:
March 14, 2017
DOI:
10.5281/zenodo.571160

Zenodo DOI Badge

DOI 

10.5281/zenodo.571160

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

Keyword(s):
High-assurance MILS
Meeting:
International Workshop on MILS: Architecture and Assurance for Secure Systems, Nuremberg, Germany, 14 March 2017
Communities:
License (for files):
Creative Commons Attribution 4.0 International

Share

Cite as

Export