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