May 09, 2025  
2023-2024 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  Degrees Offered
  Academic Departments
  Programs of Study
  Course Descriptions
  Admission to Graduate Programs
  Tuition, Fees and Expenses
  Financial Assistance
  General Regulations
  Student Services
  University Calendar
  Graduate Faculty
  About the University
  The Graduate School
  Colleges
  Publishing Statement
  Your Right to Know
  Non-Discrimination Statement
  Graduate Education Administration
  Archived Catalogs
HELP
2023-2024 Graduate Catalog [ARCHIVED CATALOG]

CS 652. Formal Methods for Information Security


Credits 3.00 PeopleSoft Course ID: 011302 Grading Basis GRD

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.