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

摘要：

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

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

所属期刊栏目：43

分类号：TP3(计算技术、计算机技术)

资助基金：航空基础科学基金03F51060;北京市教委共建项目建设计划基金SYS100060412

在线出版日期：2006-12-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1914-1919