|
May 04, 2024
|
|
|
|
2016-2017 Graduate Catalog [ARCHIVED CATALOG]
|
CS 652. Formal Methods for Information Security 3.00 A formal specification language is presented with case studies, proofs, and the formal specification of software components. Additional topics may include formal security policy modeling, seminal formal systems, first-order logic, set theory, relations, functions, sequences, bags, free types, formal and rigorous proof, immanent reasoning, reification, decomposition, and Floyd-Hoare logic.
|
|