{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,23]],"date-time":"2025-05-23T04:07:34Z","timestamp":1747973254813,"version":"3.41.0"},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1997,11,1]],"date-time":"1997-11-01T00:00:00Z","timestamp":878342400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,11,1]],"date-time":"1997-11-01T00:00:00Z","timestamp":878342400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mobile Networks and Applications"],"published-print":{"date-parts":[[1997,11]]},"DOI":"10.1023\/a:1013636817876","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T23:30:27Z","timestamp":1045697427000},"page":"227-241","source":"Crossref","is-referenced-by-count":6,"title":["Extending NCP for protocols using public keys"],"prefix":"10.1007","volume":"2","author":[{"given":"Aviel D.","family":"Rubin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"328977_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi and R. Needham, Prudent engineering practice for cryptographic protocols, in: Proceedings of the 1994 IEEE Computer Society Symposium on Research in Security and Privacy (1994) pp. 122\u2013136.","DOI":"10.1109\/RISP.1994.296587"},{"key":"328977_CR2","doi-asserted-by":"crossref","unstructured":"M. Burrows, M. Abadi and R. Needham, A logic of authentication, ACM Transactions on Computer Systems 8 (February 1990).","DOI":"10.1145\/77648.77649"},{"issue":"8","key":"328977_CR3","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1145\/358722.358740","volume":"24","author":"D.E. Denning","year":"1981","unstructured":"D.E. Denning and G.M. Sacco, Timestamps in key distribution protocols, Communications of the ACM 24(8) (August 1981) 533\u2013536.","journal-title":"Communications of the ACM"},{"key":"328977_CR4","doi-asserted-by":"crossref","unstructured":"W. Diffie and M.E. Hellman, New directions in cryptography, IEEE Transactions on Information Theory 22(6) (1976).","DOI":"10.1109\/TIT.1976.1055638"},{"key":"328977_CR5","doi-asserted-by":"crossref","unstructured":"L. Gong, R. Needham and R. Yahalom, Reasoning about belief in cryptographic protocols, in: Proceedings of the 1990 IEEE Computer Society Symposium on Research in Security and Privacy (May 1990) pp. 234\u2013248.","DOI":"10.1109\/RISP.1990.63854"},{"key":"328977_CR6","doi-asserted-by":"crossref","unstructured":"W. Mao and C. Boyd, Towards formal analysis of security protocols, in: Proceedings of the Computer Security Foundation Workshop VI, (June 1993) pp. 147\u2013158.","DOI":"10.1109\/CSFW.1993.246631"},{"issue":"12","key":"328977_CR7","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1145\/359657.359659","volume":"21","author":"R.M. Needham","year":"1978","unstructured":"R.M. Needham and M.D. Schroeder, Using encryption for authentication in large networks of computers, Communications of the ACM 21(12) (December 1978) 993\u2013999.","journal-title":"Communications of the ACM"},{"issue":"2","key":"328977_CR8","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/382258.382789","volume":"24","author":"D.M. Nessett","year":"1990","unstructured":"D.M. Nessett, A critique of the Burrows, Abadi and Needham logic, Operating System Review 24(2) (April 1990) 35\u201338.","journal-title":"Operating System Review"},{"key":"328977_CR9","unstructured":"A.D. Rubin and P. Honeyman, Long running jobs in an authenticated environment, in: Proc. USENIX Security Conference IV (October 1993) pp. 19\u201328."},{"key":"328977_CR10","doi-asserted-by":"crossref","unstructured":"A.D. Rubin and P. Honeyman, Nonmonotonic cryptographic protocols, in: Proceedings of the Computer Security Foundation Workshop VII (June 1994) pp. 100\u2013116.","DOI":"10.1109\/CSFW.1994.315943"},{"key":"328977_CR11","doi-asserted-by":"crossref","unstructured":"P. Syverson and C. Meadows, A logical language for specifying cryptographic protocol requirements, in: Proceedings of the 1993 IEEE Computer Society Symposium on Research in Security and Privacy (May 1993) pp. 165\u2013177.","DOI":"10.1109\/RISP.1993.287634"},{"key":"328977_CR12","unstructured":"T.Y.C. Woo and S.S. Lam, A semantic model for authentication protocols, in: Proceedings of the 1993 IEEE Computer Society Symposium on Research in Security and Privacy (May 1993) pp. 178\u2013194."}],"container-title":["Mobile Networks and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1013636817876.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1013636817876\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1013636817876.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T09:17:04Z","timestamp":1747905424000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1013636817876"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,11]]},"references-count":12,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1997,11]]}},"alternative-id":["328977"],"URL":"https:\/\/doi.org\/10.1023\/a:1013636817876","relation":{},"ISSN":["1383-469X","1572-8153"],"issn-type":[{"type":"print","value":"1383-469X"},{"type":"electronic","value":"1572-8153"}],"subject":[],"published":{"date-parts":[[1997,11]]}}}