Formal Modeling of Role Hierarchy and Delegation Constraints in Role Based Access Control Policies
| العنوان بلغة أخرى: |
نمذجة رسمية لقيود التسلسل الهرمي والتفويض في سياسات التحكم المعتمده على الدور في الوصول |
|---|---|
| المؤلف الرئيسي: | السواعير، نافع يوسف عيد (مؤلف) |
| المؤلف الرئيسي (الإنجليزية): | Alsawaer, Nafi Yousef Eid |
| مؤلفين آخرين: | صبري، خير الدين معاوية (مشرف) |
| التاريخ الميلادي: |
2017
|
| موقع: | عمان |
| الصفحات: | 1 - 89 |
| رقم MD: | 1245789 |
| نوع المحتوى: | رسائل جامعية |
| اللغة: | الإنجليزية |
| الدرجة العلمية: | رسالة ماجستير |
| الجامعة: | الجامعة الاردنية |
| الكلية: | كلية الدراسات العليا |
| الدولة: | الاردن |
| قواعد المعلومات: | Dissertations |
| مواضيع: | |
| رابط المحتوى: |
عدد مرات التحميل
30
| المستخلص: |
قوانين نقاط الوصول للمعلومة تبين الصلاحيات الممنوحة للمستخدمين. واحده من أهم ومن أكثر أنواع نقاط الوصول المستخدمة هي نقاط الوصول المعتمدة على الدور حيث أنها تقوم بإعطاء الصلاحيات للدور بدلا من المستخدم. العديد من المنظمات والشركات لديها بعض المحددات على قوانين نقاط الوصول ولذلك وجب التأكد عدم تعارض قوانين نقاط الوصول مع المحددات الموضوع مسبقا. التأكد من مطابقه القوانين مع المحددات يدويا يستهلك الكثير من الوقت وقد يؤدي لحدوث أخطاء ولذلك وجود نظام الكتروني لهذا العمل مهم جدا. في هذه الرسالة قمنا بتمثيل رسمي لقوانين نظام الوصول المعتمد على الدور باستخدام منطق النظام الأول. قمنا بربط الصلاحيات بنوع المصدر بدلا من المصدر نفسه لتبسيط وضع القوانين. قمنا بتأكد من صلاحيه العمل المراد القيام به لتطابق حاله المصدر. قمنا بتطوير نقاط الوصول المعتمدة على المصدر لتشمل السلم الوظيفي وجميع خصائصه. قمنا أيضا بتطوير نقاط الوصول المعتمدة على المصدر لتشمل تغيير الصلاحيات حدث استخدمنا عده أنواع منها. قمنا بتعريف عده محددات عامه، محددات للسلم الهرمي، محددات لتغيير الصلاحيات ثم قمنا بتمثيلهم جميعا باستخدام منطق النظام الأول، لتأكد من مطابقه القوانين للمحددات قمنا بتمثيل جميع القوانين والمحددات باستخدام لغة البرولوغ، قمنا بإيضاح انه بإمكاننا التأكد من هذه العملية بوقت قصير جدا في أقل من ثانيه واحده. |
|---|
عناصر مشابهة
-
Role-Based Access Control Model for Privacy Preservation in Cloud Computing Environment
بواسطة: قوصينى، آمنة مصطفى محمد منشور: (2015) -
Role-Based Access Control Policy Testing Based on Cause-Effect Graph
بواسطة: الخضيرات، يوسف خضير منشور: (2016) -
Verification of Access Control Policies Using Model Checking
بواسطة: اليازجين، راية كامل علي منشور: (2022) -
The Role of Risk-Based Internal Auditing on the Activation of Cybersecurity to Control Information Risk: A Field Study
بواسطة: Elqadi, Menna Muhammad Abdelaziz منشور: (2024) -
Enhanced context aware role based access control framework for pervasive environment
بواسطة: Al Akhras, Mohammed O. منشور: (2014)
