Browsing Theses by Author "Sharifi, Alireza"
Now showing items 1-1 of 1
-
On the Design and Testing of Authorization Systems
Sharifi, Alireza (University of Waterloo, 2013-08-02)Authorization deals with the specification and management of accesses principals have to resources. In the design of an authorization system, sometimes we just implement the accessenforcement without having a precise semantics ...