{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:58:13Z","timestamp":1725494293134},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540755951"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75596-8_36","type":"book-chapter","created":{"date-parts":[[2007,11,3]],"date-time":"2007-11-03T14:03:37Z","timestamp":1194098617000},"page":"511-522","source":"Crossref","is-referenced-by-count":2,"title":["On-the-Fly Model Checking of Fair Non-repudiation Protocols"],"prefix":"10.1007","author":[{"given":"Guoqiang","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mizuhito","family":"Ogawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"36_CR1","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/266420.266432","volume-title":"Proceedings of the CCS 1997","author":"M. Abadi","year":"1997","unstructured":"Abadi, M., Gordon, A.D.: A Calculus for Cryptographic Protocols: The Spi Calculus. In: Proceedings of the CCS 1997, pp. 36\u201347. ACM Press, New York (1997)"},{"key":"36_CR2","unstructured":"Bella, G.: Inductive Verification of Cryptographic Protocols. PhD thesis, University of Cambridge (2000)"},{"key":"36_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1007\/3-540-48224-5_55","volume-title":"ICALP 2001","author":"M. Boreale","year":"2001","unstructured":"Boreale, M.: Symbolic Trace Analysis of Cryptographic Protocols. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol.\u00a02076, pp. 667\u2013681. Springer, Heidelberg (2001)"},{"issue":"3","key":"36_CR4","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/s10207-004-0055-7","volume":"4","author":"D. Basin","year":"2005","unstructured":"Basin, D., M\u00f6dersheim, S., Vigan\u00f2, L.: OFMC: A Symbolic Model Checker for Security Protocols. International J. of Information Security\u00a04(3), 181\u2013208 (2005)","journal-title":"International J. of Information Security"},{"key":"36_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/3-540-45807-7_19","volume-title":"SPW 2001","author":"G. Bella","year":"2002","unstructured":"Bella, G., Paulson, L.C.: A Proof of Non-repudiation. In: Christianson, B., Crispo, B., Malcolm, J.A., Roe, M. (eds.) SPW 2001. LNCS, vol.\u00a02467, pp. 119\u2013125. Springer, Heidelberg (2002)"},{"key":"36_CR6","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincolnand, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: Maude Manual (2005), \n                    \n                      http:\/\/maude.cs.uiuc.edu\/maude2-manual\/"},{"key":"36_CR7","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D. Dolev","year":"1983","unstructured":"Dolev, D., Yao, A.C.: On the Security of Public Key Protocols. IEEE Trans. on Information Theory\u00a029, 198\u2013208 (1983)","journal-title":"IEEE Trans. on Information Theory"},{"key":"36_CR8","unstructured":"ISO\/IEC13888: Information Technology - Security Techniques - Non-repuduation - Part 1\u2013Part 3 (1997)"},{"key":"36_CR9","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\u00a025, 1606\u20131621 (2002)","journal-title":"Computer Communications"},{"key":"36_CR10","doi-asserted-by":"crossref","unstructured":"K\u00e4ehler, D., K\u00fcesters, R., Truderung, T.: Infinite State AMC-Model Checking for Cryptographic Protocols. In: Proceedings of the LICS 2007\u00a0 (2007)","DOI":"10.1109\/LICS.2007.26"},{"key":"36_CR11","unstructured":"Kremer, S.: Formal Analysis of Optimistic Fair Exchange Protocols. PhD thesis, Universite Libre de Bruxelles (2003)"},{"key":"36_CR12","unstructured":"Li, G., Ogawa, M.: On-the-fly Model Checking of Security Protocols and Its Implementation by Maude. IPSJ Trans. on Programming 48 (SIG 10) 50\u201375 (2007)"},{"key":"36_CR13","unstructured":"Li, G., Ogawa, M.: On-the-fly Model Checking of Fair Non-repudiation Protocols (extended version) (2007), \n                    \n                      http:\/\/www.jaist.ac.jp\/~guoqiang\/Fullnon.pdf"},{"key":"36_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/3-540-61042-1_43","volume-title":"TACAS 1996","author":"G. Lowe","year":"1996","unstructured":"Lowe, G.: Breaking and Fixing the Needham-Schroeder Public-key Using FDR. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol.\u00a01055, pp. 147\u2013166. Springer, Heidelberg (1996)"},{"key":"36_CR15","first-page":"162","volume-title":"Proceedings of the CSFW 1996","author":"G. Lowe","year":"1996","unstructured":"Lowe, G.: Some New Attacks upon Security Protocols. In: Proceedings of the CSFW 1996, pp. 162\u2013169. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"36_CR16","doi-asserted-by":"crossref","first-page":"85","DOI":"10.3233\/JCS-1998-61-205","volume":"6","author":"L.C. Paulson","year":"1998","unstructured":"Paulson, L.C.: The Inductive Approach to Verifying Cryptographic Protocols. J. of Computer Security\u00a06, 85\u2013128 (1998)","journal-title":"J. of Computer Security"},{"key":"36_CR17","first-page":"54","volume-title":"Proceedings of the CSFW 1998","author":"S. Schneider","year":"1998","unstructured":"Schneider, S.: Formal Analysis of a Non-repudiation Protocol. In: Proceedings of the CSFW 1998, pp. 54\u201365. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"36_CR18","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, 419\u2013450 (2002)","journal-title":"Theoretical Computer Science"},{"key":"36_CR19","first-page":"55","volume-title":"Proceedings of the S&P 1996","author":"J. Zhou","year":"1996","unstructured":"Zhou, J., Gollmann, D.: A Fair Non-repudiation Protocol. In: Proceedings of the S&P 1996, pp. 55\u201361. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"36_CR20","first-page":"370","volume-title":"Proceedings of 1998 International Refinement Workshop and Formal Methods Pacific","author":"J. Zhou","year":"1998","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. Springer, Heidelberg (1998)"},{"key":"36_CR21","unstructured":"Zhou, J.: Non-repudiation in Electronic Commerce. Artech House (2001)"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75596-8_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:25:29Z","timestamp":1619519129000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75596-8_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540755951"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75596-8_36","relation":{},"subject":[]}}