Program menurut pda.sf.net

  • PDA - The Protocol Derivation Assistant Gratis

    Pda memberikan dukungan alat untuk pendekatan derivasi protokol keamanan. Protokol, model, properti keamanan dimasukkan melalui antarmuka pengguna grafis. Pda mendukung penyempurnaan protokol dan model mereka dan bukti kebena