Conference paper Open Access

Formal Methods for MILS: Formalisations of the GWV Firewall

Koolen, Ruud; Schmaltz, Julien


BibTeX Export

@proceedings{koolen_ruud_2015_47983,
  title        = {{Formal Methods for MILS: Formalisations of the GWV 
                   Firewall}},
  year         = 2015,
  publisher    = {Zenodo},
  month        = jan,
  doi          = {10.5281/zenodo.47983},
  url          = {https://doi.org/10.5281/zenodo.47983}
}
14
12
views
downloads
All versions This version
Views 1414
Downloads 1212
Data volume 2.8 MB2.8 MB
Unique views 1414
Unique downloads 1111

Share

Cite as