{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T12:41:40Z","timestamp":1742992900730,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540883128"},{"type":"electronic","value":"9783540883135"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-88313-5_34","type":"book-chapter","created":{"date-parts":[[2008,10,4]],"date-time":"2008-10-04T00:41:44Z","timestamp":1223080904000},"page":"533-547","source":"Crossref","is-referenced-by-count":5,"title":["Cryptographic Protocol Explication and End-Point Projection"],"prefix":"10.1007","author":[{"given":"Jay","family":"McCarthy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shriram","family":"Krishnamurthi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"34_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M.: Security protocols and their properties. In: Foundations of Secure Computation (2000)","DOI":"10.1007\/3-540-49019-1_1"},{"issue":"1","key":"34_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1998.2740","volume":"148","author":"M. Abadi","year":"1999","unstructured":"Abadi, M., Gordon, A.D.: A calculus for cryptographic protocols: The spi calculus. Information and Computation\u00a0148(1), 1\u201370 (1999)","journal-title":"Information and Computation"},{"key":"34_CR3","doi-asserted-by":"crossref","unstructured":"Armando, A., Basin, D.A., Bouallagui, M., Chevalier, Y., Compagna, L., M\u00f6dersheim, S., Rusinowitch, M., Turuani, M., Vigan\u00f2, L., Vigneron, L.: The AVISS security protocol analysis tool. In: Computer Aided Verification (2002)","DOI":"10.1007\/3-540-45657-0_27"},{"key":"34_CR4","unstructured":"Bodei, C., Buchholtz, M., Degano, P., Nielson, F., Nielson, H.R.: Automatic validation of protocol narration. In: Computer Security Foundations Workshop (2003)"},{"issue":"3","key":"34_CR5","doi-asserted-by":"publisher","first-page":"347","DOI":"10.3233\/JCS-2005-13302","volume":"13","author":"C. Bodei","year":"2005","unstructured":"Bodei, C., Buchholtz, M., Degano, P., Nielson, F., Nielson, H.R.: Static validation of security protocols. Journal of Computer Security\u00a013(3), 347\u2013390 (2005)","journal-title":"Journal of Computer Security"},{"issue":"3","key":"34_CR6","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1016\/j.tcs.2007.09.005","volume":"389","author":"S. Briais","year":"2007","unstructured":"Briais, S., Nestmann, U.: A formal semantics for protocol narrations. Theoretical Computer Science\u00a0389(3), 484\u2013511 (2007)","journal-title":"Theoretical Computer Science"},{"issue":"1871","key":"34_CR7","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1098\/rspa.1989.0125","volume":"426","author":"M. Burrows","year":"1871","unstructured":"Burrows, M., Abadi, M., Needham, R.: A logic of authentication. Proceedings of the Royal Society Series A\u00a0426(1871), 233\u2013271 (1871)","journal-title":"Proceedings of the Royal Society Series A"},{"issue":"1-2","key":"34_CR8","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1016\/j.tcs.2006.08.041","volume":"367","author":"C. Caleiro","year":"2006","unstructured":"Caleiro, C., Vigan\u00f2, L., Basin, D.: On the semantics of Alice&Bob specifications of security protocols. Theoretical Computer Science\u00a0367(1-2), 88\u2013122 (2006)","journal-title":"Theoretical Computer Science"},{"key":"34_CR9","doi-asserted-by":"crossref","unstructured":"Carbone, M., Honda, K., Yoshida, N.: Structured communication-centred programming for web services. In: European Symposium on Programming (2007)","DOI":"10.1007\/978-3-540-71316-6_2"},{"key":"34_CR10","doi-asserted-by":"crossref","unstructured":"Corin, R., Denielou, P.-M., Fournet, C., Bhargavan, K., Leifer, J.: Secure implementations for typed session abstractions. In: Computer Security Foundations Symposium (2007)","DOI":"10.1109\/CSF.2007.29"},{"issue":"6","key":"34_CR11","doi-asserted-by":"publisher","first-page":"644","DOI":"10.1109\/TIT.1976.1055638","volume":"22","author":"W. Diffie","year":"1976","unstructured":"Diffie, W., Hellman, M.: New directions in cryptography. IEEE Transactions on Information Theory\u00a022(6), 644\u2013654 (1976)","journal-title":"IEEE Transactions on Information Theory"},{"key":"34_CR12","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":"4","key":"34_CR13","doi-asserted-by":"publisher","first-page":"488","DOI":"10.1145\/363516.363532","volume":"9","author":"A. Durante","year":"2000","unstructured":"Durante, A., Focardi, R., Gorrieri, R.: A compiler for analyzing cryptographic protocols using noninterference. ACM Transactions on Software Engineering and Methodology\u00a09(4), 488\u2013528 (2000)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"34_CR14","doi-asserted-by":"crossref","unstructured":"Garay, J.A., Jakobsson, M., MacKenzie, P.: Abuse-free optimistic contract signing. In: International Cryptology Conference (1999)","DOI":"10.1007\/3-540-48169-9_11"},{"key":"34_CR15","doi-asserted-by":"crossref","unstructured":"Guttman, J.D., Herzog, J.C., Ramsdell, J.D., Sniffen, B.T.: Programming cryptographic protocols. In: Trust in Global Computing (2005)","DOI":"10.1007\/11580850_8"},{"key":"34_CR16","unstructured":"Jacquemard, F., Rusinowitch, M., Vigneron, L.: Compiling and verifying security protocols. Logic for Programming and Automated Reasoning (2000)"},{"issue":"3","key":"34_CR17","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/206826.206832","volume":"29","author":"I.L. Kao","year":"1995","unstructured":"Kao, I.L., Chow, R.: An efficient and secure authentication protocol using uncertified keys. Operating Systems Review\u00a029(3), 14\u201321 (1995)","journal-title":"Operating Systems Review"},{"key":"34_CR18","unstructured":"Lowe, G.: Casper: A compiler for the analysis of security protocols. In: Computer Security Foundations Workshop (1997)"},{"key":"34_CR19","doi-asserted-by":"crossref","unstructured":"Meadows, C.: A model of computation for the NRL protocol analyzer. In: Computer Security Foundations Workshop (1994)","DOI":"10.21236\/ADA465465"},{"key":"34_CR20","unstructured":"Millen, J., Muller, F.: Cryptographic protocol generation from CAPSL. Technical Report SRI-CSL-01-07, SRI International (December 2001)"},{"key":"34_CR21","unstructured":"Neuman, B.C., Ts\u2019o, T.: Kerberos: An authentication service for computer networks. Technical Report ISI\/RS-94-399, USC\/ISI (1994)"},{"key":"34_CR22","unstructured":"Project EVA. Security protocols open repository (2007), \n                    \n                      http:\/\/www.lsv.ens-cachan.fr\/spore\/"},{"key":"34_CR23","unstructured":"Sabri, K.E., Khedri, R.: A mathematical framework to capture agent explicit knowledge in cryptographic protocols. Technical Report CAS-07-04-RK, McMaster University (2007)"},{"key":"34_CR24","unstructured":"The Coq development team. The Coq proof assistant reference manual, 8.1 edition (2007)"},{"key":"34_CR25","unstructured":"Weiser, M.: Program slicing. In: International Conference on Software Engineering (1981)"}],"container-title":["Lecture Notes in Computer Science","Computer Security - ESORICS 2008"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88313-5_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T20:13:46Z","timestamp":1559506426000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88313-5_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540883128","9783540883135"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88313-5_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}