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}
}
11
9
views
downloads
All versions This version
Views 1111
Downloads 99
Data volume 2.1 MB2.1 MB
Unique views 1111
Unique downloads 88

Share

Cite as