2011-2012 University Catalog 
  
  Catalog Home
  About George Mason University
  Admission
  Tuition, Expenses, and Financial Aid
  School of Law
  Academic Policies
  Student Rights and Responsibilities
  General Policies
  Schedule of Classes
  University Academic Programs and Resources
  Transcript Key
  University General Education
  School for Conflict Analysis and Resolution
  College of Education and Human Development
  College of Health and Human Services
  College of Humanities and Social Sciences
  Krasnow Institute for Advanced Study
  School of Management
  School of Public Policy
  College of Science
  College of Visual and Performing Arts
  Volgenau School of Engineering
  Programs of Study
  Programs by Department
  Bachelor's/Accelerated Master's Programs
  Courses
  Administration and Faculty
HELP
2011-2012 University Catalog

ISA 763 - Security Protocol Analysis

Credits: 3 (NR)
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.

Prerequisite(s): ISA 650 or permission of instructor.

Hours of Lecture or Seminar per week: 3
Hours of Lab or Studio per week: 0