Introduction

CPL is a simple, near-English language for expressing cryptographic protocols. CPL lowers the barrier between abstract mathematical descriptions and working code. Potential uses include protocol design, code prototyping and functioning as a teaching aid.

An accompanying compiler translates protocols expressed as CPL "code" into working Java clients. CPL is also packaged with a tool for converting protocol descriptions into LaTeX diagrams. In the following sections, keywords will be printed in bold and optional statements in italics.

This document is intended to give a brief introduction to CPL and is by no means exhaustive. Please refer to the complete language specification, available at http://theory.lcs.mit.edu/~ cis/cpl for a complete reference.