Title :
New approach to cryptographic protocol analysis using coloured Petri nets
Author :
Basyouni, A.M. ; Tavares, S.E.
Author_Institution :
Dept. of Electr. & Comput. Eng., Queen´´s Univ., Kingston, Ont., Canada
Abstract :
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
Keywords :
Petri nets; cryptography; graph colouring; matrix algebra; protocols; ambiguity; coloured Petri nets; cryptographic protocol analysis; matrix description; wireless protocol; Authentication; Cryptographic protocols; Cryptography; Data analysis; Equations; Fires; Petri nets; Privacy; Wireless LAN; Wireless application protocol;
Conference_Titel :
Electrical and Computer Engineering, 1997. Engineering Innovation: Voyage of Discovery. IEEE 1997 Canadian Conference on
Conference_Location :
St. Johns, Nfld.
Print_ISBN :
0-7803-3716-6
DOI :
10.1109/CCECE.1997.614857
