Atur cara mengikut pda.sf.net

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