- Schedule of Classes - September 9, 2021 7:14PM EDT
- Course Catalog - September 9, 2021 7:15PM EDT
Course information provided by the Courses of Study 2020-2021.
This course is concerned with system security solutions that build on ideas from logic, programming languages, and distributed systems. Topics include: information-flow policies and enforcement (static and dynamic), authorization logics, measured principals, distributed trust, and moving-target defenses. Some homework assignments could involve programming.
When Offered Spring (not offered every year).
Permission Note Enrollment preference given to: CIS MEng students.
Prerequisites/Corequisites Prerequisite: CS 5430.
- Learn how to formulate and enforce information-flow policies.
- Become facile with logics for specifying and analyzing authentication and authorization, including trust assumptions.
Regular Academic Session.
Credits and Grading Basis
3 Credits GradeNoAud(Letter grades only (no audit))
Class Number & Section Details
- MW Online Meeting
- Feb 8 - May 14, 2021
Instruction Mode: Online
This course is restricted to CS students and requires synchronous attendance. The instructor believes in the paramount importance of synchronous interaction for the educational experience he is working to provide in his class. New constraints, recognized by the department chair, arising during this unusual semester require that students registering for this class must be able to participate synchronously in the online lectures at the times they are officially scheduled for in the course roster.
Disabled for this roster.