Formal Approaches for Specifying, Enforcing, and Verifying Security Policies
| المؤلف الرئيسي: | Al Qahtani, Abd Allah (AUTH) |
|---|---|
| مؤلفين آخرين: | Dickinson, John (SUPER) |
| التاريخ الميلادي: |
2003
|
| موقع: | أيداهو |
| الصفحات: | 1 - 176 |
| رقم MD: | 618805 |
| نوع المحتوى: | رسائل جامعية |
| اللغة: | الإنجليزية |
| الدرجة العلمية: | رسالة دكتوراه |
| الجامعة: | University of Idaho |
| الكلية: | The Graduate School |
| الدولة: | الولايات المتحدة الأمريكية |
| قواعد المعلومات: | +Dissertations |
| مواضيع: | |
| رابط المحتوى: |
الناشر لهذه المادة لم يسمح بإتاحتها. |
عناصر مشابهة
-
Network Security Policy Modeling
بواسطة: Bahgat, Waleed Mohammad منشور: (2010) -
Efficient Enforcement of Security Policies in Distributed Systems
بواسطة: Al Zahrani, Ali Mousa G. منشور: (2013) -
A Computer-Based Holistic Approach to Managing Progress of Distributed Agile Teams
بواسطة: Al Yahya, Sultan Abd Alaziz منشور: (2013) -
A Formal Framework For Verifying IKA Property Of Protocols
بواسطة: Joy, Shyam P. منشور: (2019) -
Systimatic evaluation and improvement of security requirement engineering notations
بواسطة: Saleh, Faisal منشور: (2014)
