{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,12]],"date-time":"2025-08-12T22:21:04Z","timestamp":1755037264459},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642197505"},{"type":"electronic","value":"9783642197512"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-19751-2_4","type":"book-chapter","created":{"date-parts":[[2011,2,24]],"date-time":"2011-02-24T10:55:17Z","timestamp":1298544917000},"page":"50-64","source":"Crossref","is-referenced-by-count":6,"title":["Understanding Abstractions of Secure Channels"],"prefix":"10.1007","author":[{"given":"Allaa","family":"Kamil","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gavin","family":"Lowe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Fournet, C., Gonthier, G.: Secure implementation of channel abstractions. In: Proceedings of Logic in Computer Science (LICS 1998), pp. 105\u2013116 (1998)","DOI":"10.1016\/S1571-0661(05)82514-9"},{"key":"4_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":"4_CR3","doi-asserted-by":"crossref","unstructured":"Armando, A., Carbone, R., Compagna, L.: LTL model checking for security protocols. In: 20th IEEE Computer Security Foundations Symposium (2007)","DOI":"10.1109\/CSF.2007.24"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Armando, A., Carbone, R., Compagna, L., Cuellar, J., Tobarra, L.: Formal analysis of SAML 2.0 web browser single sign-on: Breaking the SAML-based single sign-on for Google Apps. In: The 6th ACM Workshop on Formal Methods in Security Engineering, FMSE 2008 (2008)","DOI":"10.1145\/1456396.1456397"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1007\/10930755_23","volume-title":"Theorem Proving in Higher Order Logics","author":"G. Bella","year":"2003","unstructured":"Bella, G., Longo, C., Paulson, L.C.: Verifying second-level security protocols. In: Basin, D., Wolff, B. (eds.) TPHOLs 2003. LNCS, vol.\u00a02758, pp. 352\u2013366. Springer, Heidelberg (2003)"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Bugliesi, M., Focardi, R.: Language based secure communication. In: Proceedings of the 21st IEEE Computer Security Foundations Symposium (2008)","DOI":"10.1109\/CSF.2008.17"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/3-540-36532-X_21","volume-title":"Software Security \u2013 Theories and Systems","author":"R. Canetti","year":"2003","unstructured":"Canetti, R., Meadows, C., Syverson, P.F.: Environmental requirements for authentication protocols. In: Okada, M., Babu, C. S., Scedrov, A., Tokuda, H. (eds.) ISSS 2002. LNCS, vol.\u00a02609, pp. 339\u2013355. Springer, Heidelberg (2003)"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1007\/978-3-540-77050-3_29","volume-title":"FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science","author":"V. Cortier","year":"2007","unstructured":"Cortier, V., Delaitre, J., Delaune, S.: Safely composing security protocols. In: Arvind, V., Prasad, S. (eds.) FSTTCS 2007. LNCS, vol.\u00a04855, pp. 352\u2013363. Springer, Heidelberg (2007)"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Ciob\u00e2c\u0103, \u015e., Cortier, V.: Protocol composition for arbitrary primitives. In: Proc. 23rd IEEE Computer Security Foundations Symposium, CSF 2010 (2010) (forthcoming)","DOI":"10.1109\/CSF.2010.29"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Datta, A., Derek, A., Mitchell, J.C., Pavlovic, D.: Secure protocol composition. In: Proc. FMSE 2003, pp. 11\u201323 (2003)","DOI":"10.1145\/1035429.1035431"},{"key":"4_CR11","unstructured":"Dilloway, C.: On the Specification and Analysis of Secure Transport Layers. DPhil thesis, Oxford University (2008)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Dilloway, C., Lowe, G.: Specifying secure transport layers. In: 21st IEEE Computer Security Foundations Symposium, CSF 21 (2008)","DOI":"10.1109\/CSF.2008.14"},{"key":"4_CR13","unstructured":"Google. Web-based reference implementation of SAML-based SSO for Google Apps. (2008), http:\/\/code.google.com\/apis\/apps\/sso\/saml_reference_implementation_web.html"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/978-3-642-00596-1_22","volume-title":"Foundations of Software Science and Computational Structures","author":"J.D. Guttman","year":"2009","unstructured":"Guttman, J.D.: Cryptographic protocol composition via the authentication tests. In: de Alfaro, L. (ed.) FOSSACS 2009. LNCS, vol.\u00a05504, pp. 303\u2013317. Springer, Heidelberg (2009)"},{"key":"4_CR15","volume-title":"Proceedings of the 13th IEEE Computer Security Foundations Workshop (CSFW)","author":"J.D. Guttman","year":"2000","unstructured":"Guttman, J.D., Thayer, F.J.: Protocol independence through disjoint encryption. In: Proceedings of the 13th IEEE Computer Security Foundations Workshop (CSFW), Washington, DC, USA. IEEE Computer Society, Los Alamitos (2000)"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Guttman, J.D., Thayer, F.J.: Authentication tests and the structure of bundles. Theoretical Computer Science (2001)","DOI":"10.1016\/S0304-3975(01)00139-6"},{"key":"4_CR17","unstructured":"Kamil, A.: The Modelling and Analysis of Layered Security Architectures in Strand Spaces. DPhil thesis, Oxford University (2010)"},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-642-12459-4_17","volume-title":"Formal Aspects in Security and Trust","author":"A. Kamil","year":"2010","unstructured":"Kamil, A., Lowe, G.: Specifying and modelling secure channels in strand spaces. In: Degano, P., Guttman, J.D. (eds.) FAST 2009. LNCS, vol.\u00a05983, pp. 233\u2013247. Springer, Heidelberg (2010)"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Kamil, A., Lowe, G.: Analysing TLS in the strand spaces model (2010) (in preparation)","DOI":"10.3233\/JCS-2011-0429"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Kelsey, J., Schneier, B., Wagner, D.: Protocol interactions and the chosen protocol attack. In: International Workshop on Security Protocols (1997)","DOI":"10.1007\/BFb0028162"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-642-04444-1_21","volume-title":"Computer Security \u2013 ESORICS 2009","author":"S. M\u00f6dersheim","year":"2009","unstructured":"M\u00f6dersheim, S., Vigan\u00f2, L.: Secure pseudonymous channels. In: Backes, M., Ning, P. (eds.) ESORICS 2009. LNCS, vol.\u00a05789, pp. 337\u2013354. Springer, Heidelberg (2009)"},{"key":"4_CR22","unstructured":"OASIS Security Services Technical Committee. Security assertion markup language (SAML) v2.0 technical overview (2005), http:\/\/www.oasis-open.org\/committees\/security\/"},{"key":"4_CR23","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1998","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall, Englewood Cliffs (1998)"},{"key":"4_CR24","first-page":"160","volume-title":"IEEE Symposium on Research in Security and Privacy","author":"F.J. Thayer","year":"1998","unstructured":"Thayer, F.J., Herzog, J.C., Guttman, J.D.: Strand spaces: Why is a security protocol correct? In: IEEE Symposium on Research in Security and Privacy, pp. 160\u2013171. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"4_CR25","volume-title":"SSL and TLS: Securing the Web","author":"S. Thomas","year":"2000","unstructured":"Thomas, S.: SSL and TLS: Securing the Web. Wiley, Chichester (2000)"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Security and Trust"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19751-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,19]],"date-time":"2021-11-19T11:36:07Z","timestamp":1637321767000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19751-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642197505","9783642197512"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19751-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}