Quantitative analysis of the leakage of confidential data

Electronic Notes in Theoretical Computer Science

Volumn 59, Issue 3, 2002, Pages 238-251

  Clark, David ^a   Hunt, Sebastian ^b   Malacaria, Pasquale ^c  

^a KING'S COLLEGE LONDON   (United Kingdom)

^b CITY UNIVERSITY   (United Kingdom)

^c QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ASYMPTOTIC STABILITY; AUTOMATA THEORY; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING; INFORMATION THEORY; ITERATIVE METHODS; MATHEMATICAL MODELS;

CONFIDENTIAL INFORMATION; IMPERATIVE LANGUAGES; PASSWORD CHECK; SYNTAX;

SECURITY OF DATA;

EID: 0345275464     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00290-7     Document Type: Conference Paper

References (11)

1. [BF89] Richard L. Burden and J. Douglas Faires. Numerical Analysis. PWS-KENT, 1989. ISBN 0-534-93219-3.
2. [Den82] D. E. R. Denning. Cryptography and Data Security. Addison-Wesley, 1982.
3. [III91] James W. Gray III. Toward a mathematical foundation for information flow security. In Proc. 1991 IEEE Symposium on Security and Privacy, pages 21-34, Oakland, CA, May 1991.
4. [Mas94] James L. Massey. Guessing and entropy. In Proc. IEEE International Symposium on Information Theory, Trondheim, Norway, 1994.
5. [Mil87] Jonathan Millen. Covert channel capacity. In Proc. 1987 IEEE Symposium on Research in Security and Privacy. IEEE Computer Society Press, 1987.
6. [PHW02] A. Di Piero, C. Hankin, and H. Wiklicky. Approximate noninterference. In Proceedings of CSFW'02 - 15th IEEE Computer Security Foundations Workshop, Cape Breton, Nova Scotia, Canada, 2002.
7. [RMMG01] P.Y.A. Ryan, J. McLean, J. Millen, and V. Gilgor. Non-interference, who needs it? In Proceedings of the 14th IEEE Computer Security Foundations Workshop, pages 237-238, Cape Breton, Nova Scotia, Canada, June 2001. IEEE.
8. [Sha48] Claude Shannon. A mathematical theory of communication. The Bell System Technical Journal, 27:379-423 and 623-656, July and October 1948. Available on-line at http://cm.bell-labs.com/cm/ms/what/shannonday/paper.html.
9. [SS99] Andrei Sabelfeld and David Sands. A per model of secure information flow in sequential programs. In Proc. European Symposium on Programming, Amsterdam, The Netherlands, March 1999. ACM Press.
10. [SS00] Andrei Sabelfeld and David Sands. Probabilistic noninterference for multi-threaded programs. In Proc. 13th IEEE Computer Security Foundations Workshop, Cambridge, England, July 2000. IEEE Computer Society Press.
11. [VS00] Dennis Volpano and Geoffrey Smith. Verifying secrets and relative secrecy. In Proc. 27th A CM Symposium on Principles of Programming Languages, pages 268-276, Boston MA, Jan 2000.