Advanced topics in information assurance, including selections from the following: penetration testing, formal verification of systems, formal models of information flow and protection, distributed system authentication, protocol design and attack, computer viruses and malware, intrusion and anomaly detection models, multi-level security, active defenses, investigation and forensics, network firewalls, anonymity and identity, e-commerce support, database security models and mechanisms.

Usually Offered:	Offered every third semester. [In 2003-04, Spring}
Credit:	3 hours (class)
Prerequisite:	CS 526 and 555
University Catalog:	CS 626
Schedule:	Spring 2004 Instructor: Gene Spafford