可转换认证加密的安全邮件协议

• 作者: 刘琦 崔军 张振涛 李忠献 杨义先
• 来源期刊: 电子科技大学学报
• 学科: 工学
• 关键词: 可转换的认证加密 电子商务 公平交换 形式化方法 不可否认
• 年，卷（期）: 2010,（4）
• 页码范围: 598-602,622
• 分类号: TP309
• 字数: 5613字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0548.2010.04.027

摘要

通过对电子商务中不可否认公平交换协议的运行流程进行了研究,论证了基于第三方的不可否认公平交换协议至少需要运行4步骤,进而指出现有一个协议实质上是需要运行4步骤的,而不仅仅是运行3步骤.依据安全协议与密码系统分开设计的原则,对比分析已有可转换认征加密方案,提出了一个可转换认证加密方案的系统模型.并基于该系统模型,设计了基于半可信第三方的不可否认的安全邮件协议.通过形式化方法分析表明,该协议具备邮件发送方和接收方均不可否认的特点.