Securing interaction between threads and the scheduler

Proceedings of the Computer Security Foundations Workshop

Volumn 2006, Issue , 2006, Pages 177-189

  Russo, Alejandro ^a   Sabelfeld, Andrei ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SOFTWARE; CRYPTOGRAPHY; DATA PRIVACY; INFORMATION DISSEMINATION; SEMANTICS;

INFORMATION FLOW;

SECURITY OF DATA;

EID: 33947645959     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSFW.2006.29     Document Type: Conference Paper

References (34)

1. J. Agat. Transforming out timing leaks. In Proc. ACM Symp. on Principles of Programming Languages, pages 40- 53, Jan. 2000.
2. G. Boudol and I. Castellani. Noninterference for concurrent programs. In Proc. ICALP'01, volume 2076 of LAO, pages 382-395. Springer-Verlag, July 2001.
3. G. Boudol and I. Castellani. Non-interference for concurrent programs and thread systems. Theoretical Computer Science, 281(1): 109-130, June 2002.
4. E. S. Cohen. Information transmission in sequential programs. In R. A. DeMillo, D. P. Dobkin, A. K. Jones, and R. J. Lipton, editors, Foundations of Secure Computation, pages 297-335. Academic Press, 1978.
5. D. E. Denning and P. J. Denning. Certification of programs for secure information flow. Comm. of the ACM, 20(7):504-513, July 1977.
6. U. Drepper and I. Molnar. The native posix thread library for linux. http://people.redhat.com/drepper/ nptl-design.pdf, Jan. 2003.
7. R. S. Engelschall. Gnu pth - the gnu portable threads, http://www.gnu.org/software/pth/, Nov. 2005.
8. R. Focardi and R. Gorrieri. Classification of security properties (part I: Information flow). In R. Focardi and R. Gorrieri, editors, Foundations of Security Analysis and Design, volume 2171 of LNCS, pages 331-396. Springer-Verlag, 2001.
9. J. A. Goguen and J. Meseguer. Security policies and security models. In Proc. IEEE Symp. on Security and Privacy, pages 11-20, Apr. 1982.
10. J. A. Goguen and J. Meseguer. Unwinding and inference control. In Proc. IEEE Symp. on Security and Privacy, pages 75-86, Apr. 1984.
11. K. Honda, V. Vasconcelos, and N. Yoshida. Secure information flow as typed process behaviour. In Proc. European Symp. on Programming, volume 1782 of LNCS, pages 180-199. Springer-Verlag, 2000.
12. K. Honda and N. Yoshida. A uniform type structure for secure information flow. In Proc. ACM Symp. on Principles of Programming Languages, pages 81-92, Jan. 2002.
13. M. Huisman, P. Worah, and K. Sunesen. A temporal logic characterisation of observational determinism. In Proc. IEEE Computer Security Foundations Workshop, July 2006.
14. J. Knudsen. Networking, user experience, and threads. Sun Technical Articles and Tips http://developers.sun.com/techtopics/ mobility/midp/articles/ threading/, 2002.
15. Q. H. Mahmoud. Preventing screen lockups of blocking operations. Sun Technical Articles and Tips http://developers.sun.com/techtopics/ mobility/midp/ttips/screenlock/, 2004.
16. D. McCullough. Specifications for multi-level security and hook-up property. In Proc. IEEE Symp. on Security and Privacy, pages 161-166, Apr. 1987.
17. J. McLean. The specification and modeling of computer security. Computer, 23(1):9-16, Jan. 1990.
18. A. C. Myers, L. Zheng, S. Zdancewic, S. Chong, and N. Nystrom. Jif: Java information flow. Software release. Located at http://www.cs.cornell.edu/jif, July 2001-2006.
19. F. Pottier. A simple view of type-secure information flow in the pi-calculus. In Proc. IEEE Computer Security Foundations Workshop, pages 320-330, June 2002.
20. A. W. Roscoe. CSP and determinism in security modeling. In Proc. IEEE Symp. on Security and Privacy, pages 114-127, May 1995.
21. A. Russo and A. Sabelfeld. Security for multithreaded programs under cooperative scheduling. In Proc. Andrei Ershov International. Conference on Perspectives of System Informatics, LNCS. Springer-Verlag, June 2006.
22. P. Ryan. Mathematical models of computer security -tutorial lectures. In R. Focardi and R. Gorrieri, editors, Foundations of Security Analysis and Design, volume 2171 of LNCS, pages 1-62. Springer-Verlag, 2001.
23. A. Sabelfeld. The impact of synchronisation on secure information flow in concurrent programs. In Proc. Andrei Ershov International Conference on Perspectives of System Informatics, volume 2244 of LNCS, pages 225-239. Springer-Verlag, July 2001.
24. A. Sabelfeld and H. Mantel. Static confidentiality enforcement for distributed programs. In Proc. Symp. on Static Analysis, volume 2477 of LNCS, pages 376-394. Springer-Verlag, Sept. 2002.
25. A. Sabelfeld and A. C. Myers. Language-based information-flow security. IEEE J. Selected Areas in Communications, 21(1):5-19, Jan. 2003.
26. A. Sabelfeld and D. Sands. Probabilistic noninterference for multi-threaded programs. In Proc. IEEE Computer Security Foundations Workshop, pages 200-214, July 2000.
27. V. Simonet. The Flow Caml system. Software release. Located at http://cristal.inria.fr/~simonet /soft/flowcaml/, July 2003.
28. O. Smith. A new type system for secure information flow. In Proc. IEEE Computer Security Foundations Workshop, pages 115-125, June 2001.
29. G. Smith. Probabilistic noninterference through weak probabilistic bisimulation. In Proc. IEEE Computer Security Foundations Workshop, pages 3-13, 2003.
30. G. Smith and D. Volpano. Secure information flow in a multi-threaded imperative language. In Proc. ACM Symp. on Principles of Programming Languages, pages 355-364, Jan. 1998.
31. J. Viega and G. McGraw. Building Secure Software: How to Avoid Security Problems the Right Way. Addison-Wesley, 2001.
32. D. Volpano and G. Smith. Probabilistic noninterference in a concurrent language. J. Computer Security, 7(2-3):231-253, Nov. 1999.
33. D. Volpano, G. Smith, and C. Irvine. A sound type system for secure flow analysis. J. Computer Security, 4(3): 167-187, 1996.
34. S. Zdancewic and A. C. Myers. Observational determinism for concurrent program security. In Proc. IEEE Computer Security Foundations Workshop, pages 29-43, June 2003.