Back to Results
First PageMeta Content



Formal Methods for MILS: Formalisations of the GWV Firewall Ruud Koolen and Julien Schmaltz Eindhoven University of Technology Department of Mathematics and Computer Science
Add to Reading List

Document Date: 2015-01-27 02:22:52


Open Document

File Size: 359,12 KB

Share Result on Facebook
UPDATE