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

• 作者: 彭代渊 闫丽丽 高悦翔
• 来源期刊: 电子科技大学学报
• 学科: 工学
• 关键词: 认证邮件协议 组合协议分析 Kailar逻辑 可追究性
• 年，卷（期）: 2013,（2）
• 页码范围: 300-305
• 分类号: TP309
• 字数: 5803字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0548.2013.02.023

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	彭代渊	西南交通大学信息安全与国家计算网格实验室	49	305	10.0	13.0
2	闫丽丽	西南交通大学信息安全与国家计算网格实验室	4	29	3.0	4.0
3	高悦翔	西南交通大学信息安全与国家计算网格实验室	7	39	4.0	6.0