认证邮件协议的安全性分析与改进  

Analysis and Improvement of a Certified E-Mail Protocol

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

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

出　　处：《电子科技大学学报》2013年第2期300-305,共6页Journal of University of Electronic Science and Technology of China

基　　金：四川省教育厅重点项目基金(10ZA009)

摘　　要：认证邮件协议需要满足保密性、公平性、可追究性等安全属性。针对一个典型的认证邮件协议在保密性、可追究性上存在的安全缺陷,对其进行了改进,提出了一个基于离线半可信第三方的认证邮件协议。同时,为更有效地分析协议的安全属性,对如何在组合协议分析框架下应用Kailar逻辑分析公平交换协议安全属性的方法进行了研究。利用该方法分析了改进后的协议,并证明了该协议具有满足保密性、可追究性等安全属性的特点。The security attributes of certified e-mail protocol include confidentiality, non-repudiation, fairness. Aiming at to remedy the lack of confidentiality and non-repudiation of the a typical certified mail protocol, an improved certified mail protocol with transparent semi-trusted third party is proposed. To improve the protocol efficiency, a method applying Kailar logic in compositional analysis is proposed for analyzing the improved protocol. The analysis results indicate the improved protocol can meet confidentiality and non-repudiation.

关 键 词：认证邮件协议 组合协议分析 KAILAR逻辑 可追究性 

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