CPSC 604 - Foundations of Access Control - Winter 2024

Application of formal methods and mathematical logic to the modelling of access control systems and the design of policy languages. Topics include safety and resiliency analysis, proof of policy compliance, expressiveness of policy languages, policy analysis, as well as a survey of modern paradigms of access control. Also known as: (formerly Computer Science 601.40)
This course may not be repeated for credit.