Noninterference for concurrent programs and thread systems

Theoretical Computer Science

Volumn 281, Issue 1-2, 2002, Pages 109-130

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

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; CONCURRENCY CONTROL; DATA FLOW ANALYSIS; PROBABILISTIC LOGICS; SCHEDULING; SYNCHRONIZATION;

CONCURRENT PROGRAMS;

SECURITY OF DATA;

EID: 0037014243     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(02)00010-5     Document Type: Article

References (21)

1. Secrecy by typing in security protocols
2. Transforming out timing leaks
3. Electronic purse applet certification (extended abstract)
4. Noninterference for concurrent programs
5. Non interference for the analysis of cryptographic protocols
6. Security policies and security models
7. The security π-calculus and noninterference
8. Information flow vs. resource access in the asynchronous pi-calculus (extended abstract)
9. Secure information flow as typed process behaviour
10. 20 Years of covert channel modeling and analysis
11. A calculus of communicating systems
12. Jflow: Practical mostly-static information flow control
13. Concurrency and automata on infinite sequences
14. Information flow inference for free
15. Process algebra and non-interference
16. Probabilistic noninterference for multi-threaded programs
17. A new type system for secure information flow
18. Secure information flow in a multi-threaded imperative language
19. A type-based approach to program security
20. Probabilistic noninterference in a concurrent language
21. A sound type system for secure flow analysis