Browsing Engineering (Faculty of) by Author "Shahen, Jonathan"
Now showing items 1-2 of 2
-
Automated Safety Analysis of Administrative Temporal Role-Based Access Control (ATRBAC) Policies using Mohawk+T
Shahen, Jonathan (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 ... -
Polynomial Timed Reductions to Solve Computer Security Problems in Access Control, Ethereum Smart Contract, Cloud VM Scheduling, and Logic Locking.
Shahen, Jonathan (University of Waterloo, 2020-08-28)This thesis addresses computer security problems in: Access Control, Ethereum Smart Contracts, Cloud VM Scheduling, and Logic Locking. These problems are solved using polynomially timed reductions to 2 complexity classes: ...