Verifpal: Cryptographic Protocol Verification

立即访问 收藏

资源简介

Verifpal 是一个用于加密协议的免费和开源验证器。它分析模型对抗活跃攻击者，并报告具体的攻击路径。可以从命令行、编辑器或浏览器中使用。

标签

verifpal formal verification protocol verification cryptographic protocol verification symbolic protocol verification cryptography secure protocols