AI帮你理解科学

AI 生成解读视频

AI抽取解析论文重点内容自动生成视频

生成解读视频

AI 溯源

AI解析本论文相关学术脉络

生成溯源树

Formal Analysis of Multiparty Contract Signing

Journal of Automated Reasoning, no. 1-2 (2006): 39-83

引用：89|浏览28

EI WOS

下载 PDF 全文

原文链接

其它链接

dblp.uni-trier.de dl.acm.org academic.microsoft.com link.springer.com

引用

关键词

gm protocolcomplete revisiongm protocol.gm subprotocolsformal analysis更多(9+)

摘要

We analyze the multi-party contract-signing protocols of Garay and MacKenzie (GM) and of Baum and Waidner (BW). We use a finite-state tool, MOCHA, which allows specification of protocol properties in a branching-time temporal logic with game semantics. While our analysis does not reveal any errors in the BW protocol, in the GM protocol we...更多

代码：

数据：

下载 PDF 全文

PPT (上传PPT)

相似论文

引用论文

被引论文

作者