{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T04:21:51Z","timestamp":1784175711539,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540220541","type":"print"},{"value":"9783540247074","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24707-4_98","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T17:05:36Z","timestamp":1294419936000},"page":"851-858","source":"Crossref","is-referenced-by-count":14,"title":["Validating the Use of BAN LOGIC"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 M.","family":"Sierra","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Julio C.","family":"Hern\u00e1ndez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Almudena","family":"Alcaide","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Joaqu\u00edn","family":"Torres","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"98_CR1","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/112600.112618","volume-title":"Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing","author":"M. Abadi","year":"1991","unstructured":"Abadi, M., Tuttle, M.R.: A semantic for a logic of authentication. In: Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, pp. 201\u2013216. ACM Press, New York (1991)"},{"issue":"1","key":"98_CR2","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 Transactions on Computer Systems\u00a08(1), 18\u201336 (1990)","journal-title":"ACM Transactions on Computer Systems"},{"key":"98_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1007\/3-540-48285-7_20","volume-title":"Advances in Cryptology - EUROCRYPT \u201993","author":"C. Boyd","year":"1994","unstructured":"Boyd, C., Mao, W.: On a limitation of BAN logic. In: Helleseth, T. (ed.) EUROCRYPT 1993. LNCS, vol.\u00a0765, pp. 240\u2013247. Springer, Heidelberg (1994)"},{"key":"98_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/BFb0023295","volume-title":"Information Security and Privacy","author":"C. Boyd","year":"1996","unstructured":"Boyd, C.: A Framework for Design of Key Establishment Protocols. In: Pieprzyk, J.P., Seberry, J. (eds.) ACISP 1996. LNCS, vol.\u00a01172, pp. 146\u2013157. Springer, Heidelberg (1996)"},{"key":"98_CR5","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1109\/RISP.1990.63854","volume-title":"Proceedings of the IEEE Computer Society 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: Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy, pp. 234\u2013248. IEEE Computer Society Press, Los Alamitos (1990)"},{"key":"98_CR6","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/RISP.1994.296595","volume-title":"Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy","author":"P.F. Syverson","year":"1994","unstructured":"Syverson, P.F., van Oorschot, P.C.: On unifying some cryptographic protocols. In: Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy, May 1994, pp. 14\u201328. IEEE CS Press, Los Alamitos (1994)"},{"key":"98_CR7","doi-asserted-by":"crossref","unstructured":"Syverson, P.F., van Oorschot, P.C.: A Unified Cryptographic Protocol Logic. NRL Publication 5540-227, Naval Research Lab (1996)","DOI":"10.21236\/ADA464967"},{"key":"98_CR8","first-page":"233","volume-title":"Proceedings of the 1st ACM Conference on Computer and Communications Security","author":"P.C. Oorschot van","year":"1993","unstructured":"van Oorschot, P.C.: Extending Cryptographic logics of belief to key agreement protocols. In: Proceedings of the 1st ACM Conference on Computer and Communications Security, November 1993, pp. 233\u2013243. ACM Press, New York (1993)"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24707-4_98.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:54:53Z","timestamp":1605761693000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24707-4_98"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540220541","9783540247074"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24707-4_98","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}