Pda biedt toolondersteuning voor de afleidingsaanpak van beveiligingsprotocollen. Protocollen, modellen, beveiligingseigenschappen worden ingevoerd via een grafische gebruikersinterface. Pda ondersteunt verfijningen van protocollen en hun modellen en incrementele correctheidsbewijzen.
versiegeschiedenis
- Versie N/A geplaatst op 2011-08-09
Verschillende oplossingen en updates - Versie N/A geplaatst op 2011-08-09
Programmadetails
- Categorie: Netwerk & Internet > Andere
- Publisher: pda.sf.net
- Licentie: Gratis
- Prijs: N/A
- Versie: Array
- Platform: windows