New approach to cryptographic protocol analysis using coloured Petri nets
A.M. Basyouni, Stafford E. Tavares · 2002
We present a novel method to analyze cryptographic protocols using coloured Petri nets. This method employs the matrix description for coloured Petri nets. We use this method to analyze a wireless protocol proposed by A. Aziz and W. Diffie (1994), and identify an ambiguity that should be resolved.