Panupong Sornkhom, Yongyuth Permpoontanalarp. Security analysis of Micali s fair contract signing protocol by using Coloured Petri Nets : Multi-session case. In 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009. pages 1-8, IEEE, 2009. [doi]
Abstract is missing.