基于认证测试的鲁棒电子邮件协议形式化分析

• 作者: 胡爱群 蒋睿
• 来源期刊: 东南大学学报（英文版）
• 学科: 工学
• 关键词: 电子邮件协议 认证测试 形式化方法 完美的前向机密性 strand space模型
• 年，卷（期）: 2009,（2）
• 页码范围: 147-151
• 页数: 5页
• 分类号: TP393
• 字数: 2049字
• 语种: 英文
• DOI: 10.3969/j.issn.1003-7985.2009.02.001

摘要

基于认证测试方法及strand space模型,形式化分析了具有完美前向机密性的鲁棒电子邮件协议,指出该协议存在安全缺陷.同时给出了针对该协议的中间人攻击方法,即攻击者在协议的接收阶段通过伪造消息即可欺骗通信双方,使通信双方与其共享错误的会话密钥,由此使得协议的完美前向机密性得不到保证,针对协议的上述缺陷,提出一种改进方案,即通过在协议的接收阶段加入相应的签名信息,以保证改进协议能够克服中间人攻击并且提供完美前向机密性.最后,基于认证测试方法及strand space模型,形式化证明了改进协议在发起者、接收者及服务器之间的安全认证,确保了改进协议具备真正的完美前向机密性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡爱群	东南大学信息科学与工程学院	204	2184	22.0	39.0
2	蒋睿	东南大学信息科学与工程学院	12	56	5.0	7.0