Noninterference for concurrent programs

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

Volumn 2076 LNCS, Issue , 2001, Pages 382-395

  Boudol, Gélrard ^a   Castellani, Ilaria ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS; AUTOMATA THEORY;

CONCURRENT PROGRAM; IMPERATIVE LANGUAGES; NON-PROBABILISTIC; SCHEDULING POLICIES; TYPE SYSTEMS;

AUTOMATA THEORY; COMPUTATIONAL LINGUISTICS;

EID: 84879520825     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48224-5_32     Document Type: Conference Paper

References (15)

1. M. Abadi. Secrecy by typing in security protocols. Journal of the ACM, 46(5):749-786, 1999.
2. Ǵerard Boudol and Ilaria Castellani. Noninterference for concurrent programs. Research report, INRIA, 2001.
3. R. Focardi, R. Gorrieri, and F. Martinelli. Non interference for the analysis of cryptographic protocols. In Proceedings ICALP'00, number 1853 in LNCS, 2000.
4. J. A. Goguen and J. Meseguer. Security policies and security models. In Proceedings 1982 IEEE Symposium on Security and Privacy, pages 11-20, 1982.
5. M. Hennessy. The security-calculus and noninterference. Computer Science Technical Report 2000:05, University of Sussex, 2000.
6. M. Hennessy and J. Riely. Information flow vs resource access in the asynchronous pi-calculus (extended abstract). In Proceedings ICALP'00, number 1853 in LNCS, 2000.
7. K. Honda, V. Vasconcelos, and N. Yoshida. Secure information flow as typed process behaviour. In Proceedings ESOP'00, number 1782 in LNCS, 2000.
8. J. Millen. 20 years of covert channel modeling and analysis. In IEEE Symposium on Security and Privacy, 1999.
9. A. Myers. Jflow: Practical mostly-static information flow control. In 26th ACM Symposium on Principles of Programming Languages (POPL), 1999.
10. F. Pottier and S. Conchon. Information flow inference for free. In Proceedings ICFP'00, 2000.
11. A. Sabelfeld and D. Sands. Probabilistic noninterference for multi-threaded programs. In IEEE Computer Security Foundations Workshop, 2000.
12. G. Smith and D. Volpano. Secure information flow in a multi-threaded imperative language. In ACM, editor, Proceedings POPL '98, pages 355-364. ACM Press, 1998.
13. D. Volpano and G. Smith. A type-based approach to program security. In TAP-SOFT'97, number 1214 in LNCS, pages 607-621, 1997.
14. D. Volpano and G. Smith. Probabilistic noninterference in a concurrent language. Journal of Computer Security, 7(2-3), 1999.
15. D. Volpano, G. Smith, and C. Irvine. A sound type system for secure flow analysis. Journal of Computer Security, 4(3):167-187, 1996.