Alloy Community

User login

A Security Domain Model for Implementing Trusted Subject Behaviors

Authors: 
Alan Shaffer, Mikhail Auguston, Cynthia Irvine, and Tim Levin
Publication Venue: 
Workshop on Modeling Security (MODSEC08) held as part of the 2008 International Conference on Model Driven Engineering Languages and Systems (MODELS)
When Published: 
Sep 28 2008


Attachment


Size
Shaffer_MODELS08_Final.pdf215.73 KB

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