一个多方认证邮件协议的分析与改进  

Improvement and Formal Analysis of a Fair Multi-party Certified Mail Protocol

作　　者：高悦翔[1,2] 彭代渊[1] 

机构地区：[1]西南交通大学信息安全与国家计算网格实验室,成都610031 [2]四川师范大学计算机科学学院,成都610068

出　　处：《计算机科学》2012年第11期58-61,97,共5页Computer Science

摘　　要：多方认证邮件协议被广泛用于在多方网络环境中传递具有保密性、不可否认性、公平性、无排斥性以及时限性性的电子邮件。指出了一个典型的多方认证邮件协议存在不满足公平性、可追究性以及个别不诚实参与方行为导致整个协议执行失败等安全隐患。基于签密方案,对该协议进行了改进,并利用Kailar逻辑对改进后的协议的安全属性进行了分析。研究结果表明,该协议能够满足保密性、不可否认性及公平性等要求,并具有抗篡改、重放、合谋等攻击的特点。Fair multi-party certified mail protocol is a value service to deliver important data over internet with guaranteed receipt for each successful delivery.Therefore,the protocol needs to be confidential,and meets non-repudiation,fairness,exclusion and timeliness.This paper pointed out potential security concern for a current protocol,and improved the protocol based on signcryption scheme.The analysis by Kailar logic shows that the protocol can achieve the non-repudiation,fairness.Furthermore,it has advantage of resisting the attacks such as distort,replay and conspiracy.

关 键 词：多方认证邮件协议 可追究性 公平性 签密 KAILAR逻辑 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]