Courses of Study 2022-2023 
    
    Dec 04, 2022  
Courses of Study 2022-2023
Add to Favorites (opens a new window)

CS 5432 - [Advanced System Security]


     
Spring. Not offered: 2022-2023. Next offered: 2023-2024. 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.



Add to Favorites (opens a new window)