Foundations of Access Control

3 credits · Undergraduate 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. Prerequisite(s): Computer Science 413 and 449. Antirequisite(s): Credit for Computer Science 505 and either 601.40 or 604 will not be allowed.