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 perfezionamento dei protocolli e dei loro modelli e le prove di correttezza incrementale.
cronologia delle versioni
- Versione N/A pubblicato il 2011-08-09
Diverse correzioni e aggiornamenti - Versione N/A pubblicato il 2011-08-09
Dettagli del programma
- Categoria: Rete & Internet > Altro
- Editore: pda.sf.net
- Licenza: Gratuito
- Prezzo: N/A
- Versione: Array
- Piattaforma: windows