Formal Approaches for Specifying, Enforcing, and Verifying Security Policies
| المؤلف الرئيسي: | Al Qahtani, Abd Allah |
|---|---|
| مؤلفين آخرين: | Dickinson, John (SUPER) |
| التاريخ الميلادي: |
2003
|
| موقع: | ايداهو |
| الصفحات: | 1 - 176 |
| رقم MD: | 618805 |
| نوع المحتوى: | رسائل جامعية |
| اللغة: | العربية |
| الدرجة العلمية | رسالة دكتوراه |
| الجامعة | University of Idaho |
| الكلية | The Graduate School |
| الدولة | الولايات المتحدة الأمريكية |
| المصدر: | قاعدة المنظومة للرسائل الجامعية |
| الحالة | تمت المناقشة |
| قواعد المعلومات: | Thesis |
| رابط المحتوى: |
| LEADER | 00981nam a22002177a 4500 | ||
|---|---|---|---|
| 001 | 0030746 | ||
| 040 | |a قاعدة المنظومة للرسائل الجامعية | ||
| 041 | |a ara | ||
| 100 | |9 16806 |a Al Qahtani, Abd Allah |e AUTH | ||
| 245 | |a Formal Approaches for Specifying, Enforcing, and Verifying Security Policies | ||
| 260 | |a ايداهو |c 2003 | ||
| 300 | |a 1 - 176 | ||
| 336 | |a رسائل جامعية | ||
| 502 | |b رسالة دكتوراه |c University of Idaho |f The Graduate School |g الولايات المتحدة الأمريكية |o 0018 | ||
| 653 | |a هندسة البرمجيات |a السياسات الأمنية |a أمن المعلومات |a الحاسبات الإلكترونية | ||
| 700 | |9 26383 |a Dickinson, John |e SUPER | ||
| 856 | |u http://search.mandumah.com/Record/618805 |y المستخلص من قاعدة المنظومة للرسائل الجامعية | ||
| 940 | |a تمت المناقشة | ||
| 950 | |c 618805 | ||
| 995 | |a Thesis | ||
| 999 | |c 198777 |d 198777 | ||
عناصر مشابهة
-
Network Security Policy Modeling
بواسطة: Bahgat, Waleed Mohammad منشور: (2010) -
Efficient enforcement of security policies in distributed systems
بواسطة: Al Zahrani, Ali Mousa G. منشور: (2013) -
Security as QoS routing issue
بواسطة: Al Ghannam, Abd Allah Nasser منشور: (2002) -
A Computer-Based Holistic Approach to Managing Progress of Distributed Agile Teams
بواسطة: Al Yahya, Sultan Abd Alaziz منشور: (2013) -
Development and evaluation of Information Security Policy and Penetration Testing tools
بواسطة: Al Shehri, Hasan S. منشور: (2013)