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

摘要：

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

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

分类号：TP309(计算技术、计算机技术)

在线出版日期：2013-04-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：300-305