Một trình soạn thảo để chỉnh sửa và kiểm tra các giao thức được chỉ định trong SPI-calculus sử dụng ProVerif.
lịch sử phiên bản
- Phiên bản 0.2 đăng trên 2010-01-08
Một số bản sửa lỗi và cập nhật - Phiên bản 0.2 đăng trên 2010-01-08
Chi tiết chương trình
- Mục: Bảo mật & Quyền riêng tư > Khác
- Publisher: proverifeditor.sf.net
- Giấy phép: Miễn phí
- Giá: N/A
- Phiên bản: 0.2
- Nền tảng: windows