{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:56:23Z","timestamp":1742399783939,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540407539"},{"type":"electronic","value":"9783540451877"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45187-7_24","type":"book-chapter","created":{"date-parts":[[2010,6,25]],"date-time":"2010-06-25T22:38:49Z","timestamp":1277505529000},"page":"366-382","source":"Crossref","is-referenced-by-count":17,"title":["Contract Signing, Optimism, and Advantage"],"prefix":"10.1007","author":[{"given":"Rohit","family":"Chadha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John C.","family":"Mitchell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andre","family":"Scedrov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vitaly","family":"Shmatikov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1998.2740","volume":"143","author":"M. Abadi","year":"1999","unstructured":"Abadi, M.: andA. Gordon.Acalculus for cryptographic protocols: the spi-calculus. Information and Computation\u00a0143, 1\u201370 (1999)","journal-title":"Information and Computation"},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"Asokan, N., Schunter, M., Waidner, M.: Optimistic protocols for fair exchange. In: Proc. 4th ACM Conf. on Computer and Communications Security, pp. 7\u201317 (1997)","DOI":"10.1145\/266420.266426"},{"issue":"4","key":"24_CR3","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1109\/49.839935","volume":"18","author":"N. Asokan","year":"2000","unstructured":"Asokan, N., Shoup, V., Waidner, M.: Optimistic fair exchange of digital signatures. IEEE Journal on Selected Areas in Communications\u00a018(4), 593\u2013610 (2000)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"issue":"1","key":"24_CR4","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1145\/151233.151242","volume":"36","author":"J. Banatre","year":"1993","unstructured":"Banatre, J., Le Metayer, D.: Computing by multiset transformation. Communications of the ACM (CACM)\u00a036(1), 98\u2013111 (1993)","journal-title":"Communications of the ACM (CACM)"},{"issue":"1","key":"24_CR5","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/18.50372","volume":"36","author":"M. Ben-Or","year":"1990","unstructured":"Ben-Or, M., Goldreich, O., Micali, S., Rivest, R.L.: A fair protocol for signing contracts. IEEE Transactions on Information Theory\u00a036(1), 40\u201346 (1990)","journal-title":"IEEE Transactions on Information Theory"},{"issue":"1","key":"24_CR6","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","volume":"96","author":"G. Berry","year":"1992","unstructured":"Berry, G., Boudol, D.: The chemical abstract machine. Theoretical Computer Science\u00a096(1), 217\u2013248 (1992)","journal-title":"Theoretical Computer Science"},{"key":"24_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/3-540-44598-6_15","volume-title":"Advances in Cryptology - CRYPTO 2000","author":"D. Boneh","year":"2000","unstructured":"Boneh, D., Naor, M.: Timed commitments and applications. In: Bellare, M. (ed.) CRYPTO 2000. LNCS, vol.\u00a01880, pp. 236\u2013254. Springer, Heidelberg (2000)"},{"key":"24_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/3-540-49649-1_22","volume-title":"Advances in Cryptology - ASIACRYPT\u201998","author":"C. Boyd","year":"1998","unstructured":"Boyd, C., Foo, E.: Off-line fair payment protocols using convertible signatures. In: Ohta, K., Pei, D. (eds.) ASIACRYPT 1998. LNCS, vol.\u00a01514, pp. 271\u2013285. Springer, Heidelberg (1998)"},{"key":"24_CR9","unstructured":"Butty\u00e1n, L., Hubaux, J.-P.: Toward a formal model of fair exchange \u2014 a game theoretic approach. Technical Report SSC\/1999\/39, Swiss Federal Institute of Technology (EPFL), Lausanne, Switzerland (December 1999)"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Cervesato, I., Durgin, N., Lincoln, P.D., Mitchell, J.C., Scedrov, A.: A meta-notation for protocol analysis. In: Proc. 12th IEEE Computer Security Foundations Workshop, pp. 55\u201369 (1999)","DOI":"10.1109\/CSFW.1999.779762"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Chadha, R., Kanovich, M., Scedrov, A.: Inductive methods and contract signing protocols. In: Proc. 8th ACM Conf. on Computer and Communications Security, pp. 176\u2013185 (2001)","DOI":"10.1145\/501983.502008"},{"issue":"4","key":"24_CR12","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/BF00191356","volume":"8","author":"I.B. Damg\u00e5rd","year":"1995","unstructured":"Damg\u00e5rd, I.B.: Practical and provably secure release of a secret and exchange of signatures. J. Cryptology\u00a08(4), 201\u2013222 (1995)","journal-title":"J. Cryptology"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Dolev, D., Yao, A.: On the security of public-key protocols. In: Proc. 22nd Annual IEEE Symposium on Foundations of Computer Science, pp. 350\u2013357 (1981)","DOI":"10.1109\/SFCS.1981.32"},{"key":"24_CR14","unstructured":"Even, S., Yacobi, Y.: Relations among public key signature schemes. Technical Report 175, Computer Science Dept. Technion, Israel (March 1980)"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"Thayer F\u00e1brega, F.J., Herzog, J., Guttman, J.: Strand spaces: Why is a security protocol correct? In: Proc. IEEE Symposium on Security and Privacy, pp. 160\u2013171 (1998)","DOI":"10.21236\/ADA459060"},{"key":"24_CR16","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge. MIT Press, Cambridge (1995)"},{"issue":"2","key":"24_CR17","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/3149.214121","volume":"32","author":"M. Fischer","year":"1985","unstructured":"Fischer, M., Lynch, N., Patterson, M.: Impossibility of distributed consensus with one faulty process. JACM\u00a032(2), 374\u2013382 (1985)","journal-title":"JACM"},{"key":"24_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/3-540-48405-1_29","volume-title":"Advances in Cryptology - CRYPTO \u201999","author":"J. Garay","year":"1999","unstructured":"Garay, J., Jakobsson, M., MacKenzie, P.: Abuse-free optimistic contract signing. In: Wiener, M. (ed.) CRYPTO 1999. LNCS, vol.\u00a01666, pp. 449\u2013466. Springer, Heidelberg (1999)"},{"key":"24_CR19","unstructured":"Hintikka, J.: Knowledge and Belief. Cornell University Press (1962)"},{"key":"24_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/3-540-44685-0_37","volume-title":"CONCUR 2001 - Concurrency Theory","author":"S. Kremer","year":"2001","unstructured":"Kremer, S., Raskin, J.-F.: A game-based verification of non-repudiation and fair exchange protocols. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 551\u2013565. Springer, Heidelberg (2001)"},{"key":"24_CR21","doi-asserted-by":"crossref","unstructured":"Kremer, S., Raskin, J.-F.: Game analysis of abuse-free contract signing. In: Proc. 15th IEEE Computer Security Foundations Workshop, pp. 206\u2013220 (2002)","DOI":"10.1109\/CSFW.2002.1021817"},{"key":"24_CR22","doi-asserted-by":"crossref","unstructured":"Pucella, R., Halpern, J.: Modeling adversaries in a logic for security protocol analysis. In: Abdallah, A.E., Ryan, P.Y.A., Schneider, S. (eds.) FASec 2002. LNCS, vol.\u00a02629. Springer, Heidelberg (2003)","DOI":"10.1007\/978-3-540-40981-6_11"},{"key":"24_CR23","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/3-540-46088-8_26","volume-title":"Financial Cryptography","author":"Olivier Markowitch","year":"2002","unstructured":"Markowitch, O., Saeednia, S.: Optimistic fair exchange with transparent signature recovery. In: Proc. 5th International Conf. on Financial Cryptography, pp. 339\u2013350 (2001)"},{"key":"24_CR24","unstructured":"Pagnia, H., Gaertner, F.: On the impossibility of fair exchange without a trusted third party. Technical Report TUD-BS-1999-02, Department of Computer Science, Darmstadt University of Technology, Germany (March 1999)"},{"key":"24_CR25","doi-asserted-by":"crossref","unstructured":"Woo, T.Y.C., Lam, S.S.: A semantic model for authentication protocols. In: Proc. IEEE Symposium on Security and Privacy, pp. 178\u2013194 (1993)","DOI":"10.1109\/RISP.1993.287633"},{"key":"24_CR26","unstructured":"Zhou, J., Gollmann, D.: A fair non-repudiation protocol. In: Proc. IEEE Symposium on Security and Privacy, pp. 55\u201361 (1996)"},{"key":"24_CR27","unstructured":"Zhou, J., Gollmann, D.: Towards verification of non-repudiation protocols. In: Proc. International Refinement Workshop and Formal Methods Pacific, pp. 370\u2013380 (1998)"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2003 - Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45187-7_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T07:57:29Z","timestamp":1740211049000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45187-7_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540407539","9783540451877"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45187-7_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}