{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T08:42:46Z","timestamp":1774946566114,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540418627","type":"print"},{"value":"9783540453093","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45309-1_6","type":"book-chapter","created":{"date-parts":[[2008,11,28]],"date-time":"2008-11-28T00:39:26Z","timestamp":1227832766000},"page":"77-91","source":"Crossref","is-referenced-by-count":53,"title":["Semantics and Program Analysis of Computationally 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":[[2001,3,23]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Banerjee, A., Heintze, N., Riecke, J.G.: A Core Calculus of Dependency. In proc. of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, TX, January 20-22, 1999, ACM Press, pp. 147\u2013160, 1999.","DOI":"10.1145\/292540.292555"},{"key":"6_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/3-540-44929-9_1","volume-title":"proc. of the International Conference IFIP TCS 2000 Sendai, Japan","author":"M. Abadi","year":"2000","unstructured":"Abadi, M., Rogaway, P.: Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption). In: van Leeuwen, J., Watanabe, O., Hagiya, M., Mosses, P.D., Ito, T. (eds.): proc. of the International Conference IFIP TCS 2000 Sendai, Japan, August 17-19, 2000 (LNCS 1872), Springer-Verlag pp. 3\u201322, 2000."},{"key":"6_CR3","unstructured":"Cohen, E.: Information Transmission in Sequential Programs. In: DeMillo, R.A., Dobkin, D.P., Jones, A.K., Lipton, R.J. (eds.): Foundations of Secure Computation. Academic Press, pp. 297\u2013335. 1978."},{"issue":"5","key":"6_CR4","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1145\/360051.360056","volume":"19","author":"D.E. Denning","year":"1976","unstructured":"Denning, D.E.: A Lattice Model of Secure Information Flow. Communications of the ACM 19(5), pp. 236\u2013243, 1976.","journal-title":"Communications of the ACM"},{"issue":"7","key":"6_CR5","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1145\/359636.359712","volume":"20","author":"D.E. Denning","year":"1977","unstructured":"Denning, D.E., Denning, P.: Certification of Programs for Secure Information Flow. Communications of the ACM 20(7), pp. 504\u2013513, 1977.","journal-title":"Communications of the ACM"},{"key":"6_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1007\/BFb0052227","volume-title":"proc. of CRYPTO\u2019 97, Santa Barbara, CA","author":"O. Goldreich","year":"1997","unstructured":"Goldreich, O.: The Foundations of Modern Cryptography. In: Kaliski, B. (ed.): proc. of CRYPTO\u2019 97, Santa Barbara, CA, August 17-21, 1997 (LNCS 1294), Springer-Verlag, pp. 46\u201374, 1997."},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Heintze, N., Riecke, J.G.: The SLam Calculus: Programming with Secrecy and Integrity. In proc. of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, January 19-21, 1998, ACM Press, pp. 365\u2013377, 1998.","DOI":"10.1145\/268946.268976"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Kaliski, B., Staddon, J.: PKCS #1: RSA Cryptography Standard. Version 2.0. RSA Laboratories, September 1998.","DOI":"10.17487\/rfc2437"},{"key":"6_CR9","unstructured":"Landi, W.: Interprocedural Aliasing in the Presence of Pointers. PhD thesis, Rutgers University, 1992."},{"key":"6_CR10","series-title":"Lect Notes Comput Sci","first-page":"254","volume-title":"proc. of \u201cMathematics of Program Construction, MPC\u201998\u201d, Marstrand, Sweden","author":"K.R.M. Leino","year":"1998","unstructured":"Leino, K.R.M., Joshi, R.: A Semantic Approach to Secure Information Flow. In: Jeuring, J. (ed.): proc. of \u201cMathematics of Program Construction, MPC\u201998\u201d, Marstrand, Sweden, June 15-17, 1998 (LNCS 1422), Springer-Verlag, 254\u2013271, 1998."},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Myers, A.C.: JFlow: Practical Mostly-Static Information Flow Control. In proc. of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, TX, January 20-22, 1999, ACM Press, pp. 228\u2013241, 1999.","DOI":"10.1145\/292540.292561"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Reitman, R.P., Andrews, G.R.: Certifying information flow properties of programs: an axiomatic approach. In proc. of the 6th Annual ACM Symposium on Principles of Programming Languages, San Antonio, TX, January 1979, ACM Press, pp. 283\u2013290, 1979.","DOI":"10.1145\/567752.567779"},{"key":"6_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1007\/3-540-49099-X_4","volume-title":"proc. of the 8th European Symposium on Programming, ESOP\u201999, Amsterdam, The Netherlands","author":"A. Sabelfeld","year":"1999","unstructured":"Sabelfeld, A., Sands, D.: A Per Model of Secure Information Flow in Sequential Programs. In: Swierstra, S.D. (ed.): proc. of the 8th European Symposium on Programming, ESOP\u201999, Amsterdam, The Netherlands, 22-28 March, 1999 (LNCS 1576), Springer-Verlag, pp. 40\u201358, 1999."},{"issue":"23","key":"6_CR14","doi-asserted-by":"crossref","first-page":"167","DOI":"10.3233\/JCS-1996-42-304","volume":"4","author":"D. Volpano","year":"1996","unstructured":"Volpano, D., Smith, G., Irvine, C.: A Sound Type System for Secure Flow Analysis. Journal of Computer Security 4(2,3), pp. 167\u2013187, 1996.","journal-title":"Journal of Computer Security"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Volpano, D., Smith, G.: Verifying secrets and relative secrecy. In proc. of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, MA, January 19-21, 2000, ACM Press, pp. 268\u2013276, 2000.","DOI":"10.1145\/325694.325729"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Volpano, D.: Secure Introduction of One-way Functions. In proc. of the 13th IEEE Computer Security Foundations Workshop. Cambridge, UK, July 3-5, 2000.","DOI":"10.1109\/CSFW.2000.856941"}],"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-45309-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T20:30:14Z","timestamp":1557952214000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45309-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418627","9783540453093"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-45309-1_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}