Programmes par pda.sf.net

Pda fournit un support d’outil pour l’approche dérivationnelle des protocoles de sécurité. Protocoles, modèles, propriétés de sécurité sont entrés via une interface utilisateur graphique. Pda prend en charge les améliorations