Quantified Interference for a while Language

Electronic Notes in Theoretical Computer Science

Volumn 112, Issue SPEC. ISS., 2005, Pages 149-166

  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

Information flow; Information theory; Interference; Program analysis; Security

Indexed keywords

INFORMATION FLOW; INTERFERENCE; PROGRAM ANALYSIS; SECURITY DEVICES;

GRAPH THEORY; INFORMATION THEORY; MATHEMATICAL OPERATORS; SECURITY OF DATA; SEMANTICS; THEOREM PROVING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 11344288540     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.01.018     Document Type: Conference Paper

References (14)

1. D. Clark, 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. T.M. Cover, and J.A. Thomas Elements of Information Theory 1991 Wiley Interscience
4. D.E.R. Denning Cryptography and Data Security 1982 Addison-Wesley
5. J. Goguen, and J. Meseguer Security policies and security models IEEE Symposium on Security and Privacy 1982 11 20
6. L.Burden, R. and J. D. Faires, "Numerical Analysis," PWS-KENT, 1989, iSBN 0-534-93219-3
7. A. McIver, and C. Morgan A probabilistic approach to information hiding Programming methodology 2003 Springer-Verlag New York, Inc. 441 460
8. J. Millen Covert channel capacity Proc. 1987 IEEE Symposium on Research in Security and Privacy 1987
9. A.D. Pierro, C. Hankin, and H. Wiklicky Approximate non-interference I. Cervesato CSFW'02 - 15th IEEE Computer Security Foundation Workshop 2002
10. J.C. Reynolds Syntactic control of interference Conf. Record 5th ACM Symp. on Principles of Programming Languages 1978 ACM New York, Tucson, Arizona 39 46
11. A. Sabelfeld, and D. Sands A per model of secure information flow in sequential programs Proc. European Symposium on Programming 1999
12. A. Sabelfeld, and D. Sands Probabilistic noninterference for multi-threaded programs Proc. 13th IEEE Computer Security Foundations Workshop 2000
13. C. Shannon A mathematical theory of communication The Bell System Technical Journal 27 1948 379 423 and 623-656, available on-line at http://cm.bell-labs.com/cm/ms/what/shannonday/paper.html
14. W. Gray Proc. 1991 IEEE Symposium on Security and Privacy, Oakland, CA 1991 21 34