Pda proporciona soporte de herramientas para el enfoque derivativo de los protocolos de seguridad. Protocolos, modelos, propiedades de seguridad se introducen a través de una interfaz gráfica de usuario. Pda soporta refinamientos de protocolos y sus modelos y pruebas de corrección incremental.
historial de versiones
- Versión N/A publicado en 2011-08-09
Varias correcciones y actualizaciones - Versión N/A publicado en 2011-08-09
Detalles del programa
- Categoría: Red e Internet > Otro
- Editor: pda.sf.net
- Licencia: Gratis
- Precio: N/A
- Versión: Array
- Plataforma: windows