Jul 16, 2025  
2020-2021 Graduate Catalog 
    
2020-2021 Graduate Catalog [ARCHIVED CATALOG]

CSC 5056 - Network Security II

Credits: 4
Formerly: CSC 6055
This course is a continuation of CSC 5055 Network Security I. Topics include: advanced study of protocols for authentication, agreement, anonymity; security protocol analysis techniques; advanced host and server side security. Analysis techniques may include: Strand Spaces, BAN Logic, and the Applied π-Calculus.
Prerequisite(s): CSC 5055 .