{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T23:07:02Z","timestamp":1743116822203,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642044434"},{"type":"electronic","value":"9783642044441"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-04444-1_21","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T18:34:44Z","timestamp":1252953284000},"page":"337-354","source":"Crossref","is-referenced-by-count":29,"title":["Secure Pseudonymous Channels"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"M\u00f6dersheim","sequence":"first","affiliation":[]},{"given":"Luca","family":"Vigan\u00f2","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"21_CR1","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1006\/inco.2002.3086","volume":"174","author":"M. Abadi","year":"2002","unstructured":"Abadi, M., Fournet, C., Gonthier, G.: Secure Implementation of Channel Abstractions. Information and Computation\u00a0174(1), 37\u201383 (2002)","journal-title":"Information and Computation"},{"key":"21_CR2","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1016\/j.ic.2007.07.002","volume":"206","author":"S. Andova","year":"2008","unstructured":"Andova, S., Cremers, C., Gj\u00f8steen, K., Mauw, S., Mj\u00f8lsnes, S., Radomirovi\u0107, S.: A framework for compositional verification of security protocols. Information and Computation\u00a0206, 425\u2013459 (2008)","journal-title":"Information and Computation"},{"key":"21_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/11513988_27","volume-title":"Computer Aided Verification","author":"A. Armando","year":"2005","unstructured":"Armando, A., Basin, D., Boichut, Y., Chevalier, Y., Compagna, L., Cuellar, J., Hankes Drielsma, P., H\u00e9am, P.-C., Mantovani, J., M\u00f6dersheim, S., von Oheimb, D., Rusinowitch, M., Santiago, J., Turuani, M., Vigan\u00f2, L., Vigneron, L.: The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 281\u2013285. Springer, Heidelberg (2005)"},{"key":"21_CR4","first-page":"385","volume-title":"Proc.\u00a0CSFW 2007","author":"A. Armando","year":"2007","unstructured":"Armando, A., Carbone, R., Compagna, L.: LTL Model Checking for Security Protocols. In: Proc.\u00a0CSFW 2007, pp. 385\u2013396. IEEE CS Press, Los Alamitos (2007)"},{"key":"21_CR5","unstructured":"AVISPA. Deliverable 2.3: The Intermediate Format (2003), http:\/\/www.avispa-project.org"},{"key":"21_CR6","unstructured":"Backes, M., Pfitzmann, B., Waidner, M.: Secure asynchronous reactive systems, Cryptology ePrint Archive, Report 2004\/082 (2004), http:\/\/eprint.iacr.org\/"},{"key":"21_CR7","unstructured":"Bradner, S., Mankin, A., Schiller, J.: A framework for purpose built keys (PBK) (2003), draft-bradner-pbk-frame-06.txt (Work in Progress)"},{"key":"21_CR8","first-page":"3","volume-title":"Proc.\u00a0CSFW 2008","author":"M. Bugliesi","year":"2008","unstructured":"Bugliesi, M., Focardi, R.: Language based secure communication. In: Proc.\u00a0CSFW 2008, pp. 3\u201316. IEEE Computer Society Press, Los Alamitos (2008)"},{"key":"21_CR9","first-page":"136","volume-title":"Proc.\u00a0FOCS 2001","author":"R. Canetti","year":"2001","unstructured":"Canetti, R.: Universally composable security: A new paradigm for cryptographic protocols. In: Proc.\u00a0FOCS 2001, pp. 136\u2013145. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"21_CR10","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1016\/j.ic.2007.05.005","volume":"206","author":"I. Cervesato","year":"2008","unstructured":"Cervesato, I., Jaggard, A.D., Scedrov, A., Tsay, J.-K., Walstad, C.: Breaking and fixing public-key Kerberos. Information and Computation\u00a0206, 402\u2013424 (2008)","journal-title":"Information and Computation"},{"issue":"1","key":"21_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10703-008-0059-4","volume":"34","author":"V. Cortier","year":"2009","unstructured":"Cortier, V., Delaune, S.: Safely composing security protocols. Formal Methods in System Design\u00a034(1), 1\u201336 (2009)","journal-title":"Formal Methods in System Design"},{"key":"21_CR12","first-page":"11","volume-title":"Proc.\u00a0FMSE 2003","author":"A. Datta","year":"2003","unstructured":"Datta, A., Derek, A., Mitchell, J.C., Pavlovic, D.: Secure protocol composition. In: Proc.\u00a0FMSE 2003, pp. 11\u201323. ACM Press, New York (2003)"},{"key":"21_CR13","first-page":"239","volume-title":"Proc.\u00a0CSFW 2008","author":"S. Delaune","year":"2008","unstructured":"Delaune, S., Kremer, S., Ryan, M.D.: Composition of password-based protocols. In: Proc.\u00a0CSFW 2008, pp. 239\u2013251. IEEE Computer Society Press, Los Alamitos (2008)"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Dierks, T., Allen, C.: RFC2246 \u2013 The TLS Protocol Version 1 (1999)","DOI":"10.17487\/rfc2246"},{"key":"21_CR15","unstructured":"Dilloway, C., Lowe, G.: On the specification of secure channels. In: Proc.\u00a0WITS 2007 (2007)"},{"issue":"12","key":"21_CR16","first-page":"409","volume":"4","author":"J.D. Guttman","year":"2004","unstructured":"Guttman, J.D.: Authentication tests and disjoint encryption: a design method for security protocols. J.\u00a0Comp.\u00a0Sec.\u00a04(12), 409\u2013433 (2004)","journal-title":"J.\u00a0Comp.\u00a0Sec."},{"key":"21_CR17","first-page":"303","volume-title":"FOSSACS 2009","author":"J.D. Guttman","year":"2009","unstructured":"Guttman, J.D.: Cryptographic protocol composition via the authentication tests. In: de Alfaro, L. (ed.) FOSSACS 2009, vol.\u00a05504, pp. 303\u2013317. Springer, Heidelberg (2009)"},{"key":"21_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/978-3-540-75227-1_6","volume-title":"Formal Aspects in Security and Trust","author":"P. Hankes Drielsma","year":"2007","unstructured":"Hankes Drielsma, P., M\u00f6dersheim, S., Vigan\u00f2, L., Basin, D.: Formalizing and analyzing sender invariance. In: Dimitrakos, T., Martinelli, F., Ryan, P.Y.A., Schneider, S. (eds.) FAST 2006. LNCS, vol.\u00a04691, pp. 80\u201395. Springer, Heidelberg (2007)"},{"key":"21_CR19","first-page":"217","volume-title":"Proc.\u00a0CSFW 2000","author":"J. Heather","year":"2000","unstructured":"Heather, J., Lowe, G., Schneider, S.: How to prevent type flaw attacks on security protocols. In: Proc.\u00a0CSFW 2000, pp. 217\u2013244. IEEE CS Press, Los Alamitos (2000)"},{"key":"21_CR20","doi-asserted-by":"crossref","unstructured":"Johnson, D., Perkins, C., Arkko, J.: RFC3775\u2013Mobility Support in IPv6 (2004)","DOI":"10.17487\/rfc3775"},{"key":"21_CR21","first-page":"31","volume-title":"Proc.\u00a0CSFW 1997","author":"G. Lowe","year":"1997","unstructured":"Lowe, G.: A hierarchy of authentication specifications. In: Proc.\u00a0CSFW 1997, pp. 31\u201343. IEEE CS Press, Los Alamitos (1997)"},{"issue":"1","key":"21_CR22","first-page":"53","volume":"6","author":"G. Lowe","year":"1998","unstructured":"Lowe, G.: Casper: a Compiler for the Analysis of Security Protocols. J.\u00a0Comp.\u00a0Sec.\u00a06(1), 53\u201384 (1998)","journal-title":"J.\u00a0Comp.\u00a0Sec."},{"issue":"1","key":"21_CR23","first-page":"55","volume":"4","author":"U.M. Maurer","year":"1996","unstructured":"Maurer, U.M., Schmid, P.E.: A calculus for security bootstrapping in distributed systems. J.\u00a0Comp.\u00a0Sec.\u00a04(1), 55\u201380 (1996)","journal-title":"J.\u00a0Comp.\u00a0Sec."},{"key":"21_CR24","unstructured":"M\u00f6dersheim, S.: Models and Methods for the Automated Analysis of Security Protocols. PhD Thesis, ETH Zurich, ETH Dissertation No. 17013 (2007)"},{"key":"21_CR25","doi-asserted-by":"crossref","unstructured":"M\u00f6dersheim, S.: Algebraic Properties in Alice and Bob Notation. In: Proc.\u00a0Ares 2009; Full version: T.\u00a0Rep.\u00a0RZ3709, IBM Zurich Research Lab (2008), http:\/\/domino.research.ibm.com\/library\/cyberdig.nsf","DOI":"10.1109\/ARES.2009.95"},{"key":"21_CR26","doi-asserted-by":"crossref","unstructured":"M\u00f6dersheim, S., Vigan\u00f2, L.: Secure Pseudonymous Channels (extended version). T.\u00a0Rep.\u00a0RZ3724, IBM Zurich Research Lab (2009), http:\/\/domino.research.ibm.com\/library\/cyberdig.nsf","DOI":"10.1007\/978-3-642-04444-1_21"},{"key":"21_CR27","first-page":"153","volume-title":"Proc.\u00a0CSFW 2006","author":"C. Sprenger","year":"2006","unstructured":"Sprenger, C., Backes, M., Basin, D., Pfitzmann, B., Waidner, M.: Cryptographically Sound Theorem Proving. In: Proc.\u00a0CSFW 2006, pp. 153\u2013166. IEEE CS Press, Los Alamitos (2006)"}],"container-title":["Lecture Notes in Computer Science","Computer Security \u2013 ESORICS 2009"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04444-1_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T18:09:58Z","timestamp":1633889398000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04444-1_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642044434","9783642044441"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04444-1_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}