Title :
Security Analysis of Micali´s Fair Contract Signing Protocol by Using Coloured Petri Nets
Author :
Sornkhom, Panupong ; Permpoontanalarp, Yongyuth
Author_Institution :
Dept. of Comput. Eng., King Mongkut´´s Univ. of Technol., Bangkok
Abstract :
In this paper, we present a systematic method to analyze the security of Micalipsilas fair contract signing protocol by using coloured Petri nets (CPN). By using CPN, we found two new attacks in the protocol. Also, we show that Baopsilas improved version of the protocol is secure against known message replay attacks on Micalipsilas protocol and our new attacks.
Keywords :
Petri nets; cryptographic protocols; digital signatures; Micali fair contract signing protocol; coloured Petri net; fair exchange protocol; message replay attack; security analysis; security protocol; Authentication; Computer security; Contracts; Cryptography; Digital signatures; Distributed computing; Petri nets; Protocols; Public key; Software engineering; Fair Contract Signing Protocols; Formal methods for Cryptographic protocols;
Conference_Titel :
Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2008. SNPD '08. Ninth ACIS International Conference on
Conference_Location :
Phuket
Print_ISBN :
978-0-7695-3263-9
DOI :
10.1109/SNPD.2008.30
