Paper Info
Title
Cree: A Performant Tool for Safety Analysis of Administrative Temporal Role-Based Access Control (ATRBAC) Policies
Abstract
Access control deals with the roles and privileges to which a user is authorized, and is an important aspect of the security of a system. As enterprise access control systems need to scale to several users, roles and privileges, it is common for access control models to support delegation: a trusted security administrator is able to give semi-trusted users the ability to change portions of the aut...
Year
DOI
Venue
2021
10.1109/TDSC.2019.2949410
IEEE Transactions on Dependable and Secure Computing
Keywords
DocType
Volume
Safety,Authorization,Tools,Model checking,Analytical models
Journal
18
Issue
ISSN
Citations 
5
1545-5971
0
PageRank 
References 
Authors
0.34
0
3
Name
Order
Citations
PageRank
Jonathan Shahen121.38
Jianwei Niu227526.61
Mahesh V. Tripunitara355833.06