{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:44:15Z","timestamp":1742913855784,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642014642"},{"type":"electronic","value":"9783642014659"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-01465-9_13","type":"book-chapter","created":{"date-parts":[[2009,4,4]],"date-time":"2009-04-04T00:56:06Z","timestamp":1238806566000},"page":"192-209","source":"Crossref","is-referenced-by-count":5,"title":["Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder"],"prefix":"10.1007","author":[{"given":"Francis","family":"Klay","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Vigneron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"http:\/\/www.lsv.ens-cachan.fr\/~kremer\/FXbib\/references.php"},{"key":"13_CR2","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., Basin, D.A., Boichut, Y., Chevalier, Y., Compagna, L., Cu\u00e9llar, J., Drielsma, P.H., H\u00e9am, P.-C., Kouchnarenko, O., Mantovani, J., M\u00f6dersheim, S., von Oheimb, D., Rusinowitch, M., Santiago, J., Turuani, M., Vigan\u00f2, L., Vigneron, L.: 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":"13_CR3","first-page":"385","volume-title":"20th IEEE Computer Security Foundations Symp., CSF","author":"A. Armando","year":"2007","unstructured":"Armando, A., Carbone, R., Compagna, L.: LTL Model Checking for Security Protocols. In: 20th IEEE Computer Security Foundations Symp., CSF, pp. 385\u2013396. IEEE Computer Society, Los Alamitos (2007)"},{"key":"13_CR4","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":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1007\/978-3-540-74477-1_51","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2007","author":"M. Carbonell","year":"2007","unstructured":"Carbonell, M., Sierra, J.M., Onieva, J.A., Lopez, J., Zhou, J.: Estimation of TTP Features in Non-repudiation Service. In: Gervasi, O., Gavrilova, M.L. (eds.) ICCSA 2007, Part II. LNCS, vol.\u00a04706, pp. 549\u2013558. Springer, Heidelberg (2007)"},{"key":"13_CR6","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":"J. Cederquist","year":"2005","unstructured":"Cederquist, J., Corin, R., Dashti, M.T.: On the Quest for Impartiality: Design and Analysis of a Fair Non-repudiation Protocol. In: Qing, S., Mao, W., L\u00f3pez, J., Wang, G. (eds.) ICICS 2005. LNCS, vol.\u00a03783, pp. 27\u201339. Springer, Heidelberg (2005)"},{"key":"13_CR7","unstructured":"Chevalier, Y., Compagna, L., Cuellar, J., Hankes Drielsma, P., Mantovani, J., M\u00f6dersheim, S., Vigneron, L.: A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols. In: Proc.\u00a0of Work. on Specification and Automated Processing of Security Requirements, SAPS, Linz, Austria, vol.\u00a0180. Oesterreichische Computer Gesellschaft (Austrian Computer Society) (September 2004)"},{"key":"13_CR8","unstructured":"Compagna, L.: SAT-based Model-Checking of Security Protocols. PhD thesis, Universit\u00e0 degli Studi di Genova and the University of Edinburgh (2005)"},{"issue":"3","key":"13_CR9","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/s00165-004-0055-4","volume":"17","author":"S. G\u00fcrgens","year":"2005","unstructured":"G\u00fcrgens, S., Rudolph, C.: Security Analysis of Efficient (Un-)fair Non-repudiation Protocols. Formal Aspects of Computing\u00a017(3), 260\u2013276 (2005)","journal-title":"Formal Aspects of Computing"},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/s10207-004-0063-7","volume":"4","author":"S. G\u00fcrgens","year":"2005","unstructured":"G\u00fcrgens, S., Rudolph, C., Vogt, H.: On the Security of Fair Non-repudiation Protocols. Int. Journal of Information Security\u00a04, 253\u2013262 (2005)","journal-title":"Int. Journal of Information Security"},{"issue":"3-4","key":"13_CR11","doi-asserted-by":"publisher","first-page":"409","DOI":"10.3233\/JCS-2004-123-405","volume":"12","author":"J.D. Guttman","year":"2004","unstructured":"Guttman, J.D.: Authentication tests and disjoint encryption: A design method for security protocols. Journal of Computer Security\u00a012(3-4), 409\u2013433 (2004)","journal-title":"Journal of Computer Security"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/3-540-44404-1_10","volume-title":"Logic for Programming and Automated Reasoning","author":"F. Jacquemard","year":"2000","unstructured":"Jacquemard, F., Rusinowitch, M., Vigneron, L.: Compiling and Verifying Security Protocols. In: Parigot, M., Voronkov, A. (eds.) LPAR 2000. LNCS, vol.\u00a01955, pp. 131\u2013160. Springer, Heidelberg (2000)"},{"key":"13_CR13","unstructured":"Kremer, S., Markowitch, O.: Optimistic Non-repudiable Information Exchange. In: Biemond, J. (ed.) 21st Symp. on Information Theory in the Benelux, Wassenaar, NL, pp. 139\u2013146. Werkgemeenschap Informatieen Communicatietheorie, Enschede (2000)"},{"issue":"17","key":"13_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 Fair Non-repudiation Protocols. Computer Communications\u00a025(17), 1606\u20131621 (2002)","journal-title":"Computer Communications"},{"key":"13_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.-F.: 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)"},{"key":"13_CR16","first-page":"31","volume-title":"10th Computer Security Foundations Work., CSFW","author":"G. Lowe","year":"1997","unstructured":"Lowe, G.: A Hierarchy of Authentication Specification. In: 10th Computer Security Foundations Work., CSFW, Rockport, Massachusetts, USA, pp. 31\u201344. IEEE Computer Society, Los Alamitos (1997)"},{"key":"13_CR17","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":"13_CR18","unstructured":"Markowitch, O., Roggeman, Y.: Probabilistic Non-Repudiation without Trusted Third Party. In: 2nd Work. on Security in Communication Networks, Amalfi, Italy (1999)"},{"issue":"4","key":"13_CR19","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/s001650050023","volume":"10","author":"P. Ochsenschl\u00e4ger","year":"1998","unstructured":"Ochsenschl\u00e4ger, P., Repp, J., Rieke, R., Nitsche, U.: The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems. Formal Aspects of Computing\u00a010(4), 381\u2013404 (1998)","journal-title":"Formal Aspects of Computing"},{"key":"13_CR20","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":"13_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/11679219_2","volume-title":"Formal Aspects in Security and Trust","author":"S. Pancho-Festin","year":"2006","unstructured":"Pancho-Festin, S., Gollmann, D.: On the Formal Analyses of the Zhou-Gollmann Non-repudiation Protocol. In: Dimitrakos, T., Martinelli, F., Ryan, P.Y.A., Schneider, S. (eds.) FAST 2005. LNCS, vol.\u00a03866, pp. 5\u201315. Springer, Heidelberg (2006)"},{"key":"13_CR22","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1997","unstructured":"Roscoe, A.W., Hoare, C.A.R., Bird, R.: The Theory and Practice of Concurrency. Prentice Hall PTR, Englewood Cliffs (1997)"},{"key":"13_CR23","volume-title":"Modelling and Analysis of Security Protocols","author":"P. Ryan","year":"2000","unstructured":"Ryan, P., Goldsmith, M., Lowe, G., Roscoe, B., Schneider, S.: Modelling and Analysis of Security Protocols. Addison Wesley, Reading (2000)"},{"key":"13_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-540-72354-7_8","volume-title":"Information Security Theory and Practices. Smart Cards, Mobile and Ubiquitous Computing Systems","author":"J. Santiago","year":"2007","unstructured":"Santiago, J., Vigneron, L.: Optimistic Non-repudiation Protocol Analysis. In: Sauveron, D., Markantonakis, K., Bilas, A., Quisquater, J.-J. (eds.) WISTP 2007. LNCS, vol.\u00a04462, pp. 90\u2013101. Springer, Heidelberg (2007)"},{"key":"13_CR25","first-page":"54","volume-title":"Proc. of The 11th Computer Security Foundations Work","author":"S. Schneider","year":"1998","unstructured":"Schneider, S.: Formal Analysis of a Non-Repudiation Protocol. In: Proc. of The 11th Computer Security Foundations Work, pp. 54\u201365. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"13_CR26","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":"13_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/11679219_18","volume-title":"Formal Aspects in Security and Trust","author":"K. Wei","year":"2006","unstructured":"Wei, K., Heather, J.: Towards verification of timed non-repudiation protocols. In: Dimitrakos, T., Martinelli, F., Ryan, P.Y.A., Schneider, S. (eds.) FAST 2005. LNCS, vol.\u00a03866, pp. 244\u2013257. Springer, Heidelberg (2006)"},{"key":"13_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-540-75227-1_14","volume-title":"Formal Aspects in Security and Trust","author":"K. Wei","year":"2007","unstructured":"Wei, K., Heather, J.: A theorem-proving approach to verification of fair non-repudiation protocols. In: Dimitrakos, T., Martinelli, F., Ryan, P.Y.A., Schneider, S. (eds.) FAST 2006. LNCS, vol.\u00a04691, pp. 202\u2013219. Springer, Heidelberg (2007)"},{"key":"13_CR29","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.H., 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":"13_CR30","first-page":"55","volume-title":"IEEE Symp. on Security and Privacy","author":"J. Zhou","year":"1996","unstructured":"Zhou, J., Gollmann, D.: A Fair Non-repudiation Protocol. In: IEEE Symp. on Security and Privacy, Oakland, CA, USA, pp. 55\u201361. IEEE Computer Society, Los Alamitos (1996)"},{"key":"13_CR31","unstructured":"Zhou, J., Gollmann, D.: Towards verification of non-repudiation protocols. In: Proc. of Int. Refinement Work. and Formal Methods Pacific, Canberra, Australia, pp. 370\u2013380 (September 1998)"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects in Security and Trust"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01465-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,7]],"date-time":"2019-03-07T05:08:49Z","timestamp":1551935329000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01465-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642014642","9783642014659"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01465-9_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}