View All Courses
Distance Enrollment
Course Number Conversion
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.
Additional Info:
|
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 |
Group Project: No Live Participation Required: No, distance are not required to attend synchronous lectures. Download Restrictions: Must request permission from instructor. |
|
Books: Bishop, Computer Security, 2nd Edition, 2018 |
|
Attention Distance Students
For classes produced by I.T. MediaServices: Access to live and archived media will be available in MediaSpace at mst.mediaspace.kaltura.com or in Panopto at mst.hosted.panopto.com. For more information email itms@mst.edu.
For other course content: please contact your instructor.
| Enrollment Information | ||||
| Campus | Delivery Mode | Class Status | Class Nbr | Section |
| Distance Education | Internet | OPEN | 73008 | 102 |
| Course Access Information | ||||
| Learning Management System | Canvas | |||