【文件属性】：
文件名称：AnB2Murphi
文件大小：16.56MB
文件格式：ZIP
更新时间：2021-03-10 09:30:34
OCaml
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
----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()
--------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)