{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:13:04Z","timestamp":1763467984822},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540206934"},{"type":"electronic","value":"9783540409816"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-40981-6_10","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T19:17:45Z","timestamp":1277234265000},"page":"97-114","source":"Crossref","is-referenced-by-count":19,"title":["Security Analysis of (Un-) Fair Non-repudiation Protocols"],"prefix":"10.1007","author":[{"given":"Sigrid","family":"G\u00fcrgens","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carsten","family":"Rudolph","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-44755-5_8","volume-title":"Proceedings of 14th International Conference on Theorem Proving in Higher Order Logic","author":"G. Bella","year":"2001","unstructured":"Bella, G., Paulson, L.: Mechanical proofs about a non-repudiation protocol. In: Proceedings of 14th International Conference on Theorem Proving in Higher Order Logic. LNCS, pp. 91\u2013104. Springer, Heidelberg (2001)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"G\u00fcrgens, S., Ochsenschl\u00e4ger, P., Rudolph, C.: Role based specification and security analysis of cryptographic protocols using asynchronous product automata. GMD Report 151, GMD \u2013 Forschungszentrum Informationstechnik GmbH (2001)","DOI":"10.1109\/DEXA.2002.1045943"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/3-540-45831-X_16","volume-title":"Infrastructure Security","author":"S. G\u00fcrgens","year":"2002","unstructured":"G\u00fcrgens, S., Ochsenschl\u00e4ger, P., Rudolph, C.: Authenticity and provability, a formal framework. In: Davida, G.I., Frankel, Y., Rees, O. (eds.) InfraSec 2002. LNCS, vol.\u00a02437, p. 227. Springer, Heidelberg (2002)"},{"key":"10_CR4","volume-title":"DEXA 2002 International Workshop on Trust and Privacy in Digital Business","author":"S. G\u00fcrgens","year":"2002","unstructured":"G\u00fcrgens, S., Ochsenschl\u00e4ger, P., Rudolph, C.: Role based specification and security analysis of cryptographic protocols using asynchronous product automata. In: DEXA 2002 International Workshop on Trust and Privacy in Digital Business, IEEE, Los Alamitos (2002)"},{"key":"10_CR5","unstructured":"Kim, K., Park, S., Baek, J.: Improving fairness and privacy of zhou-gollmann\u2019s fair non-repudiation protocol. In: Proceedings of 1999 ICPP Workshop on Security, pp. 140\u2013145 (1999)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1007\/3-540-44685-0_37","volume-title":"Proceedings of 12th International Conference on 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: Proceedings of 12th International Conference on Concurrency Theory. LNCS, pp. 551\u2013565. Springer, Heidelberg (2001)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/3-540-61042-1_43","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G. Lowe","year":"1996","unstructured":"Lowe, G.: Breaking and fixing the Needham-Schroeder public-key protocol using CSP and FDR. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol.\u00a01055, pp. 147\u2013166. Springer, Heidelberg (1996)"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1080\/095281300454829","volume":"12","author":"P. Ochsenschl\u00e4ger","year":"2000","unstructured":"Ochsenschl\u00e4ger, P., Repp, J., Rieke, R.: Abstraction and composition \u2013 a verification method for co-operating systems. Journal of Experimental and Theoretical Artificial Intelligence\u00a012, 447\u2013459 (2000)","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"key":"10_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s001650050033","volume":"11","author":"P. Ochsenschl\u00e4ger","year":"1999","unstructured":"Ochsenschl\u00e4ger, P., Repp, J., Rieke, R., Nitsche, U.: The SH-Verification Tool \u2013 Abstraction-Based Verification of Co-operating Systems. Formal Aspects of Computing, The Int. Journal of Formal Methods\u00a011, 1\u201324 (1999)","journal-title":"Formal Aspects of Computing, The Int. Journal of Formal Methods"},{"key":"10_CR10","unstructured":"Paulson, L.C.: Proving Properties of Security Protocols by Induction. Technical Report 409, Computer Laboratory, University of Cambridg (1996)"},{"key":"10_CR11","volume-title":"The modelling and Analysis of Security Protocols","author":"B. Roscoe","year":"2000","unstructured":"Roscoe, B., Ryan, P., Schneider, S., Goldsmith, M., Lowe, G.: The modelling and Analysis of Security Protocols. Addison Wesley, Reading (2000)"},{"key":"10_CR12","volume-title":"IEEE Computer Security Foundations Workshop","author":"S. Schneider","year":"1997","unstructured":"Schneider, S.: Verifying authentication protocols with CSP. In: IEEE Computer Security Foundations Workshop. IEEE, Los Alamitos (1997)"},{"key":"10_CR13","volume-title":"IEEE Computer Security Foundations Workshop","author":"S. Schneider","year":"1998","unstructured":"Schneider, S.: Formal Analysis of a non-repudiation Protocol. In: IEEE Computer Security Foundations Workshop. IEEE, Los Alamitos (1998)"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Syverson, P.F., van Oorschot, P.C.: On unifying some cryptographic protocol logics. In: IEEE Symposium on Security and Privacy, pp. 14\u201328 (May 1994)","DOI":"10.21236\/ADA465512"},{"key":"10_CR15","unstructured":"Zhou, J.: Non-repudiation in Electronic Commerce. Computer Security Series. Artech House (2001)"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/3-540-48970-3_21","volume-title":"Information Security and Privacy","author":"J. Zhou","year":"1999","unstructured":"Zhou, J., Deng, R., Bao, F.: Evolution of fair non-repudiation with TTP. In: Pieprzyk, J.P., Safavi-Naini, R., Seberry, J. (eds.) ACISP 1999. LNCS, vol.\u00a01587, pp. 258\u2013269. Springer, Heidelberg (1999)"},{"key":"10_CR17","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1109\/SECPRI.1996.502669","volume-title":"Proceedings of the 1996 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 1996 IEEE Symposium on Research in Security and Privacy, Oakland, CA, pp. 55\u201361. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Zhou, J., Gollmann, D.: An efficient non-repudiation protocol. In: Proceedings of 10th IEEE Computer Security Foundations Workshop, pp. 126\u2013132 (1997)","DOI":"10.1109\/CSFW.1997.596801"},{"key":"10_CR19","unstructured":"Zhou, J., Gollmann, D.: Towards verification of non-repudiation protocols. In: Proceedings of 1998 International Refinement Workshop and Formal Methods Pacific, pp. 370\u2013380 (1998)"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40981-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,30]],"date-time":"2021-10-30T00:01:23Z","timestamp":1635552083000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40981-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540206934","9783540409816"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40981-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}