CPSA Syntax and Interpretation
Loading...
Authors
Subjects
CPSA
CPSA syntax
cryptographic protocol shape analyzer
CPSA syntax
cryptographic protocol shape analyzer
Advisors
Date of Issue
2006-12-11
Date
Publisher
Language
Abstract
This interactive tutorial reviews the syntax of Cryptographic Protocol Shape Analyzer (CPSA) input and output. At the end of this tutorial, students should be able to represent protocols in the CPSA language and interpret the output. The interactions involve mouse over actions to reveal more information about the CPSA syntax, animations to illustrate explanations, drag and drop actions to make the correct relations, and self-check questions.
Type
Interactive Media Element (IME)
Description
tut
quiz
present
anim
roll
Tutorial
Quiz
Presentation
Animation
roll
Interactive Media Element
quiz
present
anim
roll
Tutorial
Quiz
Presentation
Animation
roll
Interactive Media Element
Series/Report No
Department
Organization
Identifiers
NPS Report Number
Sponsors
Funder
Format
Citation
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.