CPSC 505 - 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.
This course may not be repeated for credit.