{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:20:52Z","timestamp":1725538852226},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642052835"},{"type":"electronic","value":"9783642052842"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-05284-2_7","type":"book-chapter","created":{"date-parts":[[2009,10,13]],"date-time":"2009-10-13T08:06:00Z","timestamp":1255421160000},"page":"101-120","source":"Crossref","is-referenced-by-count":0,"title":["Formal Analysis of FPH Contract Signing Protocol Using Colored Petri Nets"],"prefix":"10.1007","author":[{"given":"Magdalena","family":"Payeras-Capell\u00e0","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maci\u00e0","family":"Mut-Puigserver","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreu Pere","family":"Isern-Dey\u00e0","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Josep L.","family":"Ferrer-Gomila","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lloren\u00e7","family":"Huguet-Rotger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Micali, S.: Simple and Fast Optimistic Protocols for Fair Electronic Exchange. In: Proceedings of 21st Symposium on Principles of Distributed Computing, pp. 12\u201319 (2003)","key":"7_CR1","DOI":"10.1145\/872035.872038"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/3-540-45439-X_27","volume-title":"Information Security","author":"J. Ferrer-Gomila","year":"2001","unstructured":"Ferrer-Gomila, J., Payeras-Capell\u00e0, M., Huguet-Rotger, L.: Efficient Optimistic N-Party Contract Signing Protocol. In: Davida, G.I., Frankel, Y. (eds.) ISC 2001. LNCS, vol.\u00a02200, pp. 394\u2013407. Springer, Heidelberg (2001)"},{"doi-asserted-by":"crossref","unstructured":"Asokan, N., Shunter, M., Waidner, M.: Optimistic Protocols for Fair Exchange. In: 4th ACM Conference on Computer and Communications Security, pp. 7\u201317 (1997)","key":"7_CR3","DOI":"10.1145\/266420.266426"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-540-27800-9_16","volume-title":"Information Security and Privacy","author":"F. Bao","year":"2004","unstructured":"Bao, F., Wang, G., Zhou, J., Zhu, Z.: Analysis and Improvement of Micali\u2019s Fair Contract Signing Protocol. In: Wang, H., Pieprzyk, J., Varadharajan, V. (eds.) ACISP 2004. LNCS, vol.\u00a03108, pp. 176\u2013187. Springer, Heidelberg (2004)"},{"doi-asserted-by":"crossref","unstructured":"Sornkhom, P., Permpoontanalarp, Y.: Security analysis of micali\u2019s fair contract signing protocol by using coloured petri nets. In: 9th ACIS Int. Conference on Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing, pp. 329\u2013334 (2008)","key":"7_CR5","DOI":"10.1109\/SNPD.2008.30"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30079-3_21","volume-title":"Trust and Privacy in Digital Business","author":"J.L. Ferrer-Gomila","year":"2004","unstructured":"Ferrer-Gomila, J.L., Payeras-Capell\u00e0, M.M., Huguet-Rotger, L.: Optimality in asynchronous contract signing protocols. In: Katsikas, S.K., L\u00f3pez, J., Pernul, G. (eds.) TrustBus 2004. LNCS, vol.\u00a03184, pp. 200\u2013208. Springer, Heidelberg (2004)"},{"doi-asserted-by":"crossref","unstructured":"Asokan, N., Shoup, V., Waidner, M.: Asynchronous Protocols for Optimistic Fair Exchange. In: IEEE Symposium on Research in Security and Privacy, pp. 86\u201399 (1998)","key":"7_CR7","DOI":"10.1109\/SECPRI.1998.674826"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1007\/3-540-48405-1_29","volume-title":"Advances in Cryptology - CRYPTO \u201999","author":"J.A. Garay","year":"1999","unstructured":"Garay, J.A., Jakobsson, M., MacKenzie, P.: Abuse-free optimistic contract signing. In: Wiener, M. (ed.) CRYPTO 1999. LNCS, vol.\u00a01666, p. 449. Springer, Heidelberg (1999)"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-540-46588-1_4","volume-title":"Public Key Cryptography","author":"J. Zhou","year":"2000","unstructured":"Zhou, J., Deng, R., Bao, F.: Some remarks on a fair exchange protocol. In: Imai, H., Zheng, Y. (eds.) PKC 2000. LNCS, vol.\u00a01751, pp. 46\u201357. Springer, Heidelberg (2000)"},{"doi-asserted-by":"crossref","unstructured":"Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. Intenationals Journal on Software Tools for Technology Transfer, 213\u2013254 (2007)","key":"7_CR10","DOI":"10.1007\/s10009-007-0038-x"},{"key":"7_CR11","doi-asserted-by":"crossref","first-page":"1606","DOI":"10.1016\/S0140-3664(02)00049-X","volume":"25","author":"S. Kremer","year":"2002","unstructured":"Kremer, S., Markowitch, O., Zhou, J.: An Intensive Survey of Fair Non-Repudiation Protocols. Computer Communications\u00a025, 1606\u20131621 (2002)","journal-title":"Computer Communications"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Security and Privacy in Communication Networks"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-05284-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T00:15:56Z","timestamp":1558570556000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-05284-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642052835","9783642052842"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-05284-2_7","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"type":"print","value":"1867-8211"},{"type":"electronic","value":"1867-822X"}],"subject":[],"published":{"date-parts":[[2009]]}}}