基于颜色Petri网的密码协议的分析

密码协议的成功设计是安全领域的关键问题之一,对密码协议进行形式化分析成为当前研究的热点。通过引入颜色Petri网来描述密码协议,并以TMN协议为例,利用Petri网的状态矩阵分析特性对其进行分析,发现并验证TMN协议的安全缺陷。最终说明利用Petri网分析密码协议是可行的。