ارسل ملاحظاتك

ارسل ملاحظاتك لنا







Formal Modeling of Role Hierarchy and Delegation Constraints in Role Based Access Control Policies

العنوان بلغة أخرى: نمذجة رسمية لقيود التسلسل الهرمي والتفويض في سياسات التحكم المعتمده على الدور في الوصول
المؤلف الرئيسي: السواعير، نافع يوسف عيد (مؤلف)
المؤلف الرئيسي (الإنجليزية): Alsawaer, Nafi Yousef Eid
مؤلفين آخرين: صبري، خير الدين معاوية (مشرف)
التاريخ الميلادي: 2017
موقع: عمان
الصفحات: 1 - 89
رقم MD: 1245789
نوع المحتوى: رسائل جامعية
اللغة: الإنجليزية
الدرجة العلمية: رسالة ماجستير
الجامعة: الجامعة الاردنية
الكلية: كلية الدراسات العليا
الدولة: الاردن
قواعد المعلومات: Dissertations
مواضيع:
رابط المحتوى:
صورة الغلاف QR قانون

عدد مرات التحميل

30

حفظ في:
المستخلص: قوانين نقاط الوصول للمعلومة تبين الصلاحيات الممنوحة للمستخدمين. واحده من أهم ومن أكثر أنواع نقاط الوصول المستخدمة هي نقاط الوصول المعتمدة على الدور حيث أنها تقوم بإعطاء الصلاحيات للدور بدلا من المستخدم. العديد من المنظمات والشركات لديها بعض المحددات على قوانين نقاط الوصول ولذلك وجب التأكد عدم تعارض قوانين نقاط الوصول مع المحددات الموضوع مسبقا. التأكد من مطابقه القوانين مع المحددات يدويا يستهلك الكثير من الوقت وقد يؤدي لحدوث أخطاء ولذلك وجود نظام الكتروني لهذا العمل مهم جدا. في هذه الرسالة قمنا بتمثيل رسمي لقوانين نظام الوصول المعتمد على الدور باستخدام منطق النظام الأول. قمنا بربط الصلاحيات بنوع المصدر بدلا من المصدر نفسه لتبسيط وضع القوانين. قمنا بتأكد من صلاحيه العمل المراد القيام به لتطابق حاله المصدر. قمنا بتطوير نقاط الوصول المعتمدة على المصدر لتشمل السلم الوظيفي وجميع خصائصه. قمنا أيضا بتطوير نقاط الوصول المعتمدة على المصدر لتشمل تغيير الصلاحيات حدث استخدمنا عده أنواع منها. قمنا بتعريف عده محددات عامه، محددات للسلم الهرمي، محددات لتغيير الصلاحيات ثم قمنا بتمثيلهم جميعا باستخدام منطق النظام الأول، لتأكد من مطابقه القوانين للمحددات قمنا بتمثيل جميع القوانين والمحددات باستخدام لغة البرولوغ، قمنا بإيضاح انه بإمكاننا التأكد من هذه العملية بوقت قصير جدا في أقل من ثانيه واحده.

عناصر مشابهة