拉诺特,拉格罗;安德烈亚·马吉奥洛·谢蒂尼;安吉洛·特洛伊娜 非否认协议的自动分析。 (英语) Zbl 1272.68326号 Cerone,A.(ed.)等人,《编程语言定量方面第二次研讨会论文集》(QAPL 2004),西班牙巴塞罗那,2004年3月27日至28日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记112113-129(2005)。 摘要:我们定义了一个概率模型,用于分析一个不可否认协议,该协议通过概率算法保证公平性,而无需求助于可信的第三方。通过使用PRISM模型检查器,我们根据协议的各种参数估计恶意用户破坏不可否认属性的概率。有关整个系列,请参见[Zbl 1271.68028号]. 引用于7文件 MSC公司: 87年第68季度 计算机科学中的概率(算法分析、随机结构、相变等) 68第25页 数据加密(计算机科学方面) 60年第68季度 规范和验证(程序逻辑、模型检查等) 94A60型 密码学 软件:棱镜 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人,《电子》。注释Theor。计算。科学。112113--129(2005年;Zbl 1272.68326) 全文: 链接