ISA 763: Security Protocol Analysis
Course Information from University Catalog
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
1 Course Sections Scheduled for Spring 2018
ISA 763 - 001: |
W; 4:30 pm - 7:10 pm