Programy według pda.sf.net

  • PDA - The Protocol Derivation Assistant Wolna

    Pda zapewnia obsługę narzędzi dla pochodnego podejścia protokołów bezpieczeństwa. Protokoły, modele, właściwości zabezpieczeń są wprowadzane za pośrednictwem graficznego interfejsu użytkownika. Pda obsługuje udoskonalenia pro