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 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|