{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T08:42:58Z","timestamp":1774946578700,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,6,7]],"date-time":"2008-06-07T00:00:00Z","timestamp":1212796800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,6,7]]},"DOI":"10.1145\/1375696.1375713","type":"proceedings-article","created":{"date-parts":[[2008,6,10]],"date-time":"2008-06-10T14:13:22Z","timestamp":1213107202000},"page":"135-146","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":38,"title":["Lagrange multipliers and maximum information leakage in different observational models"],"prefix":"10.1145","author":[{"given":"Pasquale","family":"Malacaria","sequence":"first","affiliation":[{"name":"Queen Mary University of London, London, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Han","family":"Chen","sequence":"additional","affiliation":[{"name":"Queen Mary University of London, London, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,6,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/11787006_11"},{"key":"e_1_3_2_1_2_1","volume-title":"Postpro?eedings of the Symp. on Trustworthy Global Computing, Le?ture Notes in Computer Science","author":"Chatzikokolakis K.","year":"2006","unstructured":"K. Chatzikokolakis , C. Palamidessi , P. Panangaden . Anonymity Proto?ols as Noisy Channels , in: Postpro?eedings of the Symp. on Trustworthy Global Computing, Le?ture Notes in Computer Science , Springer , 2006 , K. Chatzikokolakis, C. Palamidessi, P. Panangaden. Anonymity Proto?ols as Noisy Channels, in: Postpro?eedings of the Symp. on Trustworthy Global Computing, Le?ture Notes in Computer Science, Springer, 2006,"},{"key":"e_1_3_2_1_3_1","volume-title":"Elements of Information Theory","author":"Thomas J.","unstructured":".Cover, J. Thomas . Elements of Information Theory . Wiley .Cover, J. Thomas. Elements of Information Theory. Wiley"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1370628.1370629"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/2773570.2773721"},{"key":"e_1_3_2_1_6_1","volume-title":"Quantitative Analysis of the leakage of confidential data.Electronic Notes in Theoretical Computer S?ien?e 59","author":"Clark David","year":"2002","unstructured":"David Clark , Sebastian Hunt , Pasquale Mala?aria : Quantitative Analysis of the leakage of confidential data.Electronic Notes in Theoretical Computer S?ien?e 59 , 2002 David Clark, Sebastian Hunt, Pasquale Mala?aria: Quantitative Analysis of the leakage of confidential data.Electronic Notes in Theoretical Computer S?ien?e 59, 2002"},{"key":"e_1_3_2_1_7_1","volume-title":"Addison--Wesley","author":"Denning D. E.","year":"1982","unstructured":"D. E. Denning : Cyptography and Data Security . Addison--Wesley , 1982 . D. E. Denning: Cyptography and Data Security. Addison--Wesley, 1982."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360056"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1255329.1255335"},{"key":"e_1_3_2_1_10_1","volume-title":"1991 IEEE Symposium on Security and Privacy","author":"James W","year":"1991","unstructured":"James W Gray III : Toward a methematical foundataion for information flow security. Pro? . 1991 IEEE Symposium on Security and Privacy . Oakland, California , May 1991 . James W Gray III: Toward a methematical foundataion for information flow security. Pro?. 1991 IEEE Symposium on Security and Privacy. Oakland, California, May 1991."},{"key":"e_1_3_2_1_11_1","unstructured":"S. Kullba?k:Information Theory and Statistics. Dover Publications. 1997.  S. Kullba?k:Information Theory and Statistics. Dover Publications. 1997."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1145948.1145953"},{"key":"e_1_3_2_1_13_1","volume-title":"Measuring Insecurity of Programs. Manuscript","author":"Heusser J.","year":"2007","unstructured":"J. Heusser and P. Mala?aria : Measuring Insecurity of Programs. Manuscript 2007 . J.Heusser and P. Mala?aria: Measuring Insecurity of Programs. Manuscript 2007."},{"key":"e_1_3_2_1_14_1","volume-title":"Proc. 1990 IEEE Symposium on Security and Privacy","author":"John","year":"1990","unstructured":"John M?lean : Security models and information flow . Proc. 1990 IEEE Symposium on Security and Privacy . Oakland, California , May 1990 . John M?lean: Security models and information flow. Proc. 1990 IEEE Symposium on Security and Privacy. Oakland, California, May 1990."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190251"},{"key":"e_1_3_2_1_16_1","volume-title":"Proc. 1987 IEEE Symposium on Research in Security and Privacy.","author":"Millen Jonathan","unstructured":"Jonathan Millen : Covert Channel capacity . Proc. 1987 IEEE Symposium on Research in Security and Privacy. Jonathan Millen: Covert Channel capacity. Proc. 1987 IEEE Symposium on Research in Security and Privacy."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03811-6","volume-title":"Chris Hankin. Principles of Program Analysis","author":"Nielson Flemming","year":"1999","unstructured":"Flemming Nielson , Hanne Riis Nielson , Chris Hankin. Principles of Program Analysis , Springer . 1999 . Flemming Nielson, Hanne Riis Nielson, Chris Hankin. Principles of Program Analysis, Springer. 1999."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/794200.795151"},{"key":"e_1_3_2_1_20_1","volume-title":"A Mathematical Theory of Communication","author":"Shannon C. E.","year":"1963","unstructured":"C. E. Shannon and W. Weaver : A Mathematical Theory of Communication . Urbana, IL : Univ. of Illinois press , 1963 . C. E. Shannon and W. Weaver:A Mathematical Theory of Communication. Urbana, IL: Univ. of Illinois press, 1963."},{"key":"e_1_3_2_1_21_1","volume-title":"Proc. 1988 Workshop on the Foundations of Computer Security","author":"Weber D. G.","year":"1988","unstructured":"D. G. Weber : Quantitative hookup security for covert channel analysis . Proc. 1988 Workshop on the Foundations of Computer Security , Fanconia, New Hampshire, U.S.A. , 1988 . D. G. Weber: Quantitative hookup security for covert channel analysis. Proc. 1988 Workshop on the Foundations of Computer Security, Fanconia, New Hampshire, U.S.A., 1988."},{"key":"e_1_3_2_1_22_1","volume-title":"Proc. 1990 Workshop on the Foundations of Computer Security","author":"Network T.","year":"1990","unstructured":"T. Wittbold: Network of covert channels . Proc. 1990 Workshop on the Foundations of Computer Security , 1990 . T. Wittbold:Network of covert channels. Proc. 1990 Workshop on the Foundations of Computer Security, 1990."}],"event":{"name":"PLDI '08: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Tucson AZ USA","acronym":"PLDI '08","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1375696.1375713","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1375696.1375713","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:47:18Z","timestamp":1750258038000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1375696.1375713"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6,7]]},"references-count":22,"alternative-id":["10.1145\/1375696.1375713","10.1145\/1375696"],"URL":"https:\/\/doi.org\/10.1145\/1375696.1375713","relation":{},"subject":[],"published":{"date-parts":[[2008,6,7]]},"assertion":[{"value":"2008-06-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}