The impact of synchronisation on secure information flow in concurrent programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2244 LNCS, Issue , 2001, Pages 225-239

  Sabelfeld, Andrei ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

SECURITY OF DATA; SEMANTICS; INFORMATION SCIENCE; MOBILE SECURITY;

BISIMULATIONS; CONCURRENT PROGRAM; MULTI-THREADED PROGRAMS; MULTITHREADED; OPERATIONAL SEMANTICS; SECURE INFORMATION FLOW; SHARED MEMORY; TYPE-BASED ANALYSIS;

SYNCHRONIZATION;

EID: 84885715358     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45575-2_22     Document Type: Conference Paper

References (22)

1. M. Abadi, A. Banerjee, N. Heintze, and J. Riecke. A core calculus of dependency. In POPL '99, Proceedings of the 26th Annual ACMSymp osium on Principles of Programming Languages (January 1999), 1999.
2. J. Agat. Transforming out timing leaks. In Proceedings of the ACMSymp osium on Principles of Programming Languages, pages 40-53, January 2000.
3. J. Agat and D. Sands. On Confidentiality and Algorithms. In Proceedings of 2001 IEEE Symposium on Security and Privacy, May 2001.
4. G. R. Andrews and R. P. Reitman. An axiomatic approach to information flow in programs. ACMTOPLAS, 2(1):56-75, January 1980.
5. Gregory R. Andrews. Foundations of Multithreaded, Parallel, and Distributed Programming. Addison Wesley, 2000.
6. J.-P. Banatre, C. Bryce, and D. Le Metayer. Compile-time detection of information flow in sequential programs. LNCS, 875:55-73, 1994.
7. E. S. Cohen. Information transmission in sequential programs. In Richard A. DeMillo, David P. Dobkin, Anita K. Jones, and Richard J. Lipton, editors, Foundations of Secure Computation, pages 297-335. Academic Press, 1978.
8. D. E. Denning. A lattice model of secure information flow. Communications of the ACM, 19(5):236-243, May 1976.
9. D. E. Denning and P. J. Denning. Certification of programs for secure information flow. Communications of the ACM, 20(7):504-513, July 1977.
10. E.W. Dijkstra. Cooperating sequential processes. In F. Genuys, editor, Programming Languages, pages 43-112. Academic Press, 1968.
11. N. Heintze and J. G. Riecke. The SLam calculus: programming with secrecy and integrity. In Conference Record of the Twenty-Fifth Annual ACMSymp osium on Principles of Programming Languages, pages 365-377, 1998.
12. K. R. M. Leino and Rajeev Joshi. A semantic approach to secure information flow. Science of Computer Programming, 37(1), 2000.
13. D. McCullough. Specifications for multi-level security and hook-up property. In Proceedings of the IEEE Symposium on Security and Privacy, pages 161-166, 1987.
14. M. Mizuno and D. Schmidt. A security flow control algorithm and its denotational semantics correctness proof. Formal Aspects of Computing, 4(6A):727-754, 1992.
15. P. Ørbæk. Can you Trust your Data? In Proceedings of the TAPSOFT/FASE'95 Conference, LNCS 915, pages 575-590, May 1995.
16. A. Sabelfeld. Semantic Models for the Security of Sequential and Concurrent Programs. PhD thesis, Chalmers University of Technology and G̈oteborg University, May 2001.
17. A. Sabelfeld and D. Sands. Probabilistic noninterference for multi-threaded programs. In Proceedings of the 13th IEEE Computer Security Foundations Workshop, pages 200-214, Cambridge, England, July 2000.
18. A. Sabelfeld and D. Sands. A per model of secure information flow in sequential programs. Higher-Order and Symbolic Computation, 14(1):59-91, March 2001.
19. G. Smith. Personal communication, 2000.
20. G. Smith and D. Volpano. Secure information flow in a multi-threaded imperative language. In Proceedings of the 25th ACMSymp osium on Principles of Programming Languages, pages 355-364, 19-21 January 1998.
21. D. Volpano and G. Smith. Probabilistic noninterference in a concurrent language. Journal of Computer Security, 7(2, 3):231-253, November 1999.
22. D. Volpano, G. Smith, and C. Irvine. A sound type system for secure flow analysis. J. Computer Security, 4(3):1-21, 1996.