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 kebenaran inkremental.
Riwayat versi
- Versi N/A diposting di 2011-08-09
Beberapa perbaikan dan pembaruan - Versi N/A diposting di 2011-08-09
Detil Program
- Kategori: Jaringan & Internet > Lain
- Penerbit: pda.sf.net
- Lisensi: Gratis
- Harga: N/A
- Versi: Array
- Platform: windows