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

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

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

高悦翔, 彭代渊, 闫丽丽

文章导航 > 电子科技大学学报 > 2013 > 42(2): 300-305

高悦翔, 彭代渊, 闫丽丽. 认证邮件协议的安全性分析与改进[J]. 电子科技大学学报, 2013, 42(2): 300-305. doi: 10.3969/j.issn.1001-0548.2013.02.023

引用本文:

高悦翔, 彭代渊, 闫丽丽. 认证邮件协议的安全性分析与改进[J]. 电子科技大学学报, 2013, 42(2): 300-305. doi: 10.3969/j.issn.1001-0548.2013.02.023

GAO Yue-xiang, PENG Dai-yuan, YAN Li-li. Analysis and Improvement of a Certified E-Mail Protocol[J]. Journal of University of Electronic Science and Technology of China, 2013, 42(2): 300-305. doi: 10.3969/j.issn.1001-0548.2013.02.023

Citation:

GAO Yue-xiang, PENG Dai-yuan, YAN Li-li. Analysis and Improvement of a Certified E-Mail Protocol[J]. Journal of University of Electronic Science and Technology of China, 2013, 42(2): 300-305. doi: 10.3969/j.issn.1001-0548.2013.02.023

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

doi: 10.3969/j.issn.1001-0548.2013.02.023

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

基金项目:

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

作者简介:
高悦翔(1975-),男,博士生,主要从事信息安全、形式化分析方面的研究.

中图分类号: TP309

Analysis and Improvement of a Certified E-Mail Protocol

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

摘要: 认证邮件协议需要满足保密性、公平性、可追究性等安全属性。针对一个典型的认证邮件协议在保密性、可追究性上存在的安全缺陷,对其进行了改进,提出了一个基于离线半可信第三方的认证邮件协议。同时,为更有效地分析协议的安全属性,对如何在组合协议分析框架下应用Kailar逻辑分析公平交换协议安全属性的方法进行了研究。利用该方法分析了改进后的协议,并证明了该协议具有满足保密性、可追究性等安全属性的特点。
- 认证邮件协议 /
- 组合协议分析 /
- Kailar逻辑 /
- 可追究性
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.
- certified e-mail protocol /
- compositional analysis /
- Kailar logic /
- non-repudiation

[1]	黄朝阳, 陈金木. 基于ECC的SIP身份认证密钥协商协议 . 电子科技大学学报, 2023, 52(5): 747-755. doi: 10.12178/1001-0548.2022182
[2]	何业锋, 狄曼, 庞一博, 岳玉茹, 李国庆, 刘继祥. 基于Bell态的两方互认证量子密钥协商协议 . 电子科技大学学报, 2022, 51(4): 488-492. doi: 10.12178/1001-0548.2022008
[3]	黄朝阳, 赵玉超. 安全高效的三因素远程身份认证协议 . 电子科技大学学报, 2022, 51(3): 425-431. doi: 10.12178/1001-0548.2021232
[4]	闫丽丽, 昌燕, 张仕斌. 异构传感器网络的用户认证和密钥协商协议研究 . 电子科技大学学报, 2017, 46(1): 55-60. doi: 10.3969/j.issn.1001-0548.2017.01.009
[5]	杨帆, 杨国武, 郝玉洁. 基于模型检测的半量子密码协议的安全性分析 . 电子科技大学学报, 2017, 46(5): 716-721. doi: 10.3969/j.issn.1001-0548.2017.05.013
[6]	陈大江, 秦臻, 秦志光, 王瑞锦. 基于虚拟信道的快速密钥生成协议的安全性分析 . 电子科技大学学报, 2015, 44(1): 112-116. doi: 10.3969/j.issn.1001-0548.2015.01.019
[7]	张兵, 马新新, 志光. 轻量级RFID双向认证协议设计与分析 . 电子科技大学学报, 2013, 42(3): 425-430. doi: 10.3969/j.issn.1001-0548.2013.03.021
[8]	朱维军, 邓淼磊, 周清雷, 张海宾. 扩展命题区间时序逻辑公式可满足性判定算法 . 电子科技大学学报, 2011, 40(5): 753-758. doi: 10.3969/j.issn.1001-0548.2011.05.023
[9]	闫丽丽, 彭代渊, 高悦翔. Ad hoc网络中认证路由协议的改进及其安全性分析 . 电子科技大学学报, 2011, 40(4): 577-581.
[10]	冯涛, 刘媛媛, 马建峰. 可证明安全的群组匿名认证密钥协商协议 . 电子科技大学学报, 2011, 40(2): 273-277. doi: 10.3969/j.issn.1001-0548.2011.02.023
[11]	崔军, 刘琦, 张振涛, 忠献, 杨义先. 可转换认证加密的安全邮件协议 . 电子科技大学学报, 2010, 39(4): 598-602,622. doi: 10.3969/j.issn.1001-0548.2010.04.027
[12]	韩坚华, 吴柳飞. 无线传感器网络EMSR协议的安全性分析 . 电子科技大学学报, 2009, 38(3): 401-405. doi: 10.3969/j.issn.1001-0548.2009.03.020
[13]	舒剑, 许春香. 高效的口令基认证组密钥协商协议 . 电子科技大学学报, 2009, 38(3): 393-396. doi: 10.3969/j.issn.1001-0548.2009.03.018
[14]	汪小芬, 李胜强, 肖国镇. 认证群密钥协商协议的安全性分析与改进 . 电子科技大学学报, 2009, 38(1): 51-54.
[15]	朱辉, 李晖, 庞辽军, 王育民. 新的可证明安全的快速认证协议 . 电子科技大学学报, 2009, 38(1): 55-58.
[16]	谭示崇, 张宁, 王育民. 新的口令认证密钥协商协议 . 电子科技大学学报, 2008, 37(1): 17-19.
[17]	张青, 张龙, 温巧燕, 陈更力. 基于签密的认证邮件协议 . 电子科技大学学报, 2008, 37(2): 282-284.
[18]	万仁福, 李方伟, 朱江. 匿名双向认证与密钥协商新协议 . 电子科技大学学报, 2005, 34(1): 61-64.
[19]	王勇, 陈光. 组合电路门时滞故障的可测性分析 . 电子科技大学学报, 1999, 28(1): 58-61.
[20]	任江, 袁宏春. 对SSL协议及其安全性分析 . 电子科技大学学报, 1998, 27(4): 416-420.

