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}
}
13
10
views
downloads
All versions This version
Views 1313
Downloads 1010
Data volume 2.4 MB2.4 MB
Unique views 1313
Unique downloads 99

Share

Cite as