Programmi di pda.sf.net

Pda fornisce supporto agli strumenti per l'approccio derivazionale dei protocolli di sicurezza. Protocolli, modelli, proprietà di sicurezza vengono immessi tramite un'interfaccia utente grafica. Pda supporta il perfezionament