Courses of Study 2023-2024 
    
    Apr 15, 2024  
Courses of Study 2023-2024
Add to Favorites (opens a new window)

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.



Add to Favorites (opens a new window)