Foundations of Access Control

3 credits · Graduate Programs

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)