DocumentCode
314576
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
Volume
1
fYear
1997
fDate
25-28 May 1997
Firstpage
334
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Electrical and Computer Engineering, 1997. Engineering Innovation: Voyage of Discovery. IEEE 1997 Canadian Conference on
Conference_Location
St. Johns, Nfld.
ISSN
0840-7789
Print_ISBN
0-7803-3716-6
Type
conf
DOI
10.1109/CCECE.1997.614857
Filename
614857
Link To Document