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