Alloy Community

User login

Lessons Learned Using Alloy to Formally Specify MLS-PCA Trusted Security Architecture

Home
Date: 
Oct 1 2004
author: 
Brant Hashii

Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering (FMSE'04). October, 2004. Washington DC, USA. Pages 86-95. ACM Press.



Attachment

Size
MLS.pdf150.22 KB
by anonymous

Syndicate content  

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte