{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:19:42Z","timestamp":1725549582669},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540241270"},{"type":"electronic","value":"9783540304975"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30497-5_136","type":"book-chapter","created":{"date-parts":[[2010,3,12]],"date-time":"2010-03-12T13:30:53Z","timestamp":1268400653000},"page":"879-887","source":"Crossref","is-referenced-by-count":0,"title":["Analyzing iKP Security in Applied Pi Calculus"],"prefix":"10.1007","author":[{"given":"Yonggen","family":"Gu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guoqiang","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuxi","family":"Fu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"136_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/3-540-44898-5_17","volume-title":"Static Analysis","author":"M. Abadi","year":"2003","unstructured":"Abadi, M., Blanchet, B.: Computer-assisted verification of a protocol for certified email. In: Cousot, R. (ed.) SAS 2003. LNCS, vol.\u00a02694, pp. 316\u2013335. Springer, Heidelberg (2003)"},{"key":"136_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/978-3-540-24725-8_24","volume-title":"Programming Languages and Systems","author":"M. Abadi","year":"2004","unstructured":"Abadi, M., Blanchet, B., Fournet, C.: Just Fast Keying in the Pi Calculus. In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol.\u00a02986, pp. 340\u2013354. Springer, Heidelberg (2004)"},{"key":"136_CR3","doi-asserted-by":"crossref","unstructured":"Abadi, M., Fournet, C.: Mobile Values, New Names and Secure Communication. In: 28th ACM Symposium on Principles of Programming Languages (POPL 2001), pp. 104\u2013115 (2001)","DOI":"10.1145\/373243.360213"},{"key":"136_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/3-540-36532-X_20","volume-title":"Software Security \u2013 Theories and Systems","author":"M. Abadi","year":"2003","unstructured":"Abadi, M., Fournet, C.: Hiding Names: Private Authentication in the Applied Pi Calculus. In: Okada, M., Pierce, B.C., Scedrov, A., Tokuda, H., Yonezawa, A. (eds.) ISSS 2002. LNCS, vol.\u00a02609, pp. 317\u2013338. Springer, Heidelberg (2003)"},{"key":"136_CR5","unstructured":"Bellare, M., Garay, J., Hauser, R., Herzberg, A., Krawczyk, H., Steiner, M., Tsudik, G., Waidner, M.: iKP - A Family of Secure Electronic Payment Protocols. In: Proceedings First USENIX Workshop on Electronic Commerce, USENIX (1995)"},{"key":"136_CR6","doi-asserted-by":"publisher","first-page":"611","DOI":"10.1109\/49.839936","volume":"18","author":"M. Bellare","year":"2000","unstructured":"Bellare, M., Garay, J., Hauser, R., Herzberg, A., Krawczyk, H., Steiner, M., Tsudik, G., Herreveghen, E.V., Waidner, M.: Design, implementation, and deployment of the iKP secure electronic payment system. IEEE Journal of Selected Areas in Communications\u00a018, 611\u2013627 (2000)","journal-title":"IEEE Journal of Selected Areas in Communications"},{"key":"136_CR7","doi-asserted-by":"crossref","unstructured":"Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes, parts I and II. In: Information and Computation, pp. 1\u201377 (1992)","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"136_CR8","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/RISP.1993.287633","volume-title":"14th IEEE Symposium on Research in Security and Privacy","author":"T.Y.C. Woo","year":"1993","unstructured":"Woo, T.Y.C., Lam, S.S.: A semantic model for authentication protocols. In: 14th IEEE Symposium on Research in Security and Privacy, pp. 178\u2013194. IEEE Computer Society Press, Los Alamitos (1993)"}],"container-title":["Lecture Notes in Computer Science","Computational and Information Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30497-5_136.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:55:24Z","timestamp":1605761724000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30497-5_136"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540241270","9783540304975"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30497-5_136","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}