عرض بسيط للتسجيلة

المؤلفHu, Jinwei
المؤلفKhan, Khaled M.
المؤلفZhang, Yan
المؤلفBai, Yun
المؤلفLi, Ruixuan
تاريخ الإتاحة2020-11-04T10:00:41Z
تاريخ النشر2017
اسم المنشورKnowledge and Information Systems
المصدرScopus
معرّف المصادر الموحدhttp://dx.doi.org/10.1007/s10115-016-0974-4
معرّف المصادر الموحدhttp://hdl.handle.net/10576/16905
الملخصThe role-based access control (RBAC) has significantly simplified the management of users and permissions in information systems. In dynamic environments, systems are constantly undergoing changes, and accordingly, the associated configurations need to be updated in order to reflect the systems' security evolutions. However, such updating process is generally complicated as the resulting system state is expected to meet necessary constraints. This paper presents an approach for assisting administrators to make a desirable update, in light of changes in RBAC systems. We propose a formalization of the update approach, investigate its properties, and develop an updating algorithm based on model checking techniques. Our experimental results demonstrate the effectiveness of the proposed approach.
راعي المشروعThis paper was made possible by Grant NPRP 09-079-1-013 from Qatar National Research Fund (QNRF). The statements made herein are solely the responsibility of the authors.
اللغةen
الناشرSpringer London
الموضوعComputational complexity
Model checking
Role engineering
Role hierarchy
Role updating
Role-based access control (RBAC)
العنوانRole updating in information systems using model checking
النوعArticle
الصفحات187-234
رقم العدد1
رقم المجلد51
dc.accessType Abstract Only


الملفات في هذه التسجيلة

الملفاتالحجمالصيغةالعرض

لا توجد ملفات لها صلة بهذه التسجيلة.

هذه التسجيلة تظهر في المجموعات التالية

عرض بسيط للتسجيلة