一种认证邮件协议的后一致性分析方法

摘要

本发明公开了一种认证邮件协议的后一致性分析方法，包括以下步骤：步骤一、对一个基于签密的认证邮件协议实现建模；步骤二、后一致性验证建模：query sequence(send Rec(r)＝＝＞sendMsg(m))；步骤三、依据上述“后一致性验证建模”进行后一致性的验证分析，即验证认证邮件协议的后一致性“TTP为A发送了收据r，其后面是否为B发送了消息m”。与现有技术相比，本发明实现了后一致性算法，专门针对认证邮件协议的后一致性验证。由实验证明，本算法不仅可以查出那些有缺陷的协议，而且还能找出对应的攻击路径。这使得后期工作中，针对性的修改完善协议更加容易。