{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:24:10Z","timestamp":1743049450641,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642299629"},{"type":"electronic","value":"9783642299636"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29963-6_10","type":"book-chapter","created":{"date-parts":[[2012,4,28]],"date-time":"2012-04-28T12:06:00Z","timestamp":1335614760000},"page":"122-139","source":"Crossref","is-referenced-by-count":7,"title":["Fairness in Non-Repudiation Protocols"],"prefix":"10.1007","author":[{"given":"Wojciech","family":"Jamroga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sjouke","family":"Mauw","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthijs","family":"Melissen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Roscoe, A.: Intensional Specifications of Security Protocols. In: Proc. CSFW 1996, pp. 28\u201338. IEEE (1996)","DOI":"10.1109\/CSFW.1996.503688"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1109\/CSFW.1997.596782","volume-title":"10th Computer Security Foundations Workshop (CSFW 1997)","author":"G. Lowe","year":"1997","unstructured":"Lowe, G.: A hierarchy of authentication specifications. In: 10th Computer Security Foundations Workshop (CSFW 1997), June 10-12, pp. 31\u201344. IEEE Computer Society, Rockport (1997)"},{"key":"10_CR3","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.tcs.2006.08.034","volume":"367","author":"C. Cremers","year":"2006","unstructured":"Cremers, C., Mauw, S., de Vink, E.: Injective synchronisation: an extension of the authentication hierarchy. Theoretical Computer Science\u00a0367, 139\u2013161 (2006); Special issue on ARSPA 2005, (P. Degano and L. Vigan\u00f2, eds.)","journal-title":"Theoretical Computer Science"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Benaloh, J., Tuinstra, D.: Receipt-free secret ballot elections (extended abstract). In: Proc. 26th ACM Symposium on the Theory of Computing (STOC), pp. 544\u2013553. ACM (1994)","DOI":"10.1145\/195058.195407"},{"key":"10_CR5","volume-title":"Proceedings of the 19th IEEE Computer Security Foundations Workshop (CSFW 2006)","author":"S. Delaune","year":"2006","unstructured":"Delaune, S., Kremer, S., Ryan, M.: Coercion-resistance and receipt-freeness in electronic voting. In: Proceedings of the 19th IEEE Computer Security Foundations Workshop (CSFW 2006). IEEE Computer Society Press, Venice (2006)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1007\/978-3-642-04444-1_39","volume-title":"Computer Security \u2013 ESORICS 2009","author":"T. Deursen van","year":"2009","unstructured":"van Deursen, T., Mauw, S., Radomirovi\u0107, S., Vullers, P.: Secure Ownership and Ownership Transfer in RFID Systems. In: Backes, M., Ning, P. (eds.) ESORICS 2009. LNCS, vol.\u00a05789, pp. 637\u2013654. Springer, Heidelberg (2009)"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Asokan, N., Shoup, V., Waidner, M.: Asynchronous Protocols for Optimistic Fair Exchange. In: Proc. of the IEEE Symp. in Security and Privacy, pp. 86\u201399 (1998)","DOI":"10.1109\/SECPRI.1998.674826"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R. Alur","year":"2002","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM\u00a049, 672\u2013713 (2002)","journal-title":"Journal of the ACM"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/BFb0028774","volume-title":"Computer Aided Verification","author":"R. Alur","year":"1998","unstructured":"Alur, R., Henzinger, T., Mang, F., Qadeer, S., Rajamani, S., Tasiran, S.: MOCHA: Modularity in Model Checking. In: Vardi, M.Y. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 521\u2013525. Springer, Heidelberg (1998)"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/s10817-005-9019-5","volume":"36","author":"R. Chadha","year":"2006","unstructured":"Chadha, R., Kremer, S., Scedrov, A.: Formal Analysis of Multiparty Contract Signing. Journal of Automated Reasoning\u00a036, 39\u201383 (2006)","journal-title":"Journal of Automated Reasoning"},{"key":"10_CR11","unstructured":"Dashti, M.T.: Keeping Fairness Alive. PhD thesis, Vrije Universiteit, Amsterdam (2008)"},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/18.50372","volume":"T-36","author":"M. Ben-Or","year":"1990","unstructured":"Ben-Or, M., Goldreich, O., Micali, S., Rivest, R.: A fair protocol for signing contracts. IEEE Transactions on Information Theory\u00a0T-36, 40\u201346 (1990)","journal-title":"IEEE Transactions on Information Theory"},{"key":"10_CR13","unstructured":"Even, S., Yacobi, Y.: Relations among public key signature systems (1980)"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Ezhilchelvan, P.D., Shrivastava, S.K.: Systematic Development of a Family of Fair Exchange Protocols. In: Proc. of the 17th Annual IFIP WG 11.3 Working Conference on Database and Applications Security, pp. 243\u2013258. Kluwer Academic Press (2003)","DOI":"10.1007\/1-4020-8070-0_18"},{"key":"10_CR15","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/S0167-9236(00)00141-X","volume":"31","author":"P. Liu","year":"2001","unstructured":"Liu, P.: Avoiding loss of fairness owing to failures in fair data exchange systems. Decision Support Systems\u00a031, 337\u2013350 (2001)","journal-title":"Decision Support Systems"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Kremer, S., Raskin, J.F.: A game-based verification of non-repudiation and fair exchange protocols. Journal of Computer Security\u00a011 (2003)","DOI":"10.3233\/JCS-2003-11307"},{"key":"10_CR17","first-page":"185","volume":"63","author":"W. Jamroga","year":"2004","unstructured":"Jamroga, W., van der Hoek, W.: Agents that know how to play. Fundamenta Informaticae\u00a063, 185\u2013219 (2004)","journal-title":"Fundamenta Informaticae"},{"key":"10_CR18","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1016\/S1571-0661(05)82604-0","volume":"85","author":"P.Y. Schobbens","year":"2004","unstructured":"Schobbens, P.Y.: Alternating-time logic with imperfect recall. Electronic Notes in Theoretical Computer Science\u00a085, 82\u201393 (2004)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"10_CR19","unstructured":"Jamroga, W., Bulling, N.: Comparing variants of strategic ability. In: Proceedings of EUMAS 2010 (2010)"},{"key":"10_CR20","unstructured":"Zhou, J., Gollmann, D.: An efficient non-repudiation protocol. In: Proceedings 10th Computer Security Foundations Workshop, pp. 126\u2013132 (1997)"},{"key":"10_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/3-540-45247-8_9","volume-title":"Information Security and Cryptology - ICISC 2000","author":"O. Markowitch","year":"2001","unstructured":"Markowitch, O., Kremer, S.: A Multi-Party Optimistic Non-Repudiation Protocol. In: Won, D. (ed.) ICISC 2000. LNCS, vol.\u00a02015, pp. 109\u2013122. Springer, Heidelberg (2001)"},{"key":"10_CR22","unstructured":"Kremer, S., Markowitch, O.: Optimistic non-repudiable information exchange. In: Biemond, J. (ed.) 21th Symp. on Information Theory in the Benelux, Werkgemeenschap Informatie- en Communicatietheorie, Enschede, pp. 139\u2013146 (2000)"},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"Garay, J., MacKenzie, P.: Abuse-free multi-party contract signing. Distributed Computing, 846\u2013846 (1999)","DOI":"10.1007\/3-540-48169-9_11"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Liu, Z., Pang, J., Zhang, C.: Verification of A Key Chain Based TTP Transparent CEM Protocol. UNU-IIST 60 (2010)","DOI":"10.1016\/j.entcs.2011.07.006"},{"key":"10_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/978-3-642-12459-4_14","volume-title":"Formal Aspects in Security and Trust","author":"Y. Zhang","year":"2010","unstructured":"Zhang, Y., Zhang, C., Pang, J., Mauw, S.: Game-Based Verification of Multi-Party Contract Signing Protocols. In: Degano, P., Guttman, J.D. (eds.) FAST 2009. LNCS, vol.\u00a05983, pp. 186\u2013200. Springer, Heidelberg (2010)"},{"key":"10_CR26","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1016\/j.ic.2007.07.007","volume":"206","author":"A. Mukhamedov","year":"2008","unstructured":"Mukhamedov, A., Ryan, M.: Fair multi-party contract signing using private contract signatures. Information and Computation\u00a0206, 272\u2013290 (2008)","journal-title":"Information and Computation"},{"key":"10_CR27","doi-asserted-by":"crossref","unstructured":"Mauw, S., Radomirovic, S., Dashti, M.T.: Minimal Message Complexity of Asynchronous Multi-party Contract Signing. IEEE (2009)","DOI":"10.1109\/CSF.2009.15"},{"key":"10_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"682","DOI":"10.1007\/978-3-642-02658-4_55","volume-title":"Computer Aided Verification","author":"A. Lomuscio","year":"2009","unstructured":"Lomuscio, A., Qu, H., Raimondi, F.: MCMAS: A Model Checker for the Verification of Multi-Agent Systems. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 682\u2013688. Springer, Heidelberg (2009)"},{"key":"10_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/978-3-642-00768-2_7","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"D. Berwanger","year":"2009","unstructured":"Berwanger, D., Chatterjee, K., De Wulf, M., Doyen, L., Henzinger, T.A.: Alpaga: A Tool for Solving Parity Games with Imperfect Information. In: Kowalewski, S., Philippou, A. (eds.) TACAS 2009. LNCS, vol.\u00a05505, pp. 58\u201361. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Security and Trust Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29963-6_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T21:54:15Z","timestamp":1743026055000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29963-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642299629","9783642299636"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29963-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}