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.
Last updated: July 17, 2006
Send comments and questions to ma@kestrel.edu, dusko@kestrel.edu. For more information, see also Dusko's homepage
