Browsing Engineering (Faculty of) by Subject "PSPACE"
Now showing items 1-1 of 1
-
Automated Safety Analysis of Administrative Temporal Role-Based Access Control (ATRBAC) Policies using Mohawk+T
(University of Waterloo, 2016-08-17)Safety analysis is recognized as a fundamental problem in access control. It has been studied for various access control schemes in the literature. Recent work has proposed an administrative model for Temporal Role-Based ...