{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,2]],"date-time":"2024-08-02T23:09:57Z","timestamp":1722640197769},"reference-count":5,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[1999,11,1]],"date-time":"1999-11-01T00:00:00Z","timestamp":941414400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. & Technol."],"published-print":{"date-parts":[[1999,11]]},"DOI":"10.1007\/bf02951884","type":"journal-article","created":{"date-parts":[[2008,9,13]],"date-time":"2008-09-13T19:49:03Z","timestamp":1221335343000},"page":"619-623","source":"Crossref","is-referenced-by-count":3,"title":["An improvement of GNY logic for the reflection attacks"],"prefix":"10.1007","volume":"14","author":[{"given":"Yiqiang","family":"Ding","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02951884_CR1","doi-asserted-by":"crossref","unstructured":"Burrows M, Abadi M, Needham R. A logic of authentication. InProceedings of the Royal Society of London A, 1989, 426: 233\u2013271.","DOI":"10.1098\/rspa.1989.0125"},{"key":"BF02951884_CR2","doi-asserted-by":"crossref","unstructured":"Gavin Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using FDR. InLecture Notes in Computer Science, Springer Verlag, 1996, 1055: 147\u2013166.","DOI":"10.1007\/3-540-61042-1_43"},{"key":"BF02951884_CR3","unstructured":"Yiqiang Ding. CCS-based Cryptographic Protocol Analysis (in Chinese), to appear inJournal of Software, 1998."},{"key":"BF02951884_CR4","volume-title":"1990 IEEE Computer Society Symposium on Research in Security and Privacy, Oakland, California","author":"L Gong","year":"1990","unstructured":"Gong L, Needham R, Yahalom R. Reasoning about belief in cryptographic protocols. In1990 IEEE Computer Society Symposium on Research in Security and Privacy, Oakland, California. IEEE Computer Society Press, Los Alamitos, California. 1990."},{"key":"BF02951884_CR5","unstructured":"Tanenbaum A S. Computer Networks. 3rd ed. Prentice-Hall International. 1996."}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02951884.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02951884\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02951884","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T20:35:43Z","timestamp":1558470943000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02951884"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,11]]},"references-count":5,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1999,11]]}},"alternative-id":["BF02951884"],"URL":"https:\/\/doi.org\/10.1007\/bf02951884","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,11]]}}}