CPSA Syntax and Interpretation
MetadataShow full item record
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.
tutquizpresentanimrollTutorialQuizPresentationAnimationrollInteractive Media Element
RightsThis 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.
Showing items related by title, author, creator and subject.
Stephens, Michael W. (Monterey, California. Naval Postgraduate School, 1995-09);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 ...
Celia, Gino (Monterey, California. Naval Postgraduate School, 1994-09);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 ...
MacLennan, Bruce J. (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 ...