A simulation-based proof technique for dynamic information flow

PLAS'07 - Proceedings of the 2007 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security

Volumn , Issue , 2007, Pages 41-46

  McCamant, Stephen ^a   Ernst, Michael D ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Dynamic analysis; Implicit flow; Information flow analysis

Indexed keywords

DYNAMIC INFORMATION FLOW; INFORMATION-FLOW ANALYSIS; SECRET INFORMATION;

BANDWIDTH; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; SECURITY OF DATA;

INFORMATION TECHNOLOGY;

EID: 36448929074     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1255329.1255336     Document Type: Conference Paper

References (23)

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. 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.
4. David Clark, Sebastian Hunt, Pasquale Malacaria: Quantified interference for a while language. Electronic Notes in Theoretical Computer Science 112, Page 149-166, Elsevier, 2005
5. David Clark, Sebastian Hunt, Pasquale Malacaria: Quantitative Analysis of the leakage of confidential data. Electronic Notes in Theoretical Computer Science 59, 2002
6. D. E. Denning: Cyptography and Data Security. Addison-Wesley, 1982.
7. D. E. Denning: A lattice model of secure information flow. Communications of the ACM, 19(5), May 1976.
8. James W Gray III: Toward a methematical foundataion for information flow security. Proc. 1991 IEEE Symposium on Security and Privacy. Oakland, California, May 1991.
9. James W Gray III, Paul F Syverson: A logical approach to multilevel security of probabilistic systems. Distributed Computing, 11(2):73-90, 1998.
10. G. Lowe: Quantifying information flow. Proc. Workshop on Automated Verification of Critical Systems, 2001.
11. J. L. Massey, Guessing and entropy, Proc. IEEE International Symposium on Information Theory, 1994, Trondheim, Norway.
12. John. Mclean: Security models and information flow. Proc. 1990 IEEE Symposium on Security and Privacy. Oakland, California, May 1990.
13. Pasquale Malacaria: Assessing security threats of looping constructs. Proc. ACM Symposium on Principles of Programming Language, 2007.
14. Jonathan Millen: Covert channel capacity. Proc. 1987 IEEE Symposium on Research in Security and Privacy.
15. Flemming Nielson, Hanne Riis Nielson, Chris Hankin. Principles of Program. Analysis, Springer. 1999.
16. Alejandro Russo, Andrei Sabelfeld: Securing Interaction between Threads and the Scheduler. Proc. IEEE Computer Security Foundations Workshop 2006, Venice, Italy, 2006.
17. Alejandro Russo, John. Hughes, David Naumann, Andrei Sabelfeld: Closing Internal Timing Channels by Transformation. Proc. 11th Annual Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006.
18. Geoffrey Smith, Dennis Volpano. Secure Information Flow in a Multi-threaded Imperative Language. 1998 ACM 0-89791-979-3/98/01.
19. Geoffrey Smith. A new type system for secure information flow. Proc. IEEE Computer Security Foundations Workshop 2004.
20. A. Sabelfeld and D. Sands: Probabilistic noninterference for multithreaded programs. Proc. IEEE Computer Security Foundations Workshop 2000.
21. C. E. Shannon and W. Weaver: A Mathematical Theory of Communication. Urbana, IL: Univ. of Illinois press, 1963.
22. 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.
23. T. Wittbold: Network of covert channels. Proc. 1990 Workshop on the Foundations of Computer Security, 1990.