FS2PV 1.0下载地址

加密协议验证F＃

FS2PV开发私奔到一个验证工具，编译加密协议实现F＃的正式PI-演算模型的子集在一阶。此pi演算模型，然后可以分析ProVerif证明所需的安全属性，或者发现安全漏洞。