2. NPS Outstanding Theses and Dissertations
Now showing items 1-1 of 1
Security modeling and correctness proof using Specware and Isabelle
(Monterey, California. Naval Postgraduate School, 2008-12)
Security modeling is the foundation to formal verification which is a core requirement for high assurance systems. This thesis explores how security models can be built in a simple and expressive manner using the Metaslang ...