Publications
“Automated Safety Analysis of Administrative Temporal Role-Based Access Control (ATRBAC) Policies using Mohawk+ T”, University of Waterloo, 2016.
, “Mohawk+ t: Efficient analysis of administrative temporal role-based access control (atrbac) policies”, in Proceedings of the 20th ACM Symposium on Access Control Models and Technologies, 2015, pp. 15–26.
, , ,