{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T06:39:50Z","timestamp":1743057590041,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540446019"},{"type":"electronic","value":"9783540446057"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11863908_24","type":"book-chapter","created":{"date-parts":[[2006,9,15]],"date-time":"2006-09-15T23:28:46Z","timestamp":1158362926000},"page":"384-403","source":"Crossref","is-referenced-by-count":18,"title":["Deriving Secrecy in Key Establishment Protocols"],"prefix":"10.1007","author":[{"given":"Dusko","family":"Pavlovic","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catherine","family":"Meadows","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","first-page":"48","volume-title":"Proceedings of CSFW 2005","author":"I. Cervesato","year":"2005","unstructured":"Cervesato, I., Meadows, C., Pavlovic, D.: An encapsulated authentication logic for reasoning about key distribution protocols. In: Guttman, J. (ed.) Proceedings of CSFW 2005, pp. 48\u201361. IEEE, Los Alamitos (2005)"},{"key":"24_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of ARSPA 2006","author":"M. Anlauff","year":"2006","unstructured":"Anlauff, M., Pavlovic, D., Waldinger, R., Westfold, S.: Proving authentication properties in the Protocol Derivation Assistant. In: Proceedings of ARSPA 2006. LNCS. IEEE, Los Alamitos (to appear 2006)"},{"key":"24_CR3","unstructured":"Anlauff, M., Pavlovic, D.: Pda download web site (2003\u20136), \n                  \n                    http:\/\/www.kestrel.edu\/software\/pda"},{"issue":"4","key":"24_CR4","doi-asserted-by":"crossref","first-page":"677","DOI":"10.3233\/JCS-2003-11407","volume":"11","author":"N. Durgin","year":"2004","unstructured":"Durgin, N., Mitchell, J., Pavlovic, D.: A compositional logic for proving security properties of protocols. J. of Comp. Security\u00a011(4), 677\u2013721 (2004)","journal-title":"J. of Comp. Security"},{"key":"24_CR5","doi-asserted-by":"crossref","first-page":"423","DOI":"10.3233\/JCS-2005-13304","volume":"13","author":"A. Datta","year":"2005","unstructured":"Datta, A., Derek, A., Mitchell, J., Pavlovic, D.: A derivation system and compositional logic for security protocols. J. of Comp. Security\u00a013, 423\u2013482 (2005)","journal-title":"J. of Comp. Security"},{"key":"24_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-540-30108-0_4","volume-title":"Computer Security \u2013 ESORICS 2004","author":"C. Meadows","year":"2004","unstructured":"Meadows, C., Pavlovic, D.: Deriving, attacking and defending the GDOI protocol. In: Samarati, P., Ryan, P.Y.A., Gollmann, D., Molva, R. (eds.) ESORICS 2004. LNCS, vol.\u00a03193, pp. 53\u201372. Springer, Heidelberg (2004)"},{"key":"24_CR7","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/BF00124891","volume":"2","author":"W. Diffie","year":"1992","unstructured":"Diffie, W., van Oorschot, P.C., Wiener, M.J.: Authentication and Authenticated Key Exchanges. Designs, Codes, and Cryptography\u00a02, 107\u2013125 (1992)","journal-title":"Designs, Codes, and Cryptography"},{"key":"24_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/3-540-48329-2_21","volume-title":"Advances in Cryptology - CRYPTO \u201993","author":"M. Bellare","year":"1994","unstructured":"Bellare, M., Rogaway, P.: Entity authentication and key distribution. In: Stinson, D.R. (ed.) CRYPTO 1993. LNCS, vol.\u00a0773, pp. 232\u2013249. Springer, Heidelberg (1994)"},{"key":"24_CR9","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V. Pratt","year":"1987","unstructured":"Pratt, V.: Modelling concurrency with partial orders. Internat. J. Parallel Programming\u00a015, 33\u201371 (1987)","journal-title":"Internat. J. Parallel Programming"},{"key":"24_CR10","doi-asserted-by":"crossref","first-page":"191","DOI":"10.3233\/JCS-1999-72-304","volume":"7","author":"F.J.T. Fabrega","year":"1999","unstructured":"Fabrega, F.J.T., Herzog, J., Guttman, J.: Strand spaces: What makes a security protocol correct? Journal of Computer Security\u00a07, 191\u2013230 (1999)","journal-title":"Journal of Computer Security"},{"issue":"2","key":"24_CR11","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/s00145-001-0014-7","volume":"15","author":"M. Abadi","year":"2002","unstructured":"Abadi, M., Rogaway, P.: Reconciling two views of cryptography (the computational soundness of formal encryption). J. of Cryptology\u00a015(2), 103\u2013127 (2002)","journal-title":"J. of Cryptology"},{"key":"24_CR12","doi-asserted-by":"crossref","first-page":"85","DOI":"10.3233\/JCS-1998-61-205","volume":"6","author":"L.C. Paulson","year":"1998","unstructured":"Paulson, L.C.: The inductive approach to verifying cryptographic protocols. Journal of Computer Security\u00a06, 85\u2013128 (1998)","journal-title":"Journal of Computer Security"},{"issue":"6","key":"24_CR13","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1016\/S0020-0190(03)00211-4","volume":"86","author":"J. Millen","year":"2003","unstructured":"Millen, J.: On the freedom of decryption. Information Processing Letters\u00a086(6), 329\u2013333 (2003)","journal-title":"Information Processing Letters"},{"key":"24_CR14","series-title":"Basic Tools","volume-title":"Foundations of Cryptography","author":"O. Goldreich","year":"2000","unstructured":"Goldreich, O.: Foundations of Cryptography. Basic Tools, vol.\u00a0I. Cambridge University Press, Cambridge (2000)"},{"issue":"6","key":"24_CR15","doi-asserted-by":"publisher","first-page":"644","DOI":"10.1109\/TIT.1976.1055638","volume":"IT-22","author":"W. Diffie","year":"1976","unstructured":"Diffie, W., Hellman, M.E.: New directions in cryptography. IEEE Transactions on Information Theory\u00a0IT-22(6), 644\u2013654 (1976)","journal-title":"IEEE Transactions on Information Theory"},{"key":"24_CR16","volume-title":"Computer Networking and Distributed System","author":"C. Kaufman","year":"2002","unstructured":"Kaufman, C., Perlman, R., Speciner, M.: Network Security. Private Communication in a Public World. In: Computer Networking and Distributed System, 2nd edn. Prentice Hall PTR, Englewood Cliffs (2002)","edition":"2"},{"key":"24_CR17","volume-title":"Information Security and Cryptography","author":"C. Boyd","year":"2003","unstructured":"Boyd, C., Mathuria, A.: Protocols for Authentication and Key Establishment. In: Information Security and Cryptography. Springer, Heidelberg (2003)"},{"key":"24_CR18","first-page":"99","volume":"69","author":"T. Matsumoto","year":"1986","unstructured":"Matsumoto, T., Takashima, Y., Imai, H.: On seeking smart public-key distribution systems. Transactions of the IECE (Japan)\u00a069, 99\u2013106 (1986)","journal-title":"Transactions of the IECE (Japan)"},{"key":"24_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/3-540-48892-8_26","volume-title":"Selected Areas in Cryptography","author":"S. Blake-Wilson","year":"1999","unstructured":"Blake-Wilson, S., Menezes, A.: Authenticated diffie-hellman key agreement protocols. In: Tavares, S., Meijer, H. (eds.) SAC 1998. LNCS, vol.\u00a01556, pp. 339\u2013361. Springer, Heidelberg (1999)"},{"key":"24_CR20","first-page":"22","volume-title":"SAC 1995: Proceedings of the Selected Areas in Cryptography","author":"A. Menezes","year":"1995","unstructured":"Menezes, A., Qu, M., Vanstone, S.: Some new key agreement protocols providing mutual implicit authentication. In: SAC 1995: Proceedings of the Selected Areas in Cryptography, London, UK, pp. 22\u201332. Springer, Heidelberg (1995)"},{"key":"24_CR21","unstructured":"Law, L., Menezes, A., Qu, M., Solinas, J., Vanstone, S.: An efficient protocol for authenticated key agreement. Technical Report CORR 98-05, University of Waterloo, also in [22] (1998)"},{"key":"24_CR22","unstructured":"P1363\u00a0Working\u00a0Group: The IEEE P1363 home page. standard specifications for public-key cryptography (2005), \n                  \n                    http:\/\/grouper.ieee.org\/groups\/1363\/"},{"issue":"4","key":"24_CR23","doi-asserted-by":"publisher","first-page":"706","DOI":"10.1145\/155183.155225","volume":"21","author":"M. Abadi","year":"1993","unstructured":"Abadi, M., Burrows, M., Lampson, B., Plotkin, G.: A calculus for access control in distributed systems. ACM Transactions on Programming Languages and Systems\u00a021(4), 706\u2013734 (1993)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"4","key":"24_CR24","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1145\/138873.138874","volume":"10","author":"B. Lampson","year":"1992","unstructured":"Lampson, B., Abadi, M., Burrows, M., Wobber, E.: Authentication in distributed systems: Theory and practice. ACM Trans. on Comput. Syst.\u00a010(4), 265\u2013310 (1992)","journal-title":"ACM Trans. on Comput. Syst."},{"issue":"4","key":"24_CR25","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1145\/363516.363526","volume":"9","author":"A.C. Myers","year":"2000","unstructured":"Myers, A.C., Liskov, B.: Protecting privacy using the decentralized label model. ACM Transactions on Software Engineering and Methodology\u00a09(4), 410\u2013442 (2000)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"7","key":"24_CR26","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM\u00a021(7), 558\u2013565 (1978)","journal-title":"Commun. ACM"}],"container-title":["Lecture Notes in Computer Science","Computer Security \u2013 ESORICS 2006"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11863908_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T20:21:41Z","timestamp":1559506901000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11863908_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540446019","9783540446057"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11863908_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}