Modeling and validating the class security model using alloy
Formalizing security models provide system designers and security engineers with evidence that they are constructing a consistent system that will meet the specifications as implemented. While it would be difficult to formalize every security model that has ever been developed or proposed, we presen...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , , |
| Format: | conferenceObject |
| Published: |
2013
|
| Online Access: | http://hdl.handle.net/10725/8358 http://libraries.lau.edu.lb/research/laur/terms-of-use/articles.php http://csm.beirut.lau.edu.lb/~rharaty/pdf/IC9.pdf |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | Formalizing security models provide system designers and security engineers with evidence that they are constructing a consistent system that will meet the specifications as implemented. While it would be difficult to formalize every security model that has ever been developed or proposed, we present formal approving to ascertain secrecy properties of the Class Security Model. We use the Alloy language and analyzer for this formalism. We present the five model descriptions and show consistency proofs. |
|---|