Программы proverifeditor.sf.net

ProVerif Editor Бесплатный

Редактор для редактирования и проверки протоколов, указанных в SPI-исчислении с помощью ProVerif.