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]
@inproceedings{SornkhomP09, title = {Security analysis of Micali s fair contract signing protocol by using Coloured Petri Nets : Multi-session case}, author = {Panupong Sornkhom and Yongyuth Permpoontanalarp}, year = {2009}, doi = {10.1109/IPDPS.2009.5161238}, url = {http://dx.doi.org/10.1109/IPDPS.2009.5161238}, tags = {contracts, protocol, analysis, security}, researchr = {https://researchr.org/publication/SornkhomP09}, cites = {0}, citedby = {0}, pages = {1-8}, booktitle = {23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009}, publisher = {IEEE}, }