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
مواضيع:	هندسة البرمجيات \| السياسات الأمنية \| أمن المعلومات \| الحاسبات الإلكترونية
رابط المحتوى:	صفحة العنوان المستخلص قائمة المحتويات 24 صفحة الأولى الناشر لهذه المادة لم يسمح بإتاحتها.

LEADER	01549nam a22003497a 4500
001	0030746
041		\|a eng
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 9824-110-001-0018-T.pdf \|y صفحة العنوان
856		\|u 9824-110-001-0018-A.pdf \|y المستخلص
856		\|u 9824-110-001-0018-C.pdf \|y قائمة المحتويات
856		\|u 9824-110-001-0018-F.pdf \|y 24 صفحة الأولى
856		\|u 9824-110-001-0018-1.pdf \|y 1 الفصل
856		\|u 9824-110-001-0018-2.pdf \|y 2 الفصل
856		\|u 9824-110-001-0018-3.pdf \|y 3 الفصل
856		\|u 9824-110-001-0018-4.pdf \|y 4 الفصل
856		\|u 9824-110-001-0018-5.pdf \|y 5 الفصل
856		\|u 9824-110-001-0018-6.pdf \|y 6 الفصل
856		\|u 9824-110-001-0018-7.pdf \|y 7 الفصل
856		\|u 9824-110-001-0018-8.pdf \|y 8 الفصل
856		\|u 9824-110-001-0018-R.pdf \|y المصادر والمراجع
856		\|u 9824-110-001-0018-S.pdf \|y الملاحق
930		\|d n
995		\|a +Dissertations
999		\|c 618805 \|d 618805