Verification of Access Control Policies Using Model Checking

العنوان بلغة أخرى:	التحقق من سياسات التحكم في الوصول باستخدام فحص النموذج
المؤلف الرئيسي:	اليازجين، راية كامل علي (مؤلف)
المؤلف الرئيسي (الإنجليزية):	Alyazjeen, Raya Kamel Ali
مؤلفين آخرين:	صبري، خير الدين معاوية (مشرف)
التاريخ الميلادي:	2022
موقع:	عمان
الصفحات:	1 - 46
رقم MD:	1520097
نوع المحتوى:	رسائل جامعية
اللغة:	الإنجليزية
الدرجة العلمية:	رسالة ماجستير
الجامعة:	الجامعة الاردنية
الكلية:	كلية الدراسات العليا
الدولة:	الاردن
قواعد المعلومات:	Dissertations
مواضيع:	أمن المعلومات \| التحكم بالوصول \| هندسة البرمجيات
رابط المحتوى:	صفحة العنوان المستخلص قائمة المحتويات 24 صفحة الأولى الناشر لهذه المادة لم يسمح بإتاحتها.

LEADER	01496nam a22003137a 4500
001	1575001
041		\|a eng
100		\|9 806465 \|a اليازجين، راية كامل علي \|e مؤلف \|g Alyazjeen, Raya Kamel Ali
245		\|a Verification of Access Control Policies Using Model Checking
246		\|a التحقق من سياسات التحكم في الوصول باستخدام فحص النموذج
260		\|a عمان \|c 2022
300		\|a 1 - 46
336		\|a رسائل جامعية
502		\|b رسالة ماجستير \|c الجامعة الاردنية \|f كلية الدراسات العليا \|g الاردن \|o 18544
653		\|a أمن المعلومات \|a التحكم بالوصول \|a هندسة البرمجيات
700		\|9 565756 \|a صبري، خير الدين معاوية \|e مشرف \|g Sabri, Khair Eddin Muawiyah
856		\|u 9802-001-008-18544-T.pdf \|y صفحة العنوان
856		\|u 9802-001-008-18544-A.pdf \|y المستخلص
856		\|u 9802-001-008-18544-C.pdf \|y قائمة المحتويات
856		\|u 9802-001-008-18544-F.pdf \|y 24 صفحة الأولى
856		\|u 9802-001-008-18544-1.pdf \|y 1 الفصل
856		\|u 9802-001-008-18544-2.pdf \|y 2 الفصل
856		\|u 9802-001-008-18544-3.pdf \|y 3 الفصل
856		\|u 9802-001-008-18544-4.pdf \|y 4 الفصل
856		\|u 9802-001-008-18544-5.pdf \|y 5 الفصل
856		\|u 9802-001-008-18544-R.pdf \|y المصادر والمراجع
930		\|d n
995		\|a Dissertations
999		\|c 1520097 \|d 1520097