ProVerif Editor 0.2

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 3.0/5 - ‎2 ‎Phiếu

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