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