文件名称：AnB2Murphi
文件大小：16.56MB
文件格式：ZIP
更新时间：2024-03-30 03:17:14
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)