{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T03:16:23Z","timestamp":1783480583063,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540723530","type":"print"},{"value":"9783540723547","type":"electronic"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-72354-7_8","type":"book-chapter","created":{"date-parts":[[2007,7,2]],"date-time":"2007-07-02T20:43:37Z","timestamp":1183409017000},"page":"90-101","source":"Crossref","is-referenced-by-count":4,"title":["Optimistic Non-repudiation Protocol Analysis"],"prefix":"10.1007","author":[{"given":"Judson","family":"Santiago","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Laurent","family":"Vigneron","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/11513988_27","volume-title":"Computer Aided Verification","author":"A. Armando","year":"2005","unstructured":"Armando, A., et al.: The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 281\u2013285. Springer, Heidelberg (2005)"},{"key":"8_CR2","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":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/11602897_3","volume-title":"Information and Communications Security","author":"R. Corin","year":"2005","unstructured":"Corin, R., Cederquist, J., Dashti, M.T.: On the Quest for Impartiality: Design and Analysis of a Fair Non-repudiation Protocol. In: Qing, S., et al. (eds.) ICICS 2005. LNCS, vol.\u00a03783, pp. 27\u201339. Springer, Heidelberg (2005)"},{"key":"8_CR4","unstructured":"Chevalier, Y., et al.: A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols. In: Automated Software Engineering. Proceedings of the Workshop on Specification and Automated Processing of Security Requirements, SAPS\u201904, September 2004, pp. 193\u2013205. Austrian Computer Society (2004)"},{"key":"8_CR5","first-page":"373","volume-title":"16th IEEE International Conference on Automated Software Engineering (ASE 2001)","author":"Y. Chevalier","year":"2001","unstructured":"Chevalier, Y., Vigneron, L.: A Tool for Lazy Verification of Security Protocols. In: 16th IEEE International Conference on Automated Software Engineering (ASE 2001), San Diego, CA, USA, pp. 373\u2013376. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"8_CR6","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":"8_CR7","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 Fair Non-repudiation Protocols. Computer Communications Journal\u00a025(17), 1606\u20131621 (2002)","journal-title":"Computer Communications Journal"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/3-540-45439-X_25","volume-title":"Information Security","author":"O. Markowitch","year":"2001","unstructured":"Markowitch, O., Kremer, S.: An Optimistic Non-repudiation Protocol with Transparent Trusted Third Party. In: Davida, G.I., Frankel, Y. (eds.) ISC 2001. LNCS, vol.\u00a02200, pp. 363\u2013378. Springer, Heidelberg (2001)"},{"key":"8_CR9","unstructured":"Markowitch, O., Roggeman, Y.: Probabilistic Non-Repudiation without Trusted Third Party. In: Second Workshop on Security in Communication Networks\u201999, Amalfi, Italy (1999)"},{"key":"8_CR10","unstructured":"Pagnia, H., G\u00e4rtner, F.C.: On the Impossibility of Fair Exchange without a Trusted Third Party. Technical Report TUD-BS-1999-02, Darmstadt University of Technology, Darmstadt, Germany(1999)"},{"key":"8_CR11","volume-title":"Modelling & Analysis of Security Protocols","author":"P. Ryan","year":"2000","unstructured":"Ryan, P., et al.: Modelling & Analysis of Security Protocols. Addison-Wesley, Reading (2000)"},{"key":"8_CR12","unstructured":"Santiago, J., Vigneron, L.: Automatically Analysing Non-repudiation with Authentication. In: Proceedings of 3rd Taiwanese-French Conference on Information Technology (TFIT), Nancy, France, March 2006, pp. 541\u2013554 (2006)"},{"key":"8_CR13","first-page":"54","volume-title":"Proceedings of The 11th Computer Security Foundations Workshop","author":"S. Schneider","year":"1998","unstructured":"Schneider, S.: Formal Analysis of a Non-Repudiation Protocol. In: Proceedings of The 11th Computer Security Foundations Workshop, pp. 54\u201365. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/3-540-45472-1_13","volume-title":"Financial Cryptography","author":"V. Shmatikov","year":"2001","unstructured":"Shmatikov, V., Mitchell, J.C.: Analysis of Abuse-Free Contract Signing. In: Frankel, Y. (ed.) FC 2000. LNCS, vol.\u00a01962, pp. 174\u2013191. Springer, Heidelberg (2001)"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/11805618_21","volume-title":"Term Rewriting and Applications","author":"M. Turuani","year":"2006","unstructured":"Turuani, M.: The CL-Atse Protocol Analyser. In: Pfenning, F. (ed.) RTA 2006. LNCS, vol.\u00a04098, pp. 277\u2013286. Springer, Heidelberg (2006)"},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/SECPRI.1996.502669","volume-title":"1996 IEEE Symposium on Security and Privacy","author":"J. Zhou","year":"1996","unstructured":"Zhou, J., Gollmann, D.: A Fair Non-repudiation Protocol. In: 1996 IEEE Symposium on Security and Privacy, Oakland, CA, USA, pp. 55\u201361. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"8_CR17","unstructured":"Zhou, J., Gollmann, D.: Towards verification of non-repudiation protocols. In: Proceedings of 1998 International Refinement Workshop and Formal Methods Pacific, Canberra, Australia, September 1998, pp. 370\u2013380 (1998)"}],"container-title":["Lecture Notes in Computer Science","Information Security Theory and Practices. Smart Cards, Mobile and Ubiquitous Computing Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72354-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T11:45:18Z","timestamp":1550403918000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72354-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540723530","9783540723547"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72354-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007]]}}}