| 认证邮件协议的安全性分析与改进 |
| |
| 引用本文： | 高悦翔,彭代渊,闫丽丽.认证邮件协议的安全性分析与改进[J].电子科技大学学报（自然科学版）,2013,42(2):300-305. |
| |
| 作者姓名： | 高悦翔 彭代渊 闫丽丽 |
| |
| 作者单位： | 1.西南交通大学信息安全与国家计算网格实验室 成都 610031; |
| |
| 基金项目： | 四川省教育厅重点项目基金(10ZA009) |
| |
| 摘 要： | 认证邮件协议需要满足保密性、公平性、可追究性等安全属性。针对一个典型的认证邮件协议在保密性、可追究性上存在的安全缺陷,对其进行了改进,提出了一个基于离线半可信第三方的认证邮件协议。同时,为更有效地分析协议的安全属性,对如何在组合协议分析框架下应用Kailar逻辑分析公平交换协议安全属性的方法进行了研究。利用该方法分析了改进后的协议,并证明了该协议具有满足保密性、可追究性等安全属性的特点。
|
| 关 键 词： | 认证邮件协议 组合协议分析 Kailar逻辑 可追究性 |
| 收稿时间： | 2011-08-04 |
Analysis and Improvement of a Certified E-Mail Protocol |
| |
| Affiliation: | 1.Information Security and National Computing Grid Laboratory,Southwest Jiaotong University Chengdu 610031;2.College of Computer Science,SiChuan Normal University Chengdu 610068;3.Department of Network Engineering,Chengdu University of Information Technology Chengdu 610225 |
| |
| Abstract: | 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. |
| |
| Keywords: | |
|
| 点击此处可从《电子科技大学学报（自然科学版）》浏览原始摘要信息 |
|
点击此处可从《电子科技大学学报（自然科学版）》下载全文 |
