Formal Methods for Cyber Physical Systems Security. 3 credits

Catalog description

Formal techniques applied to computer security provide a reliable way of demonstrating that a system is immune to entire classes of attacks (provided the assumptions of the models are satisfied). This is a stark contrast with the more general approach of ruling a system as secure until an attack proves otherwise. This course explores the various ways in which formal methods can be applied to the security of cyber-physical systems. Emphasis is given to CPS used in advanced manufacturing industries and their associated supply chain networks. Topics include formal specification languages for security properties, security analysis utilities, domain-specific security concerns, translating informal requirements to formal specifications in languages such as AADL, satisfiability solvers (SAT), satisfiability modulo theories (SMT), real-time model checking, verification of system requirements, and case studies of formally verified secure systems. Offered by Cyber Security Engineering . May not be repeated for credit.