{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:53:00Z","timestamp":1725573180810},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540330523"},{"type":"electronic","value":"9783540330585"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11689522_12","type":"book-chapter","created":{"date-parts":[[2006,2,25]],"date-time":"2006-02-25T06:47:58Z","timestamp":1140850078000},"page":"123-133","source":"Crossref","is-referenced-by-count":2,"title":["Security Protocol Analysis with Improved Authentication Tests"],"prefix":"10.1007","author":[{"given":"Xiehua","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shutang","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianhua","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongwen","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","first-page":"96","volume-title":"Proceedings of 2000 IEEE Symposium on Security and Privacy","author":"D.G. Joshua","year":"2000","unstructured":"Joshua, D.G., Thayer, F.J.: Authentication tests. In: Proceedings of 2000 IEEE Symposium on Security and Privacy, pp. 96\u2013109. IEEE Computer Society Press, Oakland CA (2000)"},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/S0304-3975(01)00139-6","volume":"283","author":"D.G. Joshua","year":"2002","unstructured":"Joshua, D.G., Thayer, F.J.: Authentication tests and the structure of bundles. Theoretical Computer Science\u00a0283, 333\u2013380 (2002)","journal-title":"Theoretical Computer Science"},{"issue":"3-4","key":"12_CR3","doi-asserted-by":"crossref","first-page":"409","DOI":"10.3233\/JCS-2004-123-405","volume":"12","author":"J.D. Guttman","year":"2004","unstructured":"Guttman, J.D.: Authentication tests and disjoint encryption: A design method for security protocols. Journal of Computer Security\u00a012(3-4), 409\u2013433 (2004)","journal-title":"Journal of Computer Security"},{"issue":"5","key":"12_CR4","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1007\/BF02947115","volume":"18","author":"J. QingGuang","year":"2003","unstructured":"QingGuang, J., SiHan, Q., YongBin, Z., DengGuo, F.: Study on strand space model. Journal of Computer Science and Technology\u00a018(5), 553\u2013570 (2003)","journal-title":"Journal of Computer Science and Technology"},{"key":"12_CR5","first-page":"62","volume":"20","author":"P. Syverson","year":"2000","unstructured":"Syverson, P.: Towards a strand semantics for authentication logic. Electronic Notes in Theoretical Computer Science\u00a020, 62\u201372 (2000)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"4","key":"12_CR6","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/BF02943285","volume":"17","author":"L. Dongxi","year":"2002","unstructured":"Dongxi, L., Xiaoyong, L., Yingcai, B.: An attack-finding algorithm for security protocols. Journal of Computer Science and Technology\u00a017(4), 450\u2013463 (2002)","journal-title":"Journal of Computer Science and Technology"},{"key":"12_CR7","first-page":"192","volume-title":"Proceedings of the 1999 IEEE Computer Security Foundations Workshop","author":"S.D. Athena","year":"1999","unstructured":"Athena, S.D.: A new efficient automatic checker for security protocol analysis. In: Proceedings of the 1999 IEEE Computer Security Foundations Workshop, pp. 192\u2013202. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/CSFW.2000.856926","volume-title":"Proceedings of the 13th IEEE Computer Security Foundations Workshop","author":"A. Perrig","year":"2000","unstructured":"Perrig, A., Song, D.: Looking for diamonds in the desert-extending automatic protocol generation to three-party authentication and key agreement. In: Proceedings of the 13th IEEE Computer Security Foundations Workshop, pp. 64\u201376. IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0020-0190(95)00177-E","volume":"53","author":"T. Hwang","year":"1995","unstructured":"Hwang, T., Lee, N.Y., Li, C.M., Ko, M.Y., Chen, Y.H.: Two attacks on Neuman-Stubblebine authentication protocols. Information Processing Letters\u00a053, 103\u2013107 (1995)","journal-title":"Information Processing Letters"},{"issue":"2,3","key":"12_CR10","doi-asserted-by":"crossref","first-page":"191","DOI":"10.3233\/JCS-1999-72-304","volume":"7","author":"F. Javier Thayer Fabrega","year":"1999","unstructured":"Javier Thayer Fabrega, F., Herzog, J.C., Guttman, J.D.: Strand space: why is a security protocol correct? Journal of Computer Security\u00a07(2,3), 191\u2013230 (1999)","journal-title":"Journal of Computer Security"},{"issue":"2","key":"12_CR11","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1145\/155848.155852","volume":"27","author":"B.C. Neuman","year":"1993","unstructured":"Neuman, B.C., Stubblebine, S.G.: A note on the use of timestamps as nonces. Operating Systems Review\u00a027(2), 10\u201314 (1993)","journal-title":"Operating Systems Review"},{"key":"12_CR12","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BFb0028167","volume-title":"Security Protocols","author":"S. Gurgens","year":"1998","unstructured":"Gurgens, S.: A formal analysis technique for authentication protocols. In: Christianson, B., Lomas, M. (eds.) Security Protocols 1997. LNCS, vol.\u00a01361, pp. 159\u2013176. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Information Security Practice and Experience"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11689522_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:17:49Z","timestamp":1619507869000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11689522_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540330523","9783540330585"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11689522_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}