CS 5432 - [Advanced System Security]

Spring. Not offered: 2023-2024. Next offered: 2024-2025. 3 credits. Letter grades only (no audit).

Prerequisite: CS 5430. Enrollment preference given to: CIS MEng students.

F. Schneider.

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.

Outcome 1: Learn how to formulate and enforce information-flow policies.

Outcome 2: Become facile with logics for specifying and analyzing authentication and authorization, including trust assumptions.