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

Analysis of the RSA-CEMD Protocol and the Formal Proof Based on the Strand Space Model

作　　者：卜凡金 邢育红[2] 

机构地区：[1]山东数字证书认证管理有限公司,山东济南250011 [2]山东交通学院,山东济南250023

出　　处：《计算机工程与科学》2007年第2期12-14,23,共4页Computer Engineering & Science

摘　　要：电子商务协议的最基本任务是保证交易方进行公平交换,而分析交换协议是否保证了公平性就成了分析电子商务协议的关键。本文分析了文献[1]中的挂号电子邮件协议RSA-CEMD协议,指出了其存在的缺陷,对其进行了修改,并对修改后协议的公平性用经过扩展的串空间模型进行了形式化分析。In this paper,we discuss a certified E-mail delivery protocol proposed by Nenadic.We demonstrate how this protocol cannot achieve fairness,propose a corrected version,and give a formal proof of the correctness in the extended strand space model.

关 键 词：公平交换协议 串空间 认证测试 形式化分析 

分 类 号：TP309.7[自动化与计算机技术—计算机系统结构]