CS 5432

Last Updated

  • Schedule of Classes - September 9, 2021 7:14PM EDT
  • Course Catalog - September 9, 2021 7:15PM EDT

CS 5432
Advanced System Security

Course information provided by the 2020-2021 Catalog.

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.


Prerequisites/Corequisites Prerequisite: CS 5430.

Permission Note Enrollment preference given to: CIS MEng students.

Outcomes

  • Learn how to formulate and enforce information-flow policies.
  • Become facile with logics for specifying and analyzing authentication and authorization, including trust assumptions.

When Offered Spring (not offered every year).

View Enrollment Information

Syllabi:

  •   Regular Academic Session. 

  • 3 Credits GradeNoAud

  • 18228 CS 5432   LEC 001

  •  
    • MW Online Meeting
    • Feb 8 - May 14, 2021

    • Schneider, F

  • 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.