Principles of Distributed Access Control

Catalog description

Specification, verification, and design of secure networks using formal logic. Includes historical access control models, role-based access control, and logics for reasoning about authentication, authorization, audit, delegation, and trust.