Jonathan Shahen, Jianwei Niu 0001, Mahesh Tripunitara. Cree: A Performant Tool for Safety Analysis of Administrative Temporal Role-Based Access Control (ATRBAC) Policies. IEEE Trans. Dependable Sec. Comput., 18(5):2349-2364, 2021. [doi]
Abstract is missing.