{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:19:15Z","timestamp":1725553155707},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540308195"},{"type":"electronic","value":"9783540315988"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11596981_20","type":"book-chapter","created":{"date-parts":[[2006,6,17]],"date-time":"2006-06-17T14:42:27Z","timestamp":1150555347000},"page":"137-142","source":"Crossref","is-referenced-by-count":1,"title":["The Running-Mode Analysis of Two-Party Optimistic Fair Exchange Protocols"],"prefix":"10.1007","author":[{"given":"Yuqing","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiling","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bo","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"20_CR1","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/334598.334607","volume":"33","author":"Y.Q. Zhang","year":"1999","unstructured":"Zhang, Y.Q., Li, J.H., Xiao, G.Z.: An approach to the formal verification of the two-party cryptographic protocols. ACM Operating Systems Review\u00a033(4), 48\u201351 (1999)","journal-title":"ACM Operating Systems Review"},{"issue":"1","key":"20_CR2","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/974104.974108","volume":"38","author":"Y.Q. Zhang","year":"2004","unstructured":"Zhang, Y.Q., Liu, X.Y.: An approach to the formal verification of the three-principal cryptographic protocols. ACM Operating Systems Review\u00a038(1), 35\u201342 (2004)","journal-title":"ACM Operating Systems Review"},{"key":"20_CR3","first-page":"12","volume-title":"Proc. of 22th Annual ACM Symp. on Principles of Distributed Computing","author":"S. Micali","year":"2003","unstructured":"Micali, S.: Simple and fast optimistic protocols for fair electronic exchange. In: Proc. of 22th Annual ACM Symp. on Principles of Distributed Computing, pp. 12\u201319. ACM Press, New York (2003)"},{"key":"20_CR4","unstructured":"Pagnia, H., Gartner, C.: On The Impossibility of Fair Exchange without a Trusted Third Party. Technical Report TUD-BS-1999-02, Darmstadt University of Technology (1999)"},{"key":"20_CR5","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.L., Zhou, J.Y., Zhu, H.F.: 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)"}],"container-title":["Lecture Notes in Computer Science","Computational Intelligence and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11596981_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:57:07Z","timestamp":1619506627000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11596981_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540308195","9783540315988"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/11596981_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}