{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,15]],"date-time":"2025-05-15T04:13:45Z","timestamp":1747282425785,"version":"3.40.5"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662459164"},{"type":"electronic","value":"9783662459171"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45917-1_9","type":"book-chapter","created":{"date-parts":[[2014,12,22]],"date-time":"2014-12-22T14:34:17Z","timestamp":1419258857000},"page":"128-143","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Interaction and Causality in Digital Signature Exchange Protocols"],"prefix":"10.1007","author":[{"given":"Jonathan","family":"Hayman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,12,23]]},"reference":[{"issue":"1","key":"9_CR1","doi-asserted-by":"crossref","first-page":"191","DOI":"10.3233\/JCS-1999-72-304","volume":"7","author":"FJ Thayer","year":"1999","unstructured":"Thayer, F.J., Herzog, J.C., Guttman, J.D.: Strand spaces: Proving security protocols correct. Journal of Computer Security 7(1), 191\u2013230 (1999)","journal-title":"Journal of Computer Security"},{"key":"9_CR2","unstructured":"Paulson, L.C.: Proving properties of security protocols by induction. In: Proc. 10th IEEE Workshop on Computer Security Foundations, CSFW (1997)"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Crazzolara, F., Winskel, G.: Events in security protocols. In: ACM Conference on Computer and Communications Security (2001)","DOI":"10.1145\/501983.501998"},{"key":"9_CR4","unstructured":"Kremer, S., Raskin, J.F.: Game analysis of abuse-free contract signing. In: Proc. 15th IEEE Workshop on Computer Security Foundations, CSFW (2002)"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Rideau, S., Winskel, G.: Concurrent strategies. In: Proc. LICS, pp. 409\u2013418. IEEE Computer Society (2011)","DOI":"10.1109\/LICS.2011.13"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Winskel, G.: Distributed probabilistic and quantum strategies. In: Proc. MFPS. ENTCS, vol. 298 (2013)","DOI":"10.1016\/j.entcs.2013.09.024"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Castellan, S., Clairambault, P., Winskel, G.: Symmetry in concurrent games. In: Proc. LICS (2014)","DOI":"10.1145\/2603088.2603141"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Asokan, N., Shoup, V., Waidner, M.: Asynchronous protocols for optimistic fair exchange. In: Proc. 1998 IEEE Symp. on Security and Privacy, pp. 86\u201399 (May 1998)","DOI":"10.1109\/SECPRI.1998.674826"},{"key":"9_CR9","unstructured":"Menezes, A., van Oorschot, P., Vanstone, S.: Handbook of Applied Cryptography. CRC Press (2001)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Even, S., Goldreich, O., Lempel, A.: A randomized protocol for signing contracts. Commun. ACM 28(6) (June 1985)","DOI":"10.1145\/3812.3818"},{"key":"9_CR11","unstructured":"Pagnia, H., G\u00e4rtner, F.C.: On the impossibility of fair exchange without a trusted third party. Technical report. Darmstadt University of Technology (1999)"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/3-540-17906-2_31","volume-title":"Petri Nets: Applications and Relationships to Other Models of Concurrency","author":"G Winskel","year":"1986","unstructured":"Winskel, G.: Event structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) Petri Nets: Applications and Relationships to Other Models of Concurrency. LNCS, vol. 255, pp. 325\u2013392. Springer, Heidelberg (1986)"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Clairambault, P., Gutierrez, J., Winskel, G.: The winning ways of concurrent games. In: Proc. LICS, IEEE (2012)","DOI":"10.1109\/LICS.2012.34"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1007\/BFb0012800","volume-title":"Automata, Languages and Programming","author":"G Winskel","year":"1982","unstructured":"Winskel, G.: Event structure semantics for CCS and related languages. In: Nielsen, M., Schmidt, E.M. (eds.) ICALP. LNCS, vol. 140, pp. 561\u2013576. Springer, Heidelberg (1982)"},{"issue":"2","key":"9_CR15","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D Dolev","year":"1983","unstructured":"Dolev, D., Yao, A.C.C.: On the security of public key protocols. IEEE Transactions on Information Theory 29(2), 198\u2013207 (1983)","journal-title":"IEEE Transactions on Information Theory"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Shmatikov, V., Mitchell, J.C.: Finite-state analysis of two contract signing protocols. TCS 283(2), (2002)","DOI":"10.1016\/S0304-3975(01)00141-4"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Chadha, R., Kanovich, M., Scedrov, A.: Inductive methods and contract-signing protocols. In: ACM Conference on Computer and Communications Security (2001)","DOI":"10.1145\/501983.502008"},{"key":"9_CR18","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":"JA Garay","year":"1999","unstructured":"Garay, J.A., Jakobsson, M., MacKenzie, P.D.: Abuse-free optimistic contract signing. In: Wiener, M. (ed.) CRYPTO 1999. LNCS, vol. 1666, p. 449. Springer, Heidelberg (1999)"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Castellan, S., Hayman, J., Winskel, G.: Strategies as concurrent processes. In: Proceedings of the 30th Conference on the Mathematical Foundations of Programmings Semantics (MFPS XXX), vol. 308, pp. 1\u2013328 (Ocotober 29, 2014)","DOI":"10.1016\/j.entcs.2014.10.006"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","volume-title":"PARLE \u201994 Parallel Architectures and Languages Europe","author":"K Takeuchi","year":"1994","unstructured":"Takeuchi, K., Honda, K., Kubo, M.: An interaction-based language and its typing. In: Halatsis, C., Philokyprou, G., Maritsas, D., Theodoridis, S. (eds.) PARLE 1994. LNCS, vol. 817. Springer, Heidelberg (1994)"}],"container-title":["Lecture Notes in Computer Science","Trustworthy Global Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45917-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T18:14:24Z","timestamp":1747246464000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-45917-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662459164","9783662459171"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45917-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"23 December 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}