George Mason University
George Mason University Mason
George Mason University

ISA 763: Security Protocol Analysis

Course Information from University Catalog

Not Repeatable

Teaches how to design, understand, verify, and test communication protocols so they meet their objectives of recognizing the basic components of a communication protocol; specifying security properties accurately; modeling actors and mal-actors against which a protocol ought to be secure; discussing verification and testing methods and their limitations by ensuring that the specified protocol satisfies stated security objectives in the presence of specified mal-actions; designing a medium-size protocol that satisfies a specification of requirement; using existing tools to specify and verify security protocols; and testing protocols for satisfying their security objectives.

Hours of Lecture or Seminar per week: 3

Credits: 3


ISA 656

1 Course Sections Scheduled for Spring 2018