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]
@article{ShahenNT21,
title = {Cree: A Performant Tool for Safety Analysis of Administrative Temporal Role-Based Access Control (ATRBAC) Policies},
author = {Jonathan Shahen and Jianwei Niu 0001 and Mahesh Tripunitara},
year = {2021},
doi = {10.1109/TDSC.2019.2949410},
url = {https://doi.org/10.1109/TDSC.2019.2949410},
researchr = {https://researchr.org/publication/ShahenNT21},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Dependable Sec. Comput.},
volume = {18},
number = {5},
pages = {2349-2364},
}