开发工具:
文件大小: 16mb
下载次数: 0
上传时间: 2021-03-10
详细说明：AnB2Murphi
AnB2Murphi是一款自动翻译器AnB2Murphi，可在高级Alice＆Bob规范与低级Murphi模型检查器之间架起桥梁，从而有助于验证A＆B规范中所述的安全协议。 论文理论文件：
AnB2Murphi：一种将Alice＆Bob规范转换为Murphi的转换器
证明的主要安全协议是：
缓存一致性协议）：
规约
不满意
时间（秒）
记忆｜
梅西
3
4
22
摩西
3
4
19
互惠交易
5
5
24
德语
58
13
621
Flash_nodata
152
60
9930
Flash_data
165
62
10600
安全协议：
Needham–Schroeder公钥协议
循环程序：
算法
类型
最大搜索量（一个变量）
搜寻
最大搜索（两个变量）
搜寻
未排序数组中的顺序搜索
搜寻
二进制搜索
搜寻
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
