Analysis of cryptographic protocol based on coloured Petri nets
Zhi Jian Yuan · 2002
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.