Programas por pda.sf.net

A Pda fornece suporte à ferramenta para a abordagem derivacional dos protocolos de segurança. Protocolos, modelos, propriedades de segurança são introduzidos através de uma interface gráfica do utilizador. A Pda suporta refin