{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,13]],"date-time":"2025-09-13T15:54:39Z","timestamp":1757778879910},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642144776"},{"type":"electronic","value":"9783642144783"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14478-3_16","type":"book-chapter","created":{"date-parts":[[2010,7,23]],"date-time":"2010-07-23T12:56:16Z","timestamp":1279889776000},"page":"152-163","source":"Crossref","is-referenced-by-count":16,"title":["Comparative Analysis of Formal Model Checking Tools for Security Protocol Verification"],"prefix":"10.1007","author":[{"given":"Reema","family":"Patel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bhavesh","family":"Borisaniya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Avi","family":"Patel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dhiren","family":"Patel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muttukrishnan","family":"Rajarajan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Zisman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Abadi, M., Rogaway, P.: Reconciling two views of cryptography (the computational soundness of formal encryption). In: TCS 2000: Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, pp. 3\u201322 (2000)","key":"16_CR1","DOI":"10.1007\/3-540-44929-9_1"},{"issue":"1","key":"16_CR2","first-page":"89","volume":"12","author":"L.P. Juan Carlos","year":"2008","unstructured":"Juan Carlos, L.P., Monroy, R.: Formal support to security protocol development: A survey. Computacion y Sistemas\u00a012(1), 89\u2013108 (2008)","journal-title":"Computacion y Sistemas"},{"issue":"1","key":"16_CR3","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.: A logic of authentication. ACM Trans. Comput. Syst.\u00a08(1), 18\u201336 (1990)","journal-title":"ACM Trans. Comput. Syst."},{"doi-asserted-by":"crossref","unstructured":"Gong, L., Needham, R., Yahalom, R.: Reasoning about belief in cryptographic protocols. In: IEEE Symposium on Security and Privacy, p. 234 (1990)","key":"16_CR4","DOI":"10.1109\/RISP.1990.63854"},{"doi-asserted-by":"crossref","unstructured":"Brackin, S.H.: A hol extension of gny for automatically analyzing cryptographic protocols. In: CSFW 1996: Proceedings of the 9th IEEE Workshop on Computer Security Foundations, p. 62 (1996)","key":"16_CR5","DOI":"10.1109\/CSFW.1996.503691"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-85074-8_2","volume-title":"Secure Transaction Protocol Analysis","author":"Q. Chen","year":"2008","unstructured":"Chen, Q., Zhang, C., Zhang, S.: Overview of security protocol analysis. In: Chen, Q., Zhang, C., Zhang, S. (eds.) Secure Transaction Protocol Analysis. LNCS, vol.\u00a05111, pp. 17\u201372. Springer, Heidelberg (2008)"},{"doi-asserted-by":"crossref","unstructured":"Dolev, D., Yao, A.C.: On the security of public key protocols. In: Annual IEEE Symposium on Foundations of Computer Science, pp. 350\u2013357 (1981)","key":"16_CR7","DOI":"10.1109\/SFCS.1981.32"},{"issue":"3","key":"16_CR8","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/0020-0190(95)00144-2","volume":"56","author":"G. Lowe","year":"1995","unstructured":"Lowe, G.: An attack on the needham-schroeder public-key authentication protocol. Inf. Process. Lett.\u00a056(3), 131\u2013133 (1995)","journal-title":"Inf. Process. Lett."},{"doi-asserted-by":"crossref","unstructured":"Lowe, G.: Casper: A compiler for the analysis of security protocols. Journal of Computer Security, 53\u201384 (1998)","key":"16_CR9","DOI":"10.3233\/JCS-1998-61-204"},{"issue":"3","key":"16_CR10","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/s10207-004-0055-7","volume":"4","author":"D.A. Basin","year":"2005","unstructured":"Basin, D.A., M\u00f6dersheim, S., Vigan\u00f2, L.: Ofmc: A symbolic model checker for security protocols. Int. J. Inf. Sec.\u00a04(3), 181\u2013208 (2005)","journal-title":"Int. J. Inf. Sec."},{"doi-asserted-by":"crossref","unstructured":"Basin, D.A.: Lazy infinite-state analysis of security protocols. In: Proceedings of the International Exhibition and Congress on Secure Networking - CQRE (Secure) 1999, pp. 30\u201342 (1999)","key":"16_CR11","DOI":"10.1007\/3-540-46701-7_3"},{"key":"16_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"730","DOI":"10.1007\/978-3-540-30227-8_68","volume-title":"Logics in Artificial Intelligence","author":"A. Armando","year":"2004","unstructured":"Armando, A., Compagna, L.: Satmc: A sat-based model checker for security protocols. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 730\u2013733. Springer, Heidelberg (2004)"},{"unstructured":"Boichut, Y., Heam, P.C., Kouchnarenko, O., Oehl, F.: Improvements on the Genet and Klay Technique to Automatically Verify Security Protocols. In: Proc. Int. Workshop on Automated Verification of Infinite-State Systems (AVIS 2004), joint to ETAPS 2004, pp. 1\u201311 (2004)","key":"16_CR13"},{"key":"16_CR14","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.entcs.2005.11.052","volume":"155","author":"L. Vigan","year":"2006","unstructured":"Vigan, L.: Automated security protocol analysis with the avispa tool. Electronic Notes in Theoretical Computer Science\u00a0155, 61\u201386 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"unstructured":"Clark, J.A., Jacob, J.L.: A survey of authentication protocol literature. Technical Report 1.0 (1997)","key":"16_CR15"},{"key":"16_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-540-45069-6_23","volume-title":"Computer Aided Verification","author":"L. Bozga","year":"2003","unstructured":"Bozga, L., Lakhnech, Y., P\u00e9rin, M.: Hermes: An automatic tool for verification of secrecy in security protocols. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol.\u00a02725, pp. 219\u2013222. Springer, Heidelberg (2003)"},{"doi-asserted-by":"crossref","unstructured":"Goubault-Larrecq, J.: A method for automatic cryptographic protocol verification. In: IPDPS 2000: Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing, pp. 977\u2013984 (2000)","key":"16_CR17","DOI":"10.1007\/3-540-45591-4_134"},{"unstructured":"Cortier, V.: A guide for securify. Technical Report\u00a013 (2003)","key":"16_CR18"},{"issue":"2","key":"16_CR19","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1109\/TSE.1987.233151","volume":"13","author":"J.K. Millen","year":"1987","unstructured":"Millen, J.K., Clark, S.C., Freeman, S.B.: The interrogator: Protocol secuity analysis. IEEE Trans. Softw. Eng.\u00a013(2), 274\u2013288 (1987)","journal-title":"IEEE Trans. Softw. Eng."},{"unstructured":"Tarigan, A., Rechnernetze, A., Systeme, V., Bielefeld, U.: Survey in formal analysis of security properties of cryptographic protocol (2002)","key":"16_CR20"},{"issue":"2","key":"16_CR21","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0743-1066(95)00095-X","volume":"26","author":"C. Meadows","year":"1996","unstructured":"Meadows, C.: The nrl protocol analyzer: An overview. The Journal of Logic Programming\u00a026(2), 113\u2013131 (1996)","journal-title":"The Journal of Logic Programming"},{"issue":"4","key":"16_CR22","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1145\/363516.363528","volume":"9","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Jha, S., Marrero, W.R.: Verifying security protocols with brutus. ACM Trans. Softw. Eng. Methodol.\u00a09(4), 443\u2013487 (2000)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"unstructured":"Mitchell, J.C., Mitchell, M., Stern, U.: Automated analysis of cryptographic protocols using mur\u03d5. In: SP 1997: Proceedings of the 1997 IEEE Symposium on Security and Privacy, p. 141 (1997)","key":"16_CR23"},{"doi-asserted-by":"crossref","unstructured":"Blanchet, B.: An efficient cryptographic protocol verifier based on prolog rules. In: CSFW 2001: Proceedings of the 14th IEEE Workshop on Computer Security Foundations, p. 82 (2001)","key":"16_CR24","DOI":"10.1109\/CSFW.2001.930138"},{"unstructured":"Cremers, C.: Scyther - Semantics and Verification of Security Protocols. Ph.D. dissertation, Eindhoven University of Technology (2006)","key":"16_CR25"},{"key":"16_CR26","doi-asserted-by":"crossref","first-page":"2001","DOI":"10.3233\/JCS-2001-91-203","volume":"9","author":"D. Song","year":"2001","unstructured":"Song, D., Berezin, S., Perrig, A.: Athena: a novel approach to efficient automatic security protocol analysis. Journal of Computer Security\u00a09, 2001 (2001)","journal-title":"Journal of Computer Security"},{"doi-asserted-by":"crossref","unstructured":"Thayer Fbrega, F.J., Herzog, J.C., Guttman, J.D.: Strand spaces: Why is a security protocol correct? In: Proceedings of the 1998 IEEE Symposium on Security and Privacy, pp. 160\u2013171 (1998)","key":"16_CR27","DOI":"10.21236\/ADA459060"}],"container-title":["Communications in Computer and Information Science","Recent Trends in Network Security and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14478-3_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:53:19Z","timestamp":1606168399000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14478-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642144776","9783642144783"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14478-3_16","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2010]]}}}