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

发布时间：2018-05-25 02:45

  本文选题：认证邮件协议 + 组合协议分析　； 参考：《电子科技大学学报》2013年02期

【摘要】：认证邮件协议需要满足保密性、公平性、可追究性等安全属性。针对一个典型的认证邮件协议在保密性、可追究性上存在的安全缺陷,对其进行了改进,提出了一个基于离线半可信第三方的认证邮件协议。同时,为更有效地分析协议的安全属性,对如何在组合协议分析框架下应用Kailar逻辑分析公平交换协议安全属性的方法进行了研究。利用该方法分析了改进后的协议,并证明了该协议具有满足保密性、可追究性等安全属性的特点。
[Abstract]:Authentication mail protocols need to meet the security attributes of confidentiality, fairness, accountability and so on. Aiming at the security defects of a typical authentication mail protocol in confidentiality and accountability, this paper improves it and proposes an authentication mail protocol based on offline semi-trusted third party. At the same time, in order to analyze the security attribute of the protocol more effectively, the method of how to use Kailar logic to analyze the security attribute of fair exchange protocol under the framework of combinatorial protocol analysis is studied. The improved protocol is analyzed by this method, and it is proved that the protocol can satisfy the security properties such as confidentiality and accountability.
【作者单位】： 西南交通大学信息安全与国家计算网格实验室;四川师范大学计算机科学学院;成都信息工程学院网络工程学院;
【基金】：四川省教育厅重点项目基金(10ZA009)
【分类号】：TP393.04

【参考文献】

相关期刊论文 前2条

1 周典萃 ,卿斯汉 ,周展飞;一种分析电子商务协议的新工具[J];软件学报;2001年09期

2 卿斯汉;一种电子商务协议形式化分析方法[J];软件学报;2005年10期

【共引文献】

相关期刊论文 前6条

1 周敏;;基于ASP语言的电子商务安全性分析[J];软件导刊;2008年10期

2 卿斯汉;安全协议20年研究进展[J];软件学报;2003年10期

3 卿斯汉;电子商务协议中的可信第三方角色[J];软件学报;2003年11期

4 卿斯汉;一种电子商务协议形式化分析方法[J];软件学报;2005年10期

5 王涛,郭荷清,姚松涛;一个安全协议度量方法及其应用[J];计算机工程与设计;2005年03期

6 刘宏伟;谢维信;喻建平;张鹏;;基于身份的公平不可否认协议[J];通信学报;2009年07期

相关会议论文 前1条

1 郭华;庄雷;;电子商务协议的形式化验证方法及FR验证实例[A];2005年全国理论计算机科学学术年会论文集[C];2005年

相关博士学位论文 前10条

1 杨鹏;基于广义随机Petri网理论的SIP的研究[D];兰州理工大学;2009年

2 李磊;非否认协议关键技术研究[D];西安电子科技大学;2010年

3 陈莉;电子商务安全协议的设计与分析[D];解放军信息工程大学;2009年

4 陈明;乐观公平交换协议形式化逻辑及其自动证明技术[D];重庆大学;2011年

5 周永彬;PKI理论与应用技术研究[D];中国科学院研究生院（软件研究所）;2004年

6 邢育红;公平交换协议分析方法研究[D];山东大学;2005年

7 文静华;电子商务协议形式化方法及模型检测技术的研究与应用[D];贵州大学;2006年

8 龙士工;串空间理论及其在安全协议分析中的应用研究[D];贵州大学;2007年

9 冯国柱;PKI关键技术研究及其应用[D];国防科学技术大学;2006年

10 陶宏才;安全协议结构及其范式研究[D];西南交通大学;2007年

相关硕士学位论文 前10条

1 付夷山;无线安全可信接入平台的设计与实现[D];北京邮电大学;2011年

2 计宏霖;基于UPPAAL的电子商务协议安全性分析[D];解放军信息工程大学;2008年

3 魏刚;基于知识和信念模型的电子商务协议分析[D];燕山大学;2012年

4 何成;电子商务协议的逻辑分析与研究[D];西安理工大学;2002年

5 王昌晶;信息安全若干关键技术的研究与应用[D];江西师范大学;2004年

6 李艳平;不可否认协议及其应用的研究[D];陕西师范大学;2004年

7 何加亮;形式化逻辑方法在分析认证协议以及电子商务协议中的应用[D];吉林大学;2004年

8 施勇;SET协议的安全机制研究与形式化分析[D];哈尔滨工程大学;2004年

9 代新敏;网络安全协议的形式化描述与验证[D];重庆大学;2004年

10 邓珍荣;基于串空间模型的协议验证技术研究[D];广西大学;2005年

【二级参考文献】

相关期刊论文 前5条

1 周典萃,卿斯汉,周展飞;Kailar逻辑的缺陷[J];软件学报;1999年12期

2 周典萃 ,卿斯汉 ,周展飞;一种分析电子商务协议的新工具[J];软件学报;2001年09期

3 卿斯汉;安全协议的设计与逻辑分析[J];软件学报;2003年07期

4 卿斯汉;电子商务协议中的可信第三方角色[J];软件学报;2003年11期

5 卿斯汉;一种电子商务协议形式化分析方法[J];软件学报;2005年10期

【相似文献】

相关期刊论文 前10条

1 赵娟;郭平;王玉柱;;SET协议的可追究性分析与改进[J];后勤工程学院学报;2008年01期

2 刘庆华;周小燕;;电子商务协议可追究性的Kailar分析与改进[J];中国市场;2008年15期

3 石曙东,李之棠;一种新型的安全协议分析逻辑[J];小型微型计算机系统;2004年12期

4 周典萃 ,卿斯汉 ,周展飞;一种分析电子商务协议的新工具[J];软件学报;2001年09期

5 周勇;朱梧i，

本文编号：1931756