loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing
Security Analysis of Micali?s Fair Contract Signing Protocol by Using Coloured Petri Nets
August 06-August 08
ISBN: 978-0-7695-3263-9
ASCII Text
x 
 
Panupong Sornkhom, Yongyuth Permpoontanalarp, "Security Analysis of Micali?s Fair Contract Signing Protocol by Using Coloured Petri Nets," Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, ACIS International Conference on, pp. 329-334, 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2008.
 
 
BibTex
x
 
@article{ 10.1109/SNPD.2008.30,
author = {Panupong Sornkhom and Yongyuth Permpoontanalarp},
title = {Security Analysis of Micali?s Fair Contract Signing Protocol by Using Coloured Petri Nets},
journal ={Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, ACIS International Conference on},
volume = {0},
year = {2008},
isbn = {978-0-7695-3263-9},
pages = {329-334},
doi = {http://doi.ieeecomputersociety.org/10.1109/SNPD.2008.30},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, ACIS International Conference on
TI - Security Analysis of Micali?s Fair Contract Signing Protocol by Using Coloured Petri Nets
SN - 978-0-7695-3263-9
SP329
EP334
A1 - Panupong Sornkhom,
A1 - Yongyuth Permpoontanalarp,
PY - 2008
KW - Formal methods for Cryptographic protocols
KW - Fair Contract Signing Protocols
VL - 0
JA - Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, ACIS International Conference on
ER -
 
In this paper, we present a systematic method to analyze the security of Micali’s 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 Bao’s improved version of the protocol is secure against known message replay attacks on Micali’s protocol and our new attacks.
Index Terms:
Formal methods for Cryptographic protocols, Fair Contract Signing Protocols
Citation:
Panupong Sornkhom, Yongyuth Permpoontanalarp, "Security Analysis of Micali?s Fair Contract Signing Protocol by Using Coloured Petri Nets," snpd, pp.329-334, 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2008
Usage of this product signifies your acceptance of the Terms of Use.