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

彭红艳李肖坚夏春和邓剑锋周小发广西师范大学网络中心桂林541004 北京航空航天大学计算机学院北京市网络技术重点实验室北京100083

	摘要：不同应用环境下不可否认协议的目标是不同的，面向电子邮件的不可否认协议目标有：双方不可否认；公平；协议能抵御常见的篡改和重放攻击；减少对可信第三方的信赖程度。保证邮件机密性；尽可能减少协议交互次数．提出一种面向电子邮件的不可否认协议。以解决已有协议存在的不公平、机密性保护不好和协议交互次数多的问题．形式化分析的结果表明。提出的协议能完成收发双方的不可否认以及不可否认协议所要达成的公平性和证据有效性．

	格式：PDF 页数：6 页页码范围：1914-1919页
	学科分类：【工业技术】 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 一般性问题 > 安全保密
	关键词：不可否认协议形式化分析 SVO逻辑可信第三方
	来源期刊：《计算机研究与发展》2006年第11期
	收录数据库：中文科技期刊数据库

充值方式：