Credits: 4Formerly: 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.