Comp Sci 6600: Formal Methods in Computer Security
The course presents various vulnerabilities and threats to information in cyberspace and the principles and techniques for preventing and detecting threats, and recovering from attacks. The course deals with various formal models of advanced information flow security. A major project will relate theory to practice.
Time/Day: 08:00 am - 09:15 am TR Prerequisites: : A grade of "C" or better in both Comp Sci 3600 and Comp Sci 5200. Units: 3 Course Component(s): Lecture |
|
Attention Distance Students
For EdTech Media produced classes: Access to live and archived media is thru MediaSpace.
For other course content: please contact your instructor.
Enrollment Information | ||||
Campus | Delivery Mode | Class Status | Class Nbr | Section |
Distance Education | Internet | OPEN | 72514 | 1DIS |
Course Access Information | ||||
Learning Management System | Canvas |