{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:25:34Z","timestamp":1725560734712},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540281955"},{"type":"electronic","value":"9783540318996"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11537328_18","type":"book-chapter","created":{"date-parts":[[2010,7,22]],"date-time":"2010-07-22T20:02:25Z","timestamp":1279828945000},"page":"221-235","source":"Crossref","is-referenced-by-count":7,"title":["Generic Verification of Security Protocols"],"prefix":"10.1007","author":[{"given":"Abdul Sahid","family":"Khan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Madhavan","family":"Mukund","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. P.","family":"Suresh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"18_CR1","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1016\/S0304-3975(02)00090-7","volume":"290","author":"R.M. Amadio","year":"2002","unstructured":"Amadio, R.M., Lugiez, D., Vanack\u00e8re, V.: On the symbolic reduction of processes with cryptographic functions. Theoretical Computer Science\u00a0290(1), 695\u2013740 (2002)","journal-title":"Theoretical Computer Science"},{"key":"18_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/BFb0015258","volume-title":"Computer Science Today","author":"R. Anderson","year":"1995","unstructured":"Anderson, R., Needham, R.M.: Programming Satan\u2019s computer. In: van Leeuwen, J. (ed.) Computer Science Today. LNCS, vol.\u00a01000, pp. 426\u2013441. Springer, Heidelberg (1995)"},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1109\/32.481513","volume":"22","author":"M. Abadi","year":"1996","unstructured":"Abadi, M., Needham, R.M.: Prudent engineering practices for cryptographic protocols. IEEE Transactions on Software Engineering\u00a022, 6\u201315 (1996)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Abadi, M., Tuttle, M.: A Semantics fo a Logic of Authentication. In: Proceedings of the 10th ACM Annual Symposium on Principles of Distributed Computing, August 1991, pp. 201\u2013216 (1991)","DOI":"10.1145\/112600.112618"},{"issue":"1","key":"18_CR5","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/77648.77649","volume":"8","author":"M. Burrows","year":"1990","unstructured":"Burrows, M., Abadi, M., Needham, R.M.: A logic of authentication. ACM Transactions on Computer Systems\u00a08(1), 18\u201336 (1990)","journal-title":"ACM Transactions on Computer Systems"},{"key":"18_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/3-540-63166-6_15","volume-title":"Computer Aided Verification","author":"D. Bolignano","year":"1997","unstructured":"Bolignano, D.: Towards a mechanization of cryptographic protocol verification. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 131\u2013142. Springer, Heidelberg (1997)"},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/3-540-36576-1_9","volume-title":"Foundations of Software Science and Computational Structures","author":"B. Blanchet","year":"2003","unstructured":"Blanchet, B., Podelski, A.: Verification of Cryptographic Protocols: Tagging Enforces Termination. In: Gordon, A.D. (ed.) FOSSACS 2003. LNCS, vol.\u00a02620, pp. 136\u2013152. Springer, Heidelberg (2003)"},{"key":"18_CR8","unstructured":"Clark, J., Jacob, J.: A survey of authentication protocol literature (1997), Electronic version available at http:\/\/www.cs.york.ac.uk\/~jac"},{"key":"18_CR9","unstructured":"Durgin, N.A., Lincoln, P.D., Mitchell, J.C., Scedrov, A.: The undecidability of bounded security protocols. In: Proceedings of the Workshop on Formal Methods and Security Protocols, FMSP 1999 (1999)"},{"key":"18_CR10","unstructured":"Denker, G., Millen, J., Ruess, H.: The CAPSL Integrated Protocol Environment. Technical Report SRI-CSL-2000-02, SRI (October 2000), Available at http:\/\/www.csl.sri.com\/users\/millen\/capsl"},{"key":"18_CR11","volume-title":"Proceedings of the First IEEE International Conference on Formal Engineering Methods (ICFEM 1997)","author":"M. Debbabi","year":"1997","unstructured":"Debbabi, M., Mejri, M., Tawbi, N., Yahmadi, I.: Formal automatic verification of authentication protocols. In: Proceedings of the First IEEE International Conference on Formal Engineering Methods (ICFEM 1997). IEEE Press, Los Alamitos (1997)"},{"key":"18_CR12","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.: On the Security of public-key protocols. IEEE Transactions on Information Theory\u00a029, 198\u2013208 (1983)","journal-title":"IEEE Transactions on Information Theory"},{"key":"18_CR13","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1109\/RISP.1990.63854","volume-title":"Proceedings 1990 IEEE Symposium on Research in Security and Privacy","author":"L. Gong","year":"1990","unstructured":"Gong, L., Needham, R., Yahalom, R.: Reasoning About Belief in Cryptographic Protocols. In: Cooper, D., Lunt, T. (eds.) Proceedings 1990 IEEE Symposium on Research in Security and Privacy, pp. 234\u2013248. IEEE Computer Society, Los Alamitos (1990)"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Khan, A.S., Mukund, M., Suresh, S.P.: Generic verification of security protocols. Technical report, CMI (May 2005), Electronic version available at http:\/\/www.cmi.ac.in\/~spsuresh","DOI":"10.1007\/11537328_18"},{"key":"18_CR15","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 FDR. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol.\u00a01055, pp. 147\u2013166. Springer, Heidelberg (1996)"},{"key":"18_CR16","doi-asserted-by":"crossref","first-page":"53","DOI":"10.3233\/JCS-1998-61-204","volume":"6","author":"G. Lowe","year":"1998","unstructured":"Lowe, G.: Casper: A compiler for the analysis of security protocols. Journal of computer security\u00a06, 53\u201384 (1998)","journal-title":"Journal of computer security"},{"issue":"10","key":"18_CR17","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1109\/32.637148","volume":"23","author":"G. Lowe","year":"1997","unstructured":"Lowe, G., Roscoe, B.: Using CSP to detect errors in the TMN protocol. IEEE Transactions of Software Engineering\u00a023(10), 659\u2013669 (1997)","journal-title":"IEEE Transactions of Software Engineering"},{"key":"18_CR18","unstructured":"Mitchell, J.C., Mitchell, M., Stern, U.: Automated analysis of cryptographic protocols using Mur\u03d5. In: Proceedings of the IEEE Symposium on Security and Privacy, pp. 141\u2013153 (1997)"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"Millen, J.K., Shmatikov, V.: Constraint solving for bounded-process cryptographic protocol analysis. In: ACM Conference on Computer and Communications Security, pp. 166\u2013175 (2001)","DOI":"10.1145\/501983.502007"},{"key":"18_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/3-540-46017-9_14","volume-title":"Model Checking Software","author":"P. Maggi","year":"2002","unstructured":"Maggi, P., Sisto, R.: Using SPIN to Verify Security Protocols. In: Bo\u0161na\u010dki, D., Leue, S. (eds.) SPIN 2002. LNCS, vol.\u00a02318, pp. 187\u2013204. Springer, Heidelberg (2002)"},{"issue":"12","key":"18_CR21","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1145\/359657.359659","volume":"21","author":"R.M. Needham","year":"1978","unstructured":"Needham, R.M., Schroeder, M.D.: Using Encryption for Authentication in Large Networks of Computers. Communications of the ACM\u00a021(12), 993\u2013999 (1978)","journal-title":"Communications of the ACM"},{"key":"18_CR22","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. Journal of computer security\u00a06, 85\u2013128 (1998)","journal-title":"Journal of computer security"},{"issue":"1","key":"18_CR23","doi-asserted-by":"crossref","first-page":"135","DOI":"10.3233\/JCS-2005-13106","volume":"13","author":"R. Ramanujam","year":"2005","unstructured":"Ramanujam, R., Suresh, S.P.: Decidability of context-explicit security protocols. Journal of Computer Security\u00a013(1), 135\u2013165 (2005)","journal-title":"Journal of Computer Security"},{"key":"18_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/3-540-45608-2_2","volume-title":"Foundations of Security Analysis and Design","author":"P.F. Syverson","year":"2001","unstructured":"Syverson, P.F., Cervesato, I.: The logic of authentication protocols. In: Focardi, R., Gorrieri, R. (eds.) FOSAD 2000. LNCS, vol.\u00a02171, pp. 63\u2013106. Springer, Heidelberg (2001)"},{"key":"18_CR25","doi-asserted-by":"crossref","unstructured":"Schneider, S.: Security properties and CSP. In: Proceedings of the IEEE Computer Society Symposium on Security and Privacy (1996)","DOI":"10.1109\/SECPRI.1996.502680"},{"key":"18_CR26","doi-asserted-by":"crossref","unstructured":"Schneider, S.: Verifying authentication protocols with CSP. In: Proceedings of the 10th IEEE Computer Security Foundations Workshop (1997)","DOI":"10.1109\/CSFW.1997.596775"},{"key":"18_CR27","unstructured":"Suresh, S.P.: Foundations of Security Protocol Analysis. PhD thesis, The Institute of Mathematical Sciences, Chennai, India, Madras University (November 2003), Available at http:\/\/www.cmi.ac.in\/~spsuresh"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11537328_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:12:33Z","timestamp":1605643953000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11537328_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540281955","9783540318996"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/11537328_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}