Title :
Modeling and analysis of authentication protocols using Colored Petri Nets
Author :
Xu, Yang ; Xie, Xiaoyao
Author_Institution :
Key Lab. of Inf. & Comput. Sci. of Guizhou Province, Guizhou Normal Univ., Guiyang, China
Abstract :
Authentication protocols are the basis of security in networks. Therefore, it is essential to ensure that these protocols correctly. However, it is difficult to design authentication protocols that are immune to malicious attack, since good analysis techniques are lacking. In this paper, combining some analysis methods currently for analysis of security protocols based on Petri Nets methods together, a colored Petri Net for the Andrew secure RPC protocol fixed in M. Burrows, M. Abadi, and R. Needham has been presented. And then an intruder model is developed and integrated into the protocol model. Model checking is performed in CPN Tools. In the model checking, two methods are used. After model checking and the state space analysis, an attack is found.
Keywords :
Petri nets; authorisation; cryptographic protocols; graph colouring; telecommunication security; Andrew secure RPC protocol; CPN Tools; authentication protocols; colored Petri nets; intruder model; malicious attack; network security; state space analysis; Authentication; Computer networks; Computer science; Information security; Laboratories; Petri nets; Protocols; Robustness; Space technology; State-space methods; Andrew secure RPC protocol; Colored Petri Net; authentication protocols; protocol analysis;
Conference_Titel :
Anti-counterfeiting, Security, and Identification in Communication, 2009. ASID 2009. 3rd International Conference on
Conference_Location :
Hong Kong
Print_ISBN :
978-1-4244-3883-9
Electronic_ISBN :
978-1-4244-3884-6
DOI :
10.1109/ICASID.2009.5276975
