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...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| مؤلفون آخرون: | , , |
| التنسيق: | conferenceObject |
| منشور في: |
2013
|
| الوصول للمادة أونلاين: | 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 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| الملخص: | 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. |
|---|