Conference paper Open Access

Security Type Checking for MILS-AADL Specifications

Pol, Kevin; Noll, Thomas


BibTeX Export

@proceedings{pol_kevin_2015_47989,
  title        = {{Security Type Checking for MILS-AADL 
                   Specifications}},
  year         = 2015,
  publisher    = {Zenodo},
  month        = jan,
  doi          = {10.5281/zenodo.47989},
  url          = {https://doi.org/10.5281/zenodo.47989}
}
16
16
views
downloads
All versions This version
Views 1616
Downloads 1616
Data volume 6.5 MB6.5 MB
Unique views 1616
Unique downloads 1313

Share

Cite as