Lagrange multipliers and maximum information leakage in different observational models

PLAS'08: Proceedings of the ACM SIGPLAN 3rd Workshop on Programming Languages and Analysis for Security

Volumn , Issue , 2008, Pages 135-146

  Malacaria, Pasquale ^a   Chen, Han ^a  

^a QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

Information theory; Lagrange multipliers; Security

Indexed keywords

INFORMATION LEAKAGES; LINEAR OPTIMIZATIONS; OBSERVATIONAL MODELS; QUANTITATIVE DEFINITIONS; SECURITY; UNIFORM DISTRIBUTIONS;

CHANNEL CAPACITY; COMPUTER SOFTWARE; COMPUTERS; CONSTRAINED OPTIMIZATION; HARMONIC ANALYSIS; IMAGE SEGMENTATION; INFORMATION THEORY; LINGUISTICS; PROGRAMMING THEORY; QUERY LANGUAGES; TECHNICAL PRESENTATIONS;

LAGRANGE MULTIPLIERS;

EID: 57349116220     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1375696.1375713     Document Type: Conference Paper

References (22)

1. Michele Boreale: Quantifying Information Leakage in Process Calculi. ICALP (2) 2006: 119-131
2. K. Chatzikokolakis, C. Palamidessi, P. Panangaden. Anonymity Protocols as Noisy Channels, in: Postproceedings of the Symp. on Trustworthy Global Computing, Lecture Notes in Computer Science, Springer, 2006,
3. T.Cover, J. Thomas. Elements of Information Theory. Wiley
4. David Clark, Sebastian Hunt, Pasquale Malacaria: A static analysis for quantifying information flow in a simple imperative language. Journal of Computer Security, Volume 15, Number 3 / 2007.
5. David Clark, Sebastian Hunt, Pasquale Malacaria: Quantified interference for a while language. Electronic Notes in Theoretical Computer Science 112, Page 149-166, Elsevier, 2005
6. David Clark, Sebastian Hunt, Pasquale Malacaria: Quantitative Analysis of the leakage of confidential data. Electronic Notes in Theoretical Computer Science 59, 2002
7. D. E. Denning: Cyptography and Data Security. Addison-Wesley, 1982.
8. D. E. Denning: A lattice model of secure information flow. Communications of the ACM, 19(5), May 1976.
9. Han Chen, Pasquale Malacaria: Quantitative Analysis of Leakage for Multi-threaded Programs. Proc. ACM 2007 workshop on Programming languages and analysis for security.
10. James W Gray III: Toward a methematical foundataion for information flow security. Proc. 1991 IEEE Symposium on Security and Privacy. Oakland, California, May 1991.
11. S. Kullback: Information Theory and Statistics. Dover Publications. 1997.
12. Joseph Y. Halpern, Kevin R. O'Neill: Anonymity and information hiding in multiagent systems. Journal of Computer Security 13(3): 483-512 (2005)
13. J.Heusser and P. Malacaria: Measuring Insecurity of Programs. Manuscript 2007.
14. John Mclean: Security models and information flow. Proc. 1990 IEEE Symposium on Security and Privacy. Oakland, California, May 1990.
15. Pasquale Malacaria: Assessing security threats of looping constructs. Proc. ACM Symposium on Principles of Programming Language, 2007.
16. Jonathan Millen: Covert channel capacity. Proc. 1987 IEEE Symposium on Research in Security and Privacy.
17. Flemming Nielson, Hanne Riis Nielson, Chris Hankin. Principles of Program Analysis, Springer. 1999.
18. Andrei Sabelfeld and Andrew C. Myers: Language-Based Information-Flow Security. IEEE Journal on Selected Area in Communications, Volume 21, No. 1, January 2003
19. A. Sabelfeld and D. Sands: Probabilistic noninterference for multithreaded programs. Proc. IEEE Computer Security Foundations Workshop 2000.
20. C. E. Shannon and W. Weaver: A Mathematical Theory of Communication. Urbana, IL: Univ. of Illinois press, 1963.
21. 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.
22. T. Wittbold: Network of covert channels. Proc. 1990 Workshop on the Foundations of Computer Security, 1990.