J4 ›› 2007, Vol. 29 ›› Issue (2): 12-14.
• 论文 • 上一篇 下一篇
卜凡金[1] 邢育红[2]
出版日期:
发布日期:
Online:
Published:
摘要：
电子商务协议的最基本任务是保证交易方进行公平交换,而分析交换协议是否保证了公平性就成了分析电子商务协议的关键。本文分析了文献[1]中的挂号电子邮件协议RSA-CEMD协议,指出了其存在的缺陷,对其进行了修改,并对修改后协议的公平性用经过扩展的串空间模型进行了形式化分析。
关键词: 公平交换协议 串空间 认证测试 形式化分析
Abstract:
In this paper,we discuss a certified E-mail delivery protocol proposed by Nenadic.We demonstrate how this protocol cannot achieve fairness,propose a c orrected version,and give a formal proof of the correctness in the extended strand space model.
Key words: fair exchange protocol,strand space,authentication test,formal analysis
卜凡金[1] 邢育红[2]. RSA-CEMD协议的分析及基于串空间模型的形式化证明[J]. J4, 2007, 29(2): 12-14.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://joces.nudt.edu.cn/CN/
http://joces.nudt.edu.cn/CN/Y2007/V29/I2/12
