{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T04:05:35Z","timestamp":1742529935840,"version":"3.40.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642281655"},{"type":"electronic","value":"9783642281662"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-28166-2_10","type":"book-chapter","created":{"date-parts":[[2012,2,10]],"date-time":"2012-02-10T02:49:28Z","timestamp":1328842168000},"page":"97-105","source":"Crossref","is-referenced-by-count":4,"title":["A Sound Decision Procedure for the Compositionality of Secrecy"],"prefix":"10.1007","author":[{"given":"Mart\u00edn","family":"Ochoa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"J\u00fcrjens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Warzecha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","first-page":"39","volume-title":"20th International Summer School on Foundations of Secure Computation","author":"M. Abadi","year":"2000","unstructured":"Abadi, M.: Security protocols and their properties. In: Bauer, F., Steinbr\u00fcggen, R. (eds.) 20th International Summer School on Foundations of Secure Computation, Marktoberdorf, Germany, pp. 39\u201360. IOS Press, Amsterdam (2000)"},{"doi-asserted-by":"crossref","unstructured":"Apostolopoulos, G., Peris, V., Saha, D.: Transport layer security: How much does it really cost? In: Proceedings of the IEEE Infocom, pp. 717\u2013725 (1999)","key":"10_CR2","DOI":"10.1109\/INFCOM.1999.751458"},{"doi-asserted-by":"crossref","unstructured":"Armando, A., Carbone, R., Compagna, L., Cu\u00e9llar, J., Tobarra, M.L.: Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps. In: Shmatikov, V. (ed.) FMSE, pp. 1\u201310. ACM (2008)","key":"10_CR3","DOI":"10.1145\/1456396.1456397"},{"unstructured":"Broy, M.: A logical basis for component-based systems engineering. In: Calculational System Design. IOS Press (1999)","key":"10_CR4"},{"unstructured":"Clarke, E.M., Long, D.E., Mcmillan, K.L.: Compositional model checking. In: Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS 1989). IEEE Computer Society (1989)","key":"10_CR5"},{"issue":"0","key":"10_CR6","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/j.entcs.2007.02.012","volume":"172","author":"A. Datta","year":"2007","unstructured":"Datta, A., Derek, A., Mitchell, J.C., Roy, A.: Protocol composition logic (pcl). Electronic Notes in Theoretical Computer Science\u00a0172(0), 311\u2013358 (2007); Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"10_CR7","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)"},{"doi-asserted-by":"crossref","unstructured":"Guttman, J.D., Javier, F., F\u00e1brega, F.J.T.: Protocol independence through disjoint encryption. In: Proceedings 13th Computer Security Foundations Workshop, pp. 24\u201334. IEEE Computer Society Press (2000)","key":"10_CR8","DOI":"10.1109\/CSFW.2000.856923"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/3-540-45116-1_6","volume-title":"Information Assurance in Computer Networks. Methods, Models and Architectures for Network Security","author":"J. J\u00fcrjens","year":"2001","unstructured":"J\u00fcrjens, J.: Composability of Secrecy. In: Gorodetski, V.I., Skormin, V.A., Popyack, L.J. (eds.) MMM-ACNS 2001. LNCS, vol.\u00a02052, pp. 28\u201338. Springer, Heidelberg (2001)"},{"issue":"2","key":"10_CR10","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1016\/j.jlap.2008.08.006","volume":"78","author":"J. J\u00fcrjens","year":"2009","unstructured":"J\u00fcrjens, J.: A domain-specific language for cryptographic protocols based on streams. J. Log. Algebr. Program.\u00a078(2), 54\u201373 (2009)","journal-title":"J. Log. Algebr. Program."},{"issue":"3","key":"10_CR11","first-page":"93","volume":"17","author":"G. Lowe","year":"1996","unstructured":"Lowe, G.: Breaking and fixing the Needham-Schroeder public-key protocol using FDR. Software Concepts and Tools\u00a017(3), 93\u2013102 (1996)","journal-title":"Software Concepts and Tools"},{"doi-asserted-by":"crossref","unstructured":"Meadows, C.: Open issues in formal methods for cryptographic protocol analysis. In: DARPA Information Survivability Conference and Exposition (DISCEX 2000), pp. 237\u2013250. IEEE Computer Society (2000)","key":"10_CR12","DOI":"10.1109\/DISCEX.2000.824984"},{"issue":"1-2","key":"10_CR13","doi-asserted-by":"publisher","first-page":"85","DOI":"10.3233\/JCS-1998-61-205","volume":"6","author":"L. Paulson","year":"1998","unstructured":"Paulson, L.: The inductive approach to verifying cryptographic protocols. Journal of Computer Security\u00a06(1-2), 85\u2013128 (1998)","journal-title":"Journal of Computer Security"},{"doi-asserted-by":"crossref","unstructured":"Stoller, S.D.: A bound on attacks on authentication protocols. In: Proc. of the 2nd IFIP International Conference on Theoretical Computer Science: Foundations of Information Technology in the Era of Network and Mobile Computing (2001)","key":"10_CR14","DOI":"10.1007\/978-0-387-35608-2_48"}],"container-title":["Lecture Notes in Computer Science","Engineering Secure Software and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28166-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,20]],"date-time":"2025-03-20T06:19:38Z","timestamp":1742451578000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28166-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642281655","9783642281662"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28166-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}