![](https://www.pdfsearch.io/img/92def83f9c3c8e7925979d69b6efa772.jpg) Date: 2015-01-27 02:22:52
| | Formal Methods for MILS: Formalisations of the GWV Firewall Ruud Koolen and Julien Schmaltz Eindhoven University of Technology Department of Mathematics and Computer ScienceAdd to Reading ListSource URL: mils-workshop-2015.mils.communityDownload Document from Source Website File Size: 359,12 KBShare Document on Facebook
|