{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T19:02:54Z","timestamp":1771700574417,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540309345","type":"print"},{"value":"9783540320999","type":"electronic"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11602897_3","type":"book-chapter","created":{"date-parts":[[2005,11,17]],"date-time":"2005-11-17T05:31:17Z","timestamp":1132205477000},"page":"27-39","source":"Crossref","is-referenced-by-count":9,"title":["On the Quest for Impartiality: Design and Analysis of a Fair Non-repudiation Protocol"],"prefix":"10.1007","author":[{"given":"J.","family":"Cederquist","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Corin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. Torabi","family":"Dashti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Asokan, N.: Fairness in electronic commerce. PhD thesis, University of Waterloo (1998)"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1145\/266420.266426","volume-title":"4th ACM Conference on Computer and Communications Security","author":"N. Asokan","year":"1997","unstructured":"Asokan, N., Schunter, M., Waidner, M.: Optimistic protocols for fair exchange. In: 4th ACM Conference on Computer and Communications Security, pp. 7\u201317. ACM Press, New York (1997)"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-44755-5_8","volume-title":"Theorem Proving in Higher Order Logics","author":"G. Bella","year":"2001","unstructured":"Bella, G., Paulson, L.C.: Mechanical proofs about a non-repudiation protocol. In: Boulton, R.J., Jackson, P.B. (eds.) TPHOLs 2001. LNCS, vol.\u00a02152, pp. 91\u2013104. Springer, Heidelberg (2001)"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/3-540-44456-4_16","volume-title":"Information Security","author":"C. Boyd","year":"2000","unstructured":"Boyd, C., Kearney, P.: Exploring fair exchange protocols using specification animation. In: Okamoto, E., Pieprzyk, J.P., Seberry, J. (eds.) ISW 2000. LNCS, vol.\u00a01975, pp. 209\u2013223. Springer, Heidelberg (2000)"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Cederquist, J., Corin, R., Torabi Dashti, M.: On the quest for impartiality: Design and analysis of a fair non-repudiation protocol (extended version). Technical Report TR-CTIT-05-32, University of Twente, The Netherlands (2005)","DOI":"10.1007\/11602897_3"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Cederquist, J., Torabi Dashti, M.: An intruder model for verifying termination in security protocols. Technical Report TR-CTIT-05-29, University of Twente, Enschede, The Netherlands (2005)","DOI":"10.1145\/1180337.1180340"},{"key":"3_CR7","first-page":"16","volume-title":"LICS 2001","author":"I. Cervesato","year":"2001","unstructured":"Cervesato, I.: The Dolev-Yao Intruder is the Most Powerful Attacker. In: Halpern, J. (ed.) LICS 2001, Boston, MA, June 16\u201319, pp. 16\u201319. IEEE Computer Society Press, Los Alamitos (2001)"},{"issue":"2","key":"3_CR8","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"IT-29","author":"D. Dolev","year":"1983","unstructured":"Dolev, D., Yao, A.C.: On the security of public key protocols. IEEE Transactions on Information Theory\u00a0IT-29(2), 198\u2013208 (1983)","journal-title":"IEEE Transactions on Information Theory"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/3-540-61474-5_97","volume-title":"Computer Aided Verification","author":"J.-C. Fernandez","year":"1996","unstructured":"Fernandez, J.-C., Garavel, H., Kerbrat, A., Mateescu, R., Mounier, L., Sighireanu, M.: CADP: A protocol validation and verification toolbox. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 437\u2013440. Springer, Heidelberg (1996)"},{"key":"3_CR10","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1007\/3-540-45811-5_16","volume-title":"Proceedings of the 5th International Conference on Information Security","author":"J. Ferrer-Gomila","year":"2002","unstructured":"Ferrer-Gomila, J., Payeras-Capella, M., Huguet i Rotger, L.: A realistic protocol for multi-party certified electronic mail. In: Proceedings of the 5th International Conference on Information Security, UK, pp. 210\u2013219. Springer, Heidelberg (2002)"},{"key":"3_CR11","unstructured":"Ferrer-Gomila, J.L., Rotger, L.H.: An efficient asynchronous protocol for optimistic certified mail. In: International Workshop on Cryptographic Techniques and E-Commerce (Cryptec) (1999)"},{"key":"3_CR12","series-title":"Workshops in Computing Series","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1007\/978-1-4471-2120-6_2","volume-title":"Algebra of Communicating Processes 1994","author":"J.F. Groote","year":"1995","unstructured":"Groote, J.F., Ponse, A.: The syntax and semantics of \u03bcCRL. In: Ponse, A., Verhoef, C., van Vlijmen, S.F.M. (eds.) Algebra of Communicating Processes 1994. Workshops in Computing Series, pp. 26\u201362. Springer, Heidelberg (1995)"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/10958513_15","volume-title":"Information Security","author":"S. G\u00fcrgens","year":"2003","unstructured":"G\u00fcrgens, S., Rudolph, C., Vogt, H.: On the security of fair non-repudiation protocols. In: Boyd, C., Mao, W. (eds.) ISC 2003. LNCS, vol.\u00a02851, pp. 193\u2013207. Springer, Heidelberg (2003)"},{"issue":"17","key":"3_CR14","doi-asserted-by":"publisher","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 non-repudiation protocols. Computer Communications\u00a025(17), 1606\u20131621 (2002)","journal-title":"Computer Communications"},{"key":"3_CR15","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.: 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)"},{"issue":"3","key":"3_CR16","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/S0167-6423(02)00094-1","volume":"46","author":"R. Mateescu","year":"2003","unstructured":"Mateescu, R., Sighireanu, M.: Efficient on-the-fly model-checking for regular alternation-free mu-calculus. Sci. Comput. Program.\u00a046(3), 255\u2013281 (2003)","journal-title":"Sci. Comput. Program."},{"issue":"2","key":"3_CR17","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/JSAC.2002.806125","volume":"21","author":"C. Meadows","year":"2003","unstructured":"Meadows, C.: Formal methods for cryptographic protocol analysis: Emerging issues and trends. IEEE Journal on Selected Areas in Communication\u00a021(2), 44\u201354 (2003)","journal-title":"IEEE Journal on Selected Areas in Communication"},{"key":"3_CR18","unstructured":"Pagnia, H., G\u00e4rtner, F.C.: On the impossibility of fair exchange without a trused third party. Technical Report TUD-BS-1999-02, Darmstadt University (1999)"},{"issue":"2","key":"3_CR19","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1016\/S0304-3975(01)00141-4","volume":"283","author":"V. Shmatikov","year":"2002","unstructured":"Shmatikov, V., Mitchell, J.C.: Finite-state analysis of two contract signing protocols. Theoretical Computer Science\u00a0283(2), 419\u2013450 (2002)","journal-title":"Theoretical Computer Science"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-540-30191-2_4","volume-title":"Information and Communications Security","author":"J. Zhou","year":"2004","unstructured":"Zhou, J.: On the security of a multi-party certified email protocol. In: L\u00f3pez, J., Qing, S., Okamoto, E. (eds.) ICICS 2004. LNCS, vol.\u00a03269, pp. 40\u201352. Springer, Heidelberg (2004)"},{"key":"3_CR21","first-page":"55","volume-title":"Proceedings of the IEEE Symposium on Research in Security and Privacy","author":"J. Zhou","year":"1996","unstructured":"Zhou, J., Gollmann, D.: A fair non-repudiation protocol. In: Proceedings of the IEEE Symposium on Research in Security and Privacy, Oakland, CA, pp. 55\u201361. IEEE Computer Society Press, Los Alamitos (1996)"}],"container-title":["Lecture Notes in Computer Science","Information and Communications Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11602897_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,25]],"date-time":"2019-08-25T20:14:32Z","timestamp":1566764072000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11602897_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540309345","9783540320999"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11602897_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}