Atur cara mengikut pda.sf.net

  • PDA - The Protocol Derivation Assistant Percuma

    Pda menyediakan sokongan alat untuk pendekatan terbitan protokol keselamatan. Protokol, model, sifat keselamatan dimasukkan melalui antara muka pengguna grafik. Pda menyokong perhalusi protokol dan model mereka dan bukti kete