{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:14:41Z","timestamp":1729649681137,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,5]]},"DOI":"10.1109\/ipdps.2009.5161238","type":"proceedings-article","created":{"date-parts":[[2009,7,20]],"date-time":"2009-07-20T19:56:45Z","timestamp":1248119805000},"page":"1-8","source":"Crossref","is-referenced-by-count":2,"title":["Security analysis of Micali's fair contract signing protocol by using Coloured Petri Nets : Multi-session case"],"prefix":"10.1109","author":[{"given":"Panupong","family":"Sornkhom","sequence":"first","affiliation":[]},{"given":"Yongyuth","family":"Permpoontanalarp","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-004-0055-4"},{"key":"15","article-title":"inductive methods and contract-signing protocols","author":"chadha","year":"2001","journal-title":"Proceedings of 8th ACM Conference on Computer and Communications Security"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00141-4"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/SNPD.2008.30"},{"key":"14","article-title":"events in security protocols","author":"crazzolara","year":"2001","journal-title":"Proceedings of the 8th ACM Conference on Computer and Communication Security"},{"key":"11","first-page":"201","article-title":"modeling and verification of cryptographic protocols using coloured petri nets and design\/cpn","volume":"12","author":"al-azzoni","year":"2005","journal-title":"Nordic Journal of Computing"},{"key":"12","article-title":"an improved method to analyze cryptographic protocols by using coloured petri nets","author":"permpoontanalarp","year":"2007","journal-title":"Proceedings of 1st Joint International Conference on Information Communication Technology"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"2","first-page":"176","article-title":"analysis and improvement of micali's fair contract signing protocol","author":"bao","year":"2004","journal-title":"Proceedings of The 9th Australasian Conference on Information Security and Privacy"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/872035.872038"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/11552055_23"},{"key":"7","article-title":"new approach to cryptographic protocol analysis using coloured petri nets","author":"basyouni","year":"1997","journal-title":"Proceedings of the Canadian Conference on Electrical and Computer Engineering"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/CCECE.1994.405757"},{"key":"5","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","article-title":"coloured petri nets and cpn tools for modelling and validation of concurrent systems","volume":"9","author":"jensen","year":"2007","journal-title":"International Journal on Software Tools for Technology Transfer"},{"year":"0","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(01)00030-9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(96)00112-4"}],"event":{"name":"Distributed Processing (IPDPS)","start":{"date-parts":[[2009,5,23]]},"location":"Rome, Italy","end":{"date-parts":[[2009,5,29]]}},"container-title":["2009 IEEE International Symposium on Parallel & Distributed Processing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5136864\/5160846\/05161238.pdf?arnumber=5161238","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T22:06:49Z","timestamp":1497823609000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5161238\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/ipdps.2009.5161238","relation":{},"subject":[],"published":{"date-parts":[[2009,5]]}}}