Nov 23, 2024  
2018-2019 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  University Calendar
  The Graduate School
  About the University
  Admission to Graduate Programs
  Colleges
  Academic Departments
  Degrees Offered
  Programs of Study
  Course Descriptions
  Outreach & Engagement
  Tuition, Fees and Expenses
  Financial Assistance
  General Regulations
  Student Services
  Graduate Faculty
  Publishing Statement
  Your Right To Know
  Discrimination and Harassment
HELP
2018-2019 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.