Remember Me
Or use your Academic/Social account:


Or use your Academic/Social account:


You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.


Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message


Verify Password:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Clark, D.; Hunt, S.; Malacaria, P. (2005)
Publisher: Elsevier
Journal: Electronic Notes in Theoretical Computer Science
Languages: English
Types: Article
Subjects: Theoretical Computer Science, Computer Science(all), QA75
We show how information theory can be used to give a quantitative definition of interference between variables in imperative programming languages. In this paper we focus on a particular case of this definition of interference: leakage of information from private variables to public ones in While language programs. The major result of the paper is a quantitative analysis for this language that employs a use-definition graph to calculate bounds on the leakage into each variable.
  • The results below are discovered through our pilot algorithms. Let us know how we are doing!

    • [1] Clark, D., S. Hunt and P. Malacaria, Quantitative analysis of the leakage of confidential data , Electronic Notes in Theoretical Computer Science 59 (2002).
    • [2] Clark, D., S. Hunt and P. Malacaria, Quantified interference for a while language, Technical report, King's College London (2003).
    • [3] Cover, T. M. and J. A. Thomas, “Elements of Information Theory,” Wiley Interscience, 1991.
    • [4] Denning, D. E. R., “Cryptography and Data Security,” Addison-Wesley, 1982.
    • [5] Goguen, J. and J. Meseguer, Security policies and security models, in: IEEE Symposium on Security and Privacy (1982), pp. 11-20.
    • [6] L.Burden, R. and J. D. Faires, “Numerical Analysis,” PWS-KENT, 1989, iSBN 0-534-93219-3.
    • [7] McIver, A. and C. Morgan, A probabilistic approach to information hiding, in: Programming methodology, Springer-Verlag New York, Inc., 2003 pp. 441-460.
    • [8] Millen, J., Covert channel capacity, in: Proc. 1987 IEEE Symposium on Research in Security and Privacy (1987).
    • [9] Pierro, A. D., C. Hankin and H. Wiklicky, Approximate non-interference, in: I. Cervesato, editor, CSFW'02 - 15th IEEE Computer Security Foundation Workshop (2002).
    • [10] Reynolds, J. C., Syntactic control of interference, in: Conf. Record 5th ACM Symp. on Principles of Programming Languages, ACM, New York, Tucson, Arizona, 1978, pp. 39-46.
    • [11] Sabelfeld, A. and D. Sands, A per model of secure information oflw in sequential programs, in: Proc. European Symposium on Programming (1999).
    • [12] Sabelfeld, A. and D. Sands, Probabilistic noninterference for multi-threaded programs, in: Proc. 13th IEEE Computer Security Foundations Workshop (2000).
    • [13] Shannon, C., A mathematical theory of communication, The Bell System Technical Journal 27 (1948), pp. 379-423 and 623-656, available on-line at http://cm.bell-labs.com/cm/ms/what/shannonday/paper.html.
    • [14] W. Gray, J., III, Toward a mathematical foundation for information flow security, in: Proc. 1991 IEEE Symposium on Security and Privacy, Oakland, CA, 1991, pp. 21-34.
  • No related research data.
  • No similar publications.

Share - Bookmark

Cite this article