欧尼·科恩 TAPS:密码协议的一阶验证器。 (英语) Zbl 0974.68562号 Emerson,E.Allen(编辑)等人,《计算机辅助验证》。第十二届国际会议,CAV 2000。2000年7月15日至19日,美国伊利诺伊州芝加哥。诉讼程序。柏林:施普林格。莱克特。注释计算。科学。1855, 568-571 (2000). 有关整个系列,请参见[Zbl 0941.00029号]. 引用于4文件 MSC公司: 68单位99 计算方法和应用 94A60 密码学 60年第68季度 规范和验证(程序逻辑、模型检查等) 软件:水龙头;水獭 PDF格式BibTeX公司 XML格式引用 \textit{E.Cohen},莱克特。注释计算。科学。1855568-571(2000年;Zbl 0974.68562)