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}
}
5
4
views
downloads
All versions This version
Views 55
Downloads 44
Data volume 942.2 kB942.2 kB
Unique views 55
Unique downloads 44

Share

Cite as