{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,12]],"date-time":"2025-08-12T22:09:55Z","timestamp":1755036595450,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540008866"},{"type":"electronic","value":"9783540365754"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36575-3_12","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T21:52:15Z","timestamp":1193521935000},"page":"159-173","source":"Crossref","is-referenced-by-count":24,"title":["Handling Encryption in an Analysis for Secure Information Flow"],"prefix":"10.1007","author":[{"given":"Peeter","family":"Laud","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"issue":"1","key":"12_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1998.2740","volume":"148","author":"M. Abadi","year":"1999","unstructured":"M. Abadi and A. Gordon. A Calculus for Cryptographic Protocols: The Spi Calculus. Information and Computation, 148(1):1\u201370, Jan. 1999.","journal-title":"Information and Computation"},{"key":"12_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/3-540-45500-0_4","volume-title":"Formal Eavesdropping and Its Computational Interpretation","author":"M. Abadi","year":"2001","unstructured":"M. Abadi and J. J\u00fcrjens. Formal Eavesdropping and Its Computational Interpretation. In proc. of TACS 2001 (LNCS 2215), pages 82\u201394."},{"key":"12_CR3","series-title":"Lect Notes Comput Sci","first-page":"3","volume-title":"Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)","author":"M. Abadi","year":"1872","unstructured":"M. Abadi and P. Rogaway. Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption). In proc. of International Conference IFIP TCS 2000 (LNCS 1872), pages 3\u201322."},{"unstructured":"M. Backes. Cryptographically Sound Analysis of Security Protocols. PhD thesis, Universit\u00e4t des Saarlandes, 2002.","key":"12_CR4"},{"issue":"1","key":"12_CR5","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/77648.77649","volume":"8","author":"M. Burrows","year":"1990","unstructured":"M. Burrows, M. Abadi, and R. Needham. A Logic of Authentication. ACM Transactions on Computer Systems, 8(1):18\u201336, Feb. 1990.","journal-title":"ACM Transactions on Computer Systems"},{"issue":"1\u20132","key":"12_CR6","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S0304-3975(00)00313-3","volume":"277","author":"P. Cousot","year":"2002","unstructured":"P. Cousot. Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation. Theoretical Computer Science 277(1\u20132):47\u2013103, Apr. 2002.","journal-title":"Theoretical Computer Science"},{"issue":"5","key":"12_CR7","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1145\/360051.360056","volume":"19","author":"D. Denning","year":"1976","unstructured":"D. Denning. A Lattice Model of Secure Information Flow. Communications of the ACM, 19(5):236\u2013243, 1976.","journal-title":"Communications of the ACM"},{"issue":"7","key":"12_CR8","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1145\/359636.359712","volume":"20","author":"D. Denning","year":"1977","unstructured":"D. Denning and P. Denning. Certification of Programs for Secure Information Flow. Communications of the ACM, 20(7):504\u2013513, 1977.","journal-title":"Communications of the ACM"},{"doi-asserted-by":"crossref","unstructured":"J. Goguen and J. Meseguer. Security Policies and Security Models. In proc. of IEEE S&P 1982, pages 11\u201320.","key":"12_CR9","DOI":"10.1109\/SP.1982.10014"},{"doi-asserted-by":"crossref","unstructured":"J. Gray III. Probabilistic Noninterference. In proc. of IEEE S&P 1990, pages 170\u2013179.","key":"12_CR10","DOI":"10.1109\/RISP.1990.63848"},{"key":"12_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/3-540-45309-1_6","volume-title":"Semantics and Program Analysis of Computationally Secure Information Flow","author":"P. Laud","year":"2001","unstructured":"P. Laud. Semantics and Program Analysis of Computationally Secure Information Flow. In proc. of ESOP 2001 (LNCS 2028), pages 77\u201391."},{"unstructured":"P. Laud. Computationally Secure Information Flow. PhD thesis, Universit\u00e4t des Saarlandes, 2002.","key":"12_CR12"},{"key":"12_CR13","series-title":"Lect Notes Comput Sci","first-page":"254","volume-title":"A Semantic Approach to Secure Information Flow","author":"K. Leino","year":"1998","unstructured":"K. Leino and R. Joshi. A Semantic Approach to Secure Information Flow. In proc. of Matehematics of Program Construction\u2019 98 (LNCS 1422), pages 254\u2013271."},{"doi-asserted-by":"crossref","unstructured":"P. Lincoln, J. Mitchell, M. Mitchell, and A. Scedrov. A Probabilistic Poly-Time Framework for Protocol Analysis. In proc. of ACM CCS\u2019 98, pages 112\u2013121.","key":"12_CR14","DOI":"10.1145\/288090.288117"},{"key":"12_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"776","DOI":"10.1007\/3-540-48119-2_43","volume-title":"Probabilistic Polynomial-Time Equivalence and Security Analysis","author":"P. Lincoln","year":"1999","unstructured":"P. Lincoln, J. Mitchell, M. Mitchell, and A. Scedrov. Probabilistic Polynomial-Time Equivalence and Security Analysis. In proc. of the World Congress on Formal Methods in the Development of Computing Systems\u2019 99 (LNCS 1708), pages 776\u2013793."},{"key":"12_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/3-540-45309-1_2","volume-title":"Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis","author":"J. Mitchell","year":"2001","unstructured":"J. Mitchell. Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis. In proc. of ESOP 2001 (LNCS 2028), pages 23\u201329."},{"unstructured":"H. Nielson and F. Nielson. Semantics with Applications: A Formal Introduction.Wiley, 1992.","key":"12_CR17"},{"doi-asserted-by":"crossref","unstructured":"B. Pfitzmann, M. Schunter, and M. Waidner. Cryptographic Security of Reactive Systems. In proc. of Workshop on Secure Architectures and Information Flow (ENTCS 32), 2000.","key":"12_CR18","DOI":"10.1016\/S1571-0661(04)00095-7"},{"doi-asserted-by":"crossref","unstructured":"B. Pfitzmann and M. Waidner. Composition and integrity preservation of secure reactive systems. In proc. of ACM CCS 2000, pages 245\u2013254.","key":"12_CR19","DOI":"10.1145\/352600.352639"},{"doi-asserted-by":"crossref","unstructured":"B. Pfitzmann and M. Waidner. A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission. In proc. of IEEE S&P 2001, pages 184\u2013200.","key":"12_CR20","DOI":"10.1109\/SECPRI.2001.924298"},{"issue":"2\/3","key":"12_CR21","doi-asserted-by":"crossref","first-page":"191","DOI":"10.3233\/JCS-1999-72-304","volume":"7","author":"F. Thayer","year":"1999","unstructured":"F. Thayer, J. Herzog, and J. Guttman. Strand Spaces: Proving Security Protocols Correct. Journal of Computer Security, 7(2\/3):191\u2013230, 1999.","journal-title":"Journal of Computer Security"},{"doi-asserted-by":"crossref","unstructured":"D. Volpano. Secure Introduction of One-way Functions. In proc. of CSFW\u2019 00, pages 246\u2013254.","key":"12_CR22","DOI":"10.1109\/CSFW.2000.856941"},{"doi-asserted-by":"crossref","unstructured":"D. Volpano and G. Smith. Verifying Secrets and Relative Secrecy. In proc. of POPL 2000, pages 268\u2013276.","key":"12_CR23","DOI":"10.1145\/325694.325729"},{"issue":"23","key":"12_CR24","doi-asserted-by":"crossref","first-page":"167","DOI":"10.3233\/JCS-1996-42-304","volume":"4","author":"D. Volpano","year":"1996","unstructured":"D. Volpano, G. Smith, and C. Irvine. A Sound Type System for Secure Flow Analysis. Journal of Computer Security, 4(2,3):167\u2013187, 1996.","journal-title":"Journal of Computer Security"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36575-3_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T23:40:24Z","timestamp":1737502824000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36575-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008866","9783540365754"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-36575-3_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}