تصفح Information Intelligence حسب الموضوع "Model checking"
السجلات المعروضة 1 -- 1 من 1
-
Role updating in information systems using model checking
( Springer London , 2017 , Article)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 ...