没有合适的资源?快使用搜索试试~ 我知道了~
AnB2Murphi
共72个文件
ml:11个
txt:10个
depends:9个
需积分: 26 0 下载量 122 浏览量
2021-03-10
09:30:34
上传
评论
收藏 16.56MB ZIP 举报
温馨提示
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公钥协议 循环程序: 算法 类型 最大搜索量(一个变量) 搜寻 最大搜索(两个变量) 搜寻 未排序数组中的顺序搜索 搜寻 二进制搜索 搜寻
资源推荐
资源详情
资源评论
收起资源包目录
AnB2Murphi-main.zip (72个子文件)
AnB2Murphi-main
tmrLexer.mll 3KB
.DS_Store 8KB
proctype.ml 2KB
protocols.ml 214KB
getModelString.byte 64B
func.ml 47KB
getModelString.ml 1KB
protocols
RPC.txt 768B
Diffie_Hellman.txt 790B
NSPK.txt 565B
nsl.txt 584B
CCITT.txt 660B
CCITTX2.txt 1KB
Otway_Rees.txt 1KB
WooLamPif.txt 776B
EAP_TLS.txt 3KB
CCITTX1.txt 698B
README.md 1KB
outputs
.DS_Store 6KB
result.o 1.66MB
result.o.dSYM
Contents
Info.plist 637B
Resources
DWARF
result.o 1.16MB
out1 6.38MB
result.m 58KB
result.cpp 802KB
tmrRetparser.mly 5KB
_build
tmrLexer.mll 3KB
tmrRetparser.mly.depends 67B
protocols.cmo 945KB
_digests 3KB
tmrRetparser.ml.depends 44B
proctype.ml 2KB
protocols.ml 214KB
func.cmt 920KB
func.ml.depends 35B
getModelString.byte 32.02MB
protocols.cmt 3.25MB
func.ml 47KB
proctype.cmt 43KB
getModelString.ml 1KB
base.ml 3KB
tmrRetparser.cmo 451KB
base.cmi 16KB
proctype.byte 1.73MB
tmrLexer.cmi 13KB
base.ml.depends 28B
proctype.cmo 17KB
tmrLexer.ml 208KB
getModelString.cmt 63KB
tmrRetparser.ml 174KB
getModelString.ml.depends 82B
base.cmt 70KB
tmrLexer.cmt 108KB
ocamlc.where 36B
tmrRetparser.cmti 35KB
proctype.cmi 15KB
tmrRetparser.mli 874B
tmrLexer.cmo 71KB
protocols.cmi 86KB
func.cmi 59KB
tmrRetparser.cmi 14KB
base.cmo 31KB
func.cmo 293KB
tmrRetparser.mly 5KB
tmrRetparser.cmt 1.42MB
tmrLexer.ml.depends 40B
getModelString.cmo 19KB
tmrRetparser.mli.depends 34B
_log 89KB
protocols.ml.depends 57B
getModelString.cmi 13KB
proctype.ml.depends 18B
共 72 条
- 1
资源评论
DGGs
- 粉丝: 15
- 资源: 4645
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功