RSA-CEMD协议的分析及基于串空间模型的形式化证明

• 作者: 卜凡金 邢育红
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 公平交换协议 串空间 认证测试 形式化分析
• 年，卷（期）: 2007,（2）
• 所属期刊栏目: 计算机网络与安全
• 页码范围: 12-14,23
• 页数: 4页
• 分类号: TP309.7
• 字数: 4496字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2007.02.005

摘要

电子商务协议的最基本任务是保证交易方进行公平交换,而分析交换协议是否保证了公平性就成了分析电子商务协议的关键.本文分析了文献[1]中的挂号电子邮件协议RSA-CEMD协议,指出了其存在的缺陷,对其进行了修改,并对修改后协议的公平性用经过扩展的串空间模型进行了形式化分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邢育红		8	9	1.0	2.0
2	卜凡金		4	8	1.0	2.0