WeChat

点击查看大图

计量

文章访问数: 4267
HTML全文浏览量: 93
PDF下载量: 31
被引次数: 0

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

doi: 10.3969/j.issn.1001-0548.2013.02.023

1. 西南交通大学信息安全与国家计算网格实验室成都 610031;

2. 四川师范大学计算机科学学院成都 610068;

3. 成都信息工程学院网络工程学院成都 610225

基金项目:

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

作者简介:
高悦翔(1975-),男,博士生,主要从事信息安全、形式化分析方面的研究.

收稿日期: 2011-08-04
修回日期: 2012-12-03
刊出日期: 2013-04-15

中图分类号: TP309

关键词:

摘要: 认证邮件协议需要满足保密性、公平性、可追究性等安全属性。针对一个典型的认证邮件协议在保密性、可追究性上存在的安全缺陷,对其进行了改进,提出了一个基于离线半可信第三方的认证邮件协议。同时,为更有效地分析协议的安全属性,对如何在组合协议分析框架下应用Kailar逻辑分析公平交换协议安全属性的方法进行了研究。利用该方法分析了改进后的协议,并证明了该协议具有满足保密性、可追究性等安全属性的特点。

English Abstract

高悦翔, 彭代渊, 闫丽丽. 认证邮件协议的安全性分析与改进[J]. 电子科技大学学报, 2013, 42(2): 300-305. doi: 10.3969/j.issn.1001-0548.2013.02.023

引用本文:

高悦翔, 彭代渊, 闫丽丽. 认证邮件协议的安全性分析与改进[J]. 电子科技大学学报, 2013, 42(2): 300-305. doi: 10.3969/j.issn.1001-0548.2013.02.023

GAO Yue-xiang, PENG Dai-yuan, YAN Li-li. Analysis and Improvement of a Certified E-Mail Protocol[J]. Journal of University of Electronic Science and Technology of China, 2013, 42(2): 300-305. doi: 10.3969/j.issn.1001-0548.2013.02.023

Citation:

GAO Yue-xiang, PENG Dai-yuan, YAN Li-li. Analysis and Improvement of a Certified E-Mail Protocol[J]. Journal of University of Electronic Science and Technology of China, 2013, 42(2): 300-305. doi: 10.3969/j.issn.1001-0548.2013.02.023

全文HTML

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回

期刊在线

编辑办公

友情链接

电子科技大学

版权所有 © 《电子科技大学学报》编辑部

地址: 成都市建设北路二段四号电子科技大学主楼中350室电话: 028-83202308,83207559 Email: xuebao@uestc.edu.cn

本系统由北京仁和汇智信息技术有限公司开发