![](/statics/img/blank.png)
PDA - The Protocol Derivation Assistant
License: Free File size: N/A
Users Rating: 5.0/5 - 1 votes
Please wait ... Your download link is being verified for malicious content.
You'll be able to download in 5 seconds.
You'll be able to download in 5 seconds.
ABOUT PDA - The Protocol Derivation Assistant
Pda provides tool support for the derivational approach of security protocols. Protocols, models, security properties are entered via a graphical user interface. Pda supports refinements of protocols and their models and incremental correctness proofs.