{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:07:16Z","timestamp":1725552436305},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642124587"},{"type":"electronic","value":"9783642124594"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12459-4_17","type":"book-chapter","created":{"date-parts":[[2010,4,29]],"date-time":"2010-04-29T06:49:38Z","timestamp":1272523778000},"page":"233-247","source":"Crossref","is-referenced-by-count":6,"title":["Specifying and Modelling Secure Channels in Strand Spaces"],"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":"17_CR1","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":"17_CR2","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":"17_CR3","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":"17_CR4","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.: Verifying second-level security protocols. In: Basin, D., Wolff, B. (eds.) TPHOLs 2003. LNCS, vol.\u00a02758, pp. 352\u2013366. Springer, Heidelberg (2003)"},{"key":"17_CR5","unstructured":"Creese, S.J., Goldsmith, M.H., Roscoe, A.W., Zakiuddin, I.: The attacker in ubiquitous computing environments: formalising the threat model. In: Proceedings of the 1st International Workshop on Formal Aspects in Security and Trust, FAST (2003)"},{"key":"17_CR6","unstructured":"Dilloway, C.: On the Specification and Analysis of Secure Transport Layers. DPhil thesis, Oxford University (2008)"},{"key":"17_CR7","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":"17_CR8","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":"17_CR9","doi-asserted-by":"crossref","unstructured":"Guttman, J.D., Thayer, F.J.: Authentication tests. In: IEEE Symposium on Security and Privacy, pp. 96\u2013109 (2000)","DOI":"10.1109\/SECPRI.2000.848448"},{"key":"17_CR10","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":"17_CR11","doi-asserted-by":"crossref","unstructured":"Hansen, S.M., Skriver, J., Nielson, H.R.: Using static analysis to validate the SAML single sign-on protocol. In: Proceedings of the 2005 Workshop on Issues in the Theory of Security, WITS 2005 (2005)","DOI":"10.1145\/1045405.1045409"},{"key":"17_CR12","unstructured":"Kamil, A.: The Modelling and Analysis of Layered Security Architectures in Strand Spaces. DPhil thesis, Oxford University, Forthcoming (2009)"},{"key":"17_CR13","unstructured":"Kamil, A., Lowe, G.: Analysing TLS in the Strand Spaces model (2009) (Submitted for publication)"},{"key":"17_CR14","unstructured":"OASIS Security Services Technical Committee. Security assertion markup language (SAML) v2.0 technical overview (2005), http:\/\/www.oasis-open.org\/committees\/security\/"},{"key":"17_CR15","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":"17_CR16","first-page":"160","volume-title":"IEEE Symposium on Research in Security and Privacy","author":"F. Javier Thayer","year":"1998","unstructured":"Javier Thayer, F., 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":"17_CR17","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 in Security and Trust"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12459-4_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:54:11Z","timestamp":1606186451000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12459-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642124587","9783642124594"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12459-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}