{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:01:40Z","timestamp":1725559300794},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540266136"},{"type":"electronic","value":"9783540316459"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11506881_5","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T20:30:33Z","timestamp":1279139433000},"page":"69-84","source":"Crossref","is-referenced-by-count":1,"title":["Automatic Detection of Attacks on Cryptographic Protocols: A Case Study"],"prefix":"10.1007","author":[{"given":"Ivan","family":"Cibrario B.","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Durante","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riccardo","family":"Sisto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adriano","family":"Valenzano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"5_CR1","first-page":"267","volume":"5","author":"M. Abadi","year":"1998","unstructured":"Abadi, M., Gordon, A.D.: A bisimulation method for cryptographic protocols. Nordic J. Comput.\u00a05(4), 267\u2013303 (1998)","journal-title":"Nordic J. Comput."},{"issue":"1","key":"5_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1998.2740","volume":"148","author":"M. Abadi","year":"1999","unstructured":"Abadi, M., Gordon, A.D.: A calculus for cryptographic protocols: The spi calculus. Inf. Comput.\u00a0148(1), 1\u201370 (1999)","journal-title":"Inf. Comput."},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Basin, D., M\u00f6dersheim, S., Vigan\u00f2, L.: OFMC: A symbolic model-checker for security protocols. To appear on: International Journal of Information Security (2004)","DOI":"10.1007\/s10207-004-0055-7"},{"issue":"3","key":"5_CR4","doi-asserted-by":"publisher","first-page":"947","DOI":"10.1137\/S0097539700377864","volume":"31","author":"M. Boreale","year":"2002","unstructured":"Boreale, M., De Nicola, R., Pugliese, R.: Proof techniques for cryptographic processes. SIAM J. Comput.\u00a031(3), 947\u2013986 (2002)","journal-title":"SIAM J. Comput."},{"issue":"1871","key":"5_CR5","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1098\/rspa.1989.0125","volume":"426","author":"M. Burrows","year":"1989","unstructured":"Burrows, M., Abadi, M., Needham, R.: A logic of authentication. Proceedings of the Royal Society, Series A\u00a0426(1871), 233\u2013271 (1989)","journal-title":"Proceedings of the Royal Society, Series A"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/3-540-36577-X_21","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"I. Cibrario Bertolotti","year":"2003","unstructured":"Cibrario Bertolotti, I., Durante, L., Sisto, R., Valenzano, A.: A new knowledge representation strategy for cryptographic protocol analysis. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol.\u00a02619, pp. 284\u2013298. Springer, Heidelberg (2003)"},{"key":"5_CR7","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/978-0-387-35358-6_10","volume-title":"Proceedings of the IFIP Working Conference on Programming Concepts and Methods (PROCOMET 1998)","author":"E.M. Clarke","year":"1998","unstructured":"Clarke, E.M., Jha, S., Marrero, W.: Using state space exploration and a natural deduction style message derivation engine to verify security protocols. In: Proceedings of the IFIP Working Conference on Programming Concepts and Methods (PROCOMET 1998), London, pp. 87\u2013106. Chapman & Hall, Boca Raton (1998)"},{"issue":"4","key":"5_CR8","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.: Verifying security protocols with Brutus. ACM Trans. Softw. Eng. Meth.\u00a09(4), 443\u2013487 (2000)","journal-title":"ACM Trans. Softw. Eng. Meth."},{"issue":"1-2","key":"5_CR9","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola De","year":"1984","unstructured":"De Nicola, R., Hennessy, M.C.B.: Testing equivalence for processes. Theor. Comput. Sci.\u00a034(1-2), 84\u2013133 (1984)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"5_CR10","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 Trans. Inf. Theory\u00a029(2), 198\u2013208 (1983)","journal-title":"IEEE Trans. Inf. Theory"},{"issue":"2","key":"5_CR11","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1145\/941566.941570","volume":"12","author":"L. Durante","year":"2003","unstructured":"Durante, L., Sisto, R., Valenzano, A.: Automatic testing equivalence verification of spi calculus specifications. ACM Trans. Softw. Eng. Meth.\u00a012(2), 222\u2013284 (2003)","journal-title":"ACM Trans. Softw. Eng. Meth."},{"issue":"3","key":"5_CR12","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1145\/319301.319317","volume":"21","author":"L. Lamport","year":"1999","unstructured":"Lamport, L., Paulson, L.C.: Should your specification language be typed? ACM Trans. Program. Lang. Syst.\u00a021(3), 502\u2013526 (1999)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"5_CR13","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":"5_CR14","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/CSFW.1997.596779","volume-title":"Proceedings of the 10th IEEE Computer Security Foundations Workshop (CSFW 1997)","author":"G. Lowe","year":"1997","unstructured":"Lowe, G.: Casper: a compiler for the analysis of security protocols. In: Proceedings of the 10th IEEE Computer Security Foundations Workshop (CSFW 1997), Washington, pp. 18\u201330. IEEE Computer Society Press, Los Alamitos (1997)"},{"issue":"2","key":"5_CR15","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., Freedman, S.B.: The Interrogator: Protocol security analysis. IEEE Trans. Softw. Eng.\u00a013(2), 274\u2013288 (1987)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"5_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, parts I and II. Inf. Comput.\u00a0100(1), 1\u201377 (1992)","journal-title":"Inf. Comput."},{"key":"5_CR17","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. Comput. Sec.\u00a06, 85\u2013128 (1998)","journal-title":"J. Comput. Sec."},{"issue":"3","key":"5_CR18","doi-asserted-by":"crossref","first-page":"197","DOI":"10.3233\/JCS-2001-9302","volume":"9","author":"L.C. Paulson","year":"2001","unstructured":"Paulson, L.C.: Relations between secrets: Two formal analyses of the Yahalom protocol. J. Comput. Sec.\u00a09(3), 197\u2013216 (2001)","journal-title":"J. Comput. Sec."},{"issue":"9","key":"5_CR19","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1109\/32.713329","volume":"24","author":"S. Schneider","year":"1998","unstructured":"Schneider, S.: Verifying authentication protocols in CSP. IEEE Trans. Softw. Eng.\u00a024(9), 741\u2013758 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"5_CR20","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1109\/CSFW.1994.315935","volume-title":"Proceedings of the 7th IEEE Computer Security Foundations Workshop (CSFW 1994)","author":"P. Syverson","year":"1994","unstructured":"Syverson, P.: A taxonomy of replay attacks. In: Proceedings of the 7th IEEE Computer Security Foundations Workshop (CSFW 1994), Washington, pp. 187\u2013191. IEEE Computer Society Press, Los Alamitos (1994)"}],"container-title":["Lecture Notes in Computer Science","Detection of Intrusions and Malware, and Vulnerability Assessment"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11506881_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:03:37Z","timestamp":1605643417000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11506881_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540266136","9783540316459"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11506881_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}