VariablesUser ManualMenu featuresExample

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

VariablesUser ManualMenu featuresExample