{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T21:15:21Z","timestamp":1743110121431,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540748342"},{"type":"electronic","value":"9783540748359"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-74835-9_8","type":"book-chapter","created":{"date-parts":[[2007,9,7]],"date-time":"2007-09-07T10:03:08Z","timestamp":1189159388000},"page":"106-121","source":"Crossref","is-referenced-by-count":4,"title":["Completeness of the Authentication Tests"],"prefix":"10.1007","author":[{"given":"Shaddin F.","family":"Doghmi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joshua D.","family":"Guttman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F. Javier","family":"Thayer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"8_CR1","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1145\/1044731.1044735","volume":"52","author":"M. Abadi","year":"2005","unstructured":"Abadi, M., Blanchet, B.: Analyzing security protocols with secrecy types and logic programs. Journal of the ACM\u00a052(1), 102\u2013146 (2005)","journal-title":"Journal of the ACM"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. Bozga","year":"2003","unstructured":"Bozga, L., Lakhnech, Y., Perin, M.: Pattern-based abstraction for verifying secrecy in protocols. In: Garavel, H., Hatcliff, J. (eds.) ETAPS 2003 and TACAS 2003. LNCS, vol.\u00a02619, Springer, Heidelberg (2003)"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Burrows, M., Abadi, M., Needham, R.: A logic of authentication. In: Proceedings of the Royal Society. Series A, vol.\u00a0426(1871), pp. 233\u2013271 (December 1989)","DOI":"10.1098\/rspa.1989.0125"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1007\/978-3-540-71209-1_41","volume-title":"TACAS","author":"S.F. Doghmi","year":"2007","unstructured":"Doghmi, S.F., Guttman, J.D., Javier Thayer, F.: Searching for shapes in cryptographic protocols. In: TACAS. Tools and Algorithms for Construction and Analysis of Systems (TACAS), March 2007. LNCS, vol.\u00a04424, pp. 523\u2013538. Springer, Heidelberg (2007), Extended version at URL:\n                    \n                      http:\/\/eprint.iacr.org\/2006\/435"},{"key":"8_CR5","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"},{"issue":"2","key":"8_CR6","doi-asserted-by":"crossref","first-page":"247","DOI":"10.3233\/JCS-2004-12203","volume":"12","author":"N. Durgin","year":"2004","unstructured":"Durgin, N., Lincoln, P., Mitchell, J., Scedrov, A.: Multiset rewriting and the complexity of bounded security protocols. Journal of Computer Security\u00a012(2), 247\u2013311 (2004) (Initial version appeared in Workshop on Formal Methods and Security Protocols (1999))","journal-title":"Journal of Computer Security"},{"issue":"3\/4","key":"8_CR7","first-page":"435","volume":"12","author":"A.D. Gordon","year":"2003","unstructured":"Gordon, A.D., Jeffrey, A.: Types and effects for asymmetric cryptographic protocols. Journal of Computer Security\u00a012(3\/4), 435\u2013484 (2003)","journal-title":"Journal of Computer Security"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/3-540-45608-2_4","volume-title":"Foundations of Security Analysis and Design","author":"J.D. Guttman","year":"2001","unstructured":"Guttman, J.D.: Security goals: Packet trajectories and strand spaces. In: Focardi, R., Gorrieri, R. (eds.) Foundations of Security Analysis and Design. LNCS, vol.\u00a02171, pp. 197\u2013261. Springer, Heidelberg (2001)"},{"key":"8_CR9","volume-title":"Proceedings, 2000 IEEE Symposium on Security and Privacy","author":"J.D. Guttman","year":"2000","unstructured":"Guttman, J.D., Javier Thayer, F.: Authentication tests. In: Proceedings, 2000 IEEE Symposium on Security and Privacy, IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Guttman, J.D., Javier Thayer, F.: Authentication tests and the structure of bundles. Theoretical Computer Science\u00a0283(2), 333\u2013380 (2000) (Conference version appeared in IEEE Symposium on Security and Privacy (May 2000))","DOI":"10.1016\/S0304-3975(01)00139-6"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/978-3-540-24725-8_23","volume-title":"Programming Languages and Systems","author":"J.D. Guttman","year":"2004","unstructured":"Guttman, J.D., Javier Thayer, F., Carlson, J.A., Herzog, J.C., Ramsdell, J.D., Sniffen, B.T.: Trust management in strand spaces: A rely-guarantee method. In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol.\u00a02986, pp. 325\u2013339. Springer, Heidelberg (2004)"},{"key":"8_CR12","unstructured":"Paulson, L.C.: The inductive approach to verifying cryptographic protocols. Journal of Computer Security (1998) (also Report 443, Cambridge University Computer Lab.)"},{"key":"8_CR13","volume-title":"Proceedings of the 13th IEEE Computer Security Foundations Workshop","author":"A. Perrig","year":"2000","unstructured":"Perrig, A., Song, D.X.: Looking for diamonds in the desert: Extending automatic protocol generation to three-party authentication and key agreement protocols. In: Proceedings of the 13th IEEE Computer Security Foundations Workshop, IEEE Computer Society Press, Los Alamitos (2000)"}],"container-title":["Lecture Notes in Computer Science","Computer Security \u2013 ESORICS 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74835-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T20:10:54Z","timestamp":1559506254000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74835-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540748342","9783540748359"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74835-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}