说明:AnB2Murphi
AnB2Murphi是一款自动翻译器AnB2Murphi,可在高级Alice&Bob规范与低级Murphi模型检查器之间架起桥梁,从而有助于验证A&B规范中所述的安全协议。 论文理论文件:
AnB2Murphi:一种将Alice&Bob规范转换为Murphi的转换器
证明的主要安全协议是:
缓存一致性协议):
规约
不满意
时间(秒)
记忆|
梅西
3
4
22
摩西
3
4
19
互惠交易
5
5
24
德语
58
13
621
Flas
<weixin_42181693> 上传 | 大小:16mb