บรรณาธิการเพื่อแก้ไขและตรวจสอบโปรโตคอลที่ระบุใน SPI-calculus โดยใช้ ProVerif
ประวัติรุ่น
- เวอร์ชัน 0.2 โพสต์เมื่อ 2010-01-08
การแก้ไขและการอัปเดตหลายรายการ - เวอร์ชัน 0.2 โพสต์เมื่อ 2010-01-08
รายละเอียดหลักสูตร
- ประเภท: ความปลอดภัยและความเป็นส่วนตัว > อื่นๆ
- Publisher: proverifeditor.sf.net
- ใบ อนุญาต: ฟรี
- ราคา: N/A
- เวอร์ชัน: 0.2
- แพ ลตฟอร์ม: windows