2021-2022 Graduate Course Catalog 
    
    Sep 30, 2022  
2021-2022 Graduate Course Catalog [ARCHIVED CATALOG]

CIS 634 - Assurance Foundations

College of Engineering and Computer Science
3 credit(s) Irregularly
Crosslisted with: CSE 634 
Foundational theory, concepts, and computer-assisted reasoning tools necessary for assurance. Topics include functional programming, theorem proving, and logic for reasoning about access control, security, and trust.