Automated Safety Analysis of Administrative Temporal Role-Based Access Control (ATRBAC) Policies using Mohawk+ T

Citation:

J. Shahen, “Automated Safety Analysis of Administrative Temporal Role-Based Access Control (ATRBAC) Policies using Mohawk+ T”, University of Waterloo, 2016.

Download Citation

• BibTex
• Tagged
• XML

Thesis Type:

masters