Subject
CPSC - Computer Science
Description
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.
Prerequisite(s): Computer Science 413 and 449.
Antirequisite(s): Credit for Computer Science 505 and either 601.40 or 604 will not be allowed.
Signature Learning
Entrepreneurial Thinking, Research & Creative Scholarship
Course Attributes
Fee Rate Group(Domestic) - A, Fee Rate Group(International) -A, GFC Hours (3-0), Entrepreneurial Thinking - Related, Research & Creative Scholarship - Related
Courses may consist of a Lecture, Lab, Tutorial, and/or Seminar. Students will be required to register in each component that is required for the course as indicated in the schedule of classes. Practicums, internships or other experiential learning modalities are typically indicated as a Lab component.
Component
LEC
Units
3
Repeat for Credit
No
Subject code
CPSC