CPSA Syntax and Interpretation
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.
Description
tut
quiz
present
anim
roll
Tutorial
Quiz
Presentation
Animation
roll
Interactive Media Element
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.Collections
Related items
Showing items related by title, author, creator and subject.
-
Design and specification of an object-oriented data manipulation language
(Monterey, California. Naval Postgraduate School, 1995);The purpose of this thesis is to develop the design and specifications of an Object-Oriented Data Manipulation Language (O-ODML) for an Object-Oriented Data Model Language (O-ODM) constructed to test and demonstrate the ... -
Schema and data conflict resolution across distributed graphical ASN.1 databases
(Monterey, California. Naval Postgraduate School, 1994);Recently, most large corporations, including the Department of Defense and the Department of the Navy have seen a dramatic proliferation of incompatible databases and their associated database management systems. Sooner ... -
The automatic generation of syntax directed editors
(Monterey, California. Naval Postgraduate School, 1981-10); NPS-52-81-014A syntax directed editor is an editor oriented towards a particular language. This paper describes a general table-driven syntax directed editor and an algorithm for automatically generating a syntax directed editor for a ...
