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.