On the Design and Testing of Authorization Systems

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 for it. In this dissertation we show that, there exists a precise semantic...

Full description

Bibliographic Details
Main Author: Sharifi, Alireza
Language:en
Published: 2013
Subjects:
Online Access:http://hdl.handle.net/10012/7673