电子证据与反拒认协议及形式化分析  

An Electronic Evidence and Non-Repudiation Protocol and Its Formal Analysis

作　　者：袁丁[1] 范平志[2] 

机构地区：[1]西南交通大学移动通信研究所,成都610031 [2]四川师范大学计算机科学学院,成都610066

出　　处：《电子科技大学学报》2004年第5期531-534,共4页Journal of University of Electronic Science and Technology of China

基　　金：高等学校博士点基金(20020613020); 国家自然科学基资助项目(69825102);四川省教育厅重点项目(2003A085)

摘　　要：反拒认是实现电子商务的一个重要前提条件。基于可信的第三方提出了一个面向传输的电子证据与反拒认协议TEENP,解决了收方和发方的拒认问题。扩充了类BAN信任逻辑的语义和逻辑推理规则,并用信任逻辑BAN对其进行了形式化分析。与相关协议相比,本协议是公平的、安全的和高效的。Non-repudiation is one of the most important premises to achieve electronic commerce. Based on a trusty third party, this paper proposes a transmission-oriented electronic evidence and non-repudiation protocol transmission-oriented electronic evidence and non-repudiation protocol (TEENP) to resolve the possible repudiation problem both in receiver side and in sender side. We extend the semantics and reasoning rules of the belief logic BAN, and formal analysis of TEENP is presented using logic BAN. The protocol is fair, secure and efficient, compared with the corresponding protocols.

关 键 词：电子证据 反拒认 数字签名 加密 网络安全 

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