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

Analysis of cryptographic protocol based on coloured Petri nets

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

One important problem in the securit y fields of computer systems is that t he design of cryptographic protocol is successful.Currently f ormal analysis approaches for crypt ographic protocols are being studie d aggres-sively.The concept of coloured Petr i nets is introduced and the cryptographic protocol using it is specified.The TMN protocol is analyzed using incid ence matrix and state equation of Petri nets,then security flaws of TMN protocol are found and verified.So t he new method of cryptographic proto col analysis based on coloured Petri nets is feasible.