PROGRAMS BY pda.sf.net

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 incr