Different browsers use different keystrokes to activate accesskey shortcuts. Please reference the following list to use access keys on your system.

Alt and the accesskey, for Internet Explorer on Windows
Shift and Alt and the accesskey, for Firefox on Windows
Shift and Esc and the accesskey, for Windows or Mac
Ctrl and the accesskey, for the following browsers on a Mac: Internet Explorer 5.2, Safari 1.2, Firefox, Mozilla, Netscape 6+.

We use the following access keys on our gateway

n Skip to Navigation
k Accesskeys description
h Help

George Mason University

2016-2017 University Catalog

HELP

2016-2017 University Catalog

Print-Friendly Page

ISA 763 - Security Protocol Analysis

Credits: 3
Not Repeatable for Credit
Offered by Computer Science

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): B- or higher in ISA 656.
Prerequisite(s) enforced by registration system.

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

Print-Friendly Page

Find Your Area of Study

Find Yourself at Mason

Virginia’s Largest Public Research University

Prospective Students

@MasonAdmissions

Current Students

Alumni

Faculty and Staff

Media and Gov’t Relations

Parents & Families

ISA 763 - Security Protocol Analysis