DocumentCode
2744045
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
fYear
2008
fDate
6-8 Aug. 2008
Firstpage
329
Lastpage
334
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/SNPD.2008.30
Filename
4617392
Link To Document