most citedAutomated Verification Of Role-Based Access Control Policies Constraints Using Prover9

4 citations · 4 across the 1 of their papers we have counts for

collaborators

1 paper

cs.CR2015★ 4 cited

Automated Verification Of Role-Based Access Control Policies Constraints Using Prover9

Khair Eddin Sabri

Access control policies are used to restrict access to sensitive records for authorized users only. One approach for specifying policies is using role based access control (RBAC) w…