Tarafından Programlar pda.sf.net

Pda, güvenlik protokollerinin türev selamı yaklaşımı için araç desteği sağlar. Protokoller, modeller, güvenlik özellikleri grafik kullanıcı arabirimi üzerinden girilir. Pda protokollerin ve modellerinin ve artımlı doğruluk ge