{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:45:27Z","timestamp":1725558327172},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540406730"},{"type":"electronic","value":"9783540451457"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45145-7_5","type":"book-chapter","created":{"date-parts":[[2010,6,25]],"date-time":"2010-06-25T22:45:11Z","timestamp":1277505911000},"page":"49-65","source":"Crossref","is-referenced-by-count":0,"title":["Authentication Primitives for Protocol Specifications"],"prefix":"10.1007","author":[{"given":"Chiara","family":"Bodei","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierpaolo","family":"Degano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riccardo","family":"Focardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Corrado","family":"Priami","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"5_CR1","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"},{"issue":"46","key":"5_CR2","first-page":"18","volume":"5","author":"M. Abadi","year":"1999","unstructured":"Abadi, M.: Secrecy by Typing In Security protocols. Journal of the ACM\u00a05(46), 18\u201336 (1999)","journal-title":"Journal of the ACM"},{"key":"5_CR3","first-page":"302","volume-title":"Proceedings of Principles of Programming Languages (POPL 2000)","author":"M. Abadi","year":"2000","unstructured":"Abadi, M., Fournet, C., Gonthier, G.: Authentication Primitives and their compilation. In: Proceedings of Principles of Programming Languages (POPL 2000), pp. 302\u2013315. ACM Press, New York (2000)"},{"issue":"2","key":"5_CR4","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/S0304-3975(01)00136-0","volume":"283","author":"C. Bodei","year":"2002","unstructured":"Bodei, C., Degano, P., Focardi, R., Priami, C.: Primitives for Authentication in Process Algebras. Theoretical Computer Science\u00a0283(2), 271\u2013304 (2002)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"5_CR5","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/S0304-3975(00)00093-1","volume":"253","author":"C. Bodei","year":"2001","unstructured":"Bodei, C., Degano, P., Priami, C.: Names of the \u03c0-Calculus Agents Handled Locally. Theoretical Computer Science\u00a0253(2), 155\u2013184 (2001)","journal-title":"Theoretical Computer Science"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1109\/CSFW.1999.779766","volume-title":"Proceedings of the 12th Computer Security Foundation Workshop (CSFW12)","author":"C. Bodei","year":"1999","unstructured":"Bodei, C., Degano, P., Focardi, R., Priami, C.: Authentication via Localized Names. In: Proceedings of the 12th Computer Security Foundation Workshop (CSFW12), pp. 98\u2013110. IEEE Press, Los Alamitos (1999)"},{"issue":"2","key":"5_CR7","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1006\/inco.1995.1114","volume":"120","author":"M. Boreale","year":"1995","unstructured":"Boreale, M., De Nicola, R.: Testing equivalence for mobile processes. Information and Computation\u00a0120(2), 279\u2013303 (1995)","journal-title":"Information and Computation"},{"doi-asserted-by":"crossref","unstructured":"Burrows, M., Abadi, M., Needham, R.: A Logic of Authentication. ACM Transactions on Computer Systems, 18\u201336 (February 1990)","key":"5_CR8","DOI":"10.1145\/77648.77649"},{"unstructured":"National Bureau of Standards. Data Encryption Standard (DES). FIPS Publication 46 (1977)","key":"5_CR9"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola De","year":"1984","unstructured":"De Nicola, R., Hennessy, M.C.B.: Testing equivalence for processes. Theoretical Computer Science\u00a034, 83\u2013133 (1984)","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"5_CR11","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 Analysing Cryptographic Protocols Using Non-Interference. ACM Transactions on Software Engineering and Methodology\u00a09(4), 488\u2013528 (2000)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"unstructured":"Degano, P., Priami, C.: Enhanced Operational Semantics: A Tool for Describing and Analysing Concurrent Systems. To appear in ACM Computing Surveys","key":"5_CR12"},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/S0304-3975(99)80003-6","volume":"216","author":"P. Degano","year":"1999","unstructured":"Degano, P., Priami, C.: Non Interleaving Semantics for Mobile Processes. Theoretical Computer Science\u00a0216, 237\u2013270 (1999)","journal-title":"Theoretical Computer Science"},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1109\/SECPRI.1998.674832","volume-title":"Proceedings of the 1998 IEEE Symposium on Security and Privacy","author":"F.J.T. F\u00e1brega","year":"1998","unstructured":"F\u00e1brega, F.J.T., Herzog, J.C., Guttman, J.D.: Strand spaces: Why is a security protocol correct? In: Proceedings of the 1998 IEEE Symposium on Security and Privacy, pp. 160\u2013171. IEEE Press, Los Alamitos (1998)"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/3-540-45499-3_20","volume-title":"Algebraic Methodology and Software Technology","author":"R. Focardi","year":"2000","unstructured":"Focardi, R., Gorrieri, R., Martinelli, F.: Message authentication through non-interference. In: Rus, T. (ed.) AMAST 2000. LNCS, vol.\u00a01816, pp. 258\u2013272. Springer, Heidelberg (2000)"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/3-540-45022-X_31","volume-title":"Automata, Languages and Programming","author":"R. Focardi","year":"2000","unstructured":"Focardi, R., Gorrieri, R., Martinelli, F.: Non Interference for the Analysis of Cryptographic Protocols. In: Welzl, E., Montanari, U., Rolim, J.D.P. (eds.) ICALP 2000. LNCS, vol.\u00a01853, p. 354. Springer, Heidelberg (2000)"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"794","DOI":"10.1007\/3-540-48119-2_44","volume-title":"FM\u201999 - Formal Methods","author":"R. Focardi","year":"1999","unstructured":"Focardi, R., Martinelli, F.: A Uniform Approach for the Definition of Security Properties. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol.\u00a01708, pp. 794\u2013813. Springer, Heidelberg (1999)"},{"unstructured":"Focardi, R., Ghelli, A., Gorrieri, R.: Using Non Interference for the Analysis of Security Protocols. In: Proceedings of the DIMACS Workshop on Design and Formal Verification of Security Protocols, DIMACS Center, Rutgers University (1997)","key":"5_CR18"},{"doi-asserted-by":"crossref","unstructured":"Thayer, R., Doraswamy, N., Glenn, R.: RFC 2411: IP security document roadmap (November 1998)","key":"5_CR19","DOI":"10.17487\/rfc2411"},{"unstructured":"International Organization for Standardization. Information technology \u2013 Security techniques \u2013 Entity authentication mechanism; Part 1: General model. ISO\/IEC 9798\u20131, Second Edition (September 1991)","key":"5_CR20"},{"key":"5_CR21","volume-title":"Proceedings of the 10th Computer Security Foundation Workshop (CSFW10)","author":"G. Lowe","year":"1997","unstructured":"Lowe, G.: A Hierarchy of Authentication Specification. In: Proceedings of the 10th Computer Security Foundation Workshop (CSFW10). IEEE Press, Los Alamitos (1997)"},{"key":"5_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/3-540-61042-1_43","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G. Lowe","year":"1996","unstructured":"Lowe, G.: Breaking and Fixing the Needham-Schroeder Public-key Protocol using FDR. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol.\u00a01055, pp. 146\u2013166. Springer, Heidelberg (1996)"},{"issue":"2","key":"5_CR23","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/BF00197942","volume":"7","author":"R. Kemmerer","year":"1994","unstructured":"Kemmerer, R., Meadows, C., Millen, J.: Three systems for cryptographic protocol analysis. J. Cryptology\u00a07(2), 79\u2013130 (1994)","journal-title":"J. Cryptology"},{"issue":"1","key":"5_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes (I and II). Information and Computation\u00a0100(1), 1\u201377 (1992)","journal-title":"Information and Computation"},{"key":"5_CR25","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1109\/SECPRI.1997.601329","volume-title":"Proceedings of the 1997 IEEE Symposium on Research in Security and Privacy","author":"J.C. Mitchell","year":"1997","unstructured":"Mitchell, J.C., Mitchell, M., Stern, U.: Automated Analysis of Cryptographic Protocols Using Mur\u03c6. In: Proceedings of the 1997 IEEE Symposium on Research in Security and Privacy, pp. 141\u2013153. IEEE Computer Society Press, Los Alamitos (1997)"},{"unstructured":"Sangiorgi, D.: Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms. PhD Thesis. University of Edinburgh (1992)","key":"5_CR26"},{"doi-asserted-by":"crossref","unstructured":"Schneider, S.: Verifying authentication protocols in CSP. IEEE Transactions on Software Engineering\u00a024(9) (September 1998)","key":"5_CR27","DOI":"10.1109\/32.713329"},{"key":"5_CR28","volume-title":"Applied Cryptography","author":"B. Schneier","year":"1996","unstructured":"Schneier, B.: Applied Cryptography, 2nd edn. John Wiley & Sons, Inc., Chichester (1996)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Parallel Computing Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45145-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T07:26:30Z","timestamp":1558682790000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45145-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540406730","9783540451457"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45145-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}