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.