一种面向电子邮件的不可否认协议及其形式化分析  

A Non-Repudiation Protocol for E-Mail and Its Formal Analysis

作　　者：彭红艳[1] 李肖坚[2] 夏春和[2] 邓剑锋[1] 周小发[1] 

机构地区：[1]广西师范大学网络中心,桂林541004 [2]北京航空航天大学计算机学院北京市网络技术重点实验室,北京100083

出　　处：《计算机研究与发展》2006年第11期1914-1919,共6页Journal of Computer Research and Development

基　　金：航空科学基金项目(03F51060);北京市教育委员会共建项目建设计划基金项目(SYS100060412)

摘　　要：不同应用环境下不可否认协议的目标是不同的,面向电子邮件的不可否认协议目标有:双方不可否认;公平;协议能抵御常见的篡改和重放攻击;减少对可信第三方的信赖程度,保证邮件机密性;尽可能减少协议交互次数.提出一种面向电子邮件的不可否认协议,以解决已有协议存在的不公平、机密性保护不好和协议交互次数多的问题.形式化分析的结果表明,提出的协议能完成收发双方的不可否认以及不可否认协议所要达成的公平性和证据有效性.There are different goals in a non-repudiation protocol to be considered for different application. However, there are some goals to be considered in a non-repudiation protocol for E-mail： non-repudiation of both parties; fairness to both message sender and message receiver with respective to their control over the completion of a transaction; the degree of trust on a third party; keeping E-mail confidentiality; and decreasing the number of interaction. In this paper, a new non-repudiation protocol for E-mail is proposed for resolving the existent problems： unfairness, confidentiality not well protected, and many numbers of interaction by using formal analysis, and the new protocol is proven to be able to provide non-repudiation of sender and receiver, fairness and validity of evidence.

关 键 词：不可否认协议 形式化分析 SVO逻辑 可信第三方 

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