Formal Methods in Computer Security   [Archived Catalog]
2016-2017 Graduate Studies Bulletin (Archived Copy)
   
Print-Friendly Page (opens a new window)

CSCE 853 - Formal Methods in Computer Security

Credits: 3

Formal techniques applied to computer security, including formal specification language for security properties, security analysis utilities, domain-specific security concerns, and case studies of formally verified secure systems.

Prerequisites: CSCE 522 and 715



Print-Friendly Page (opens a new window)
Close Window
   
All bulletins © 2024 Columbia Campus.
Powered by the Acalog™ Academic Catalog Management System™ (ACMS™).

Mobile Site.