View All Courses     Distance Enrollment     Course Number Conversion
no_pic
Instructor: McMillin, Bruce M.
Email: ff@mst.edu

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 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 78252 1DIS

Course Access Information
Learning Management System Canvas

Missouri University of Science and Technology

Missouri S&T, Rolla, MO 65409 | 573-341-4111 | 800-522-0938 | Contact us Accreditation | Consumer Information | Our Brand | Disability Support | TERMINALFOUR

© 2018 Curators of the University of Missouri | UM System
Missouri S&T is an equal opportunity, access, affirmative action, pro-disabled and veteran employer