![](/statics/img/blank.png)
PDA - The Protocol Derivation Assistant
Lesen: Percuma Saiz fail: N/A
Penarafan Pengguna: 5.0/5 - 1 Undi
Sila tunggu... Pautan muat turun anda sedang disahkan untuk kandungan berniat jahat.
Anda boleh memuat turun dalam masa 5 saat.
Anda boleh memuat turun dalam masa 5 saat.
Tentang PDA - The Protocol Derivation Assistant
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 ketepatan tambahan.