Example

In this section we demonstrate the basic functionality of Pda with a simple derivation. First, however, we set the stage with workspace, perspective, and project steps you need to carry out. Then we will show how to build a two-way authentication protocol out of a one-way authentication protocol using simple derivation steps.

• Entering a protocol
• Creating an instance
• Sequential composition