Confinement properties for multi-threaded programs

Electronic Notes in Theoretical Computer Science

Volumn 20, Issue , 1999, Pages 132-142

  Smith, Geoffrey ^a   Volpano, Dennis ^b  

^a The Department of Electrical and Computer Engineering   (United States)

^b Naval Postgraduate School   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; DATA PRIVACY; INTERNET; PROBABILITY; SEMANTICS; THEOREM PROVING;

CONFINEMENT PROPERTIES; MULTI-THREADED PROGRAMS; NONINTERFERENCE; PROBABILISTIC SCHEDULING;

SECURITY OF DATA;

EID: 17044414991     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80071-9     Document Type: Conference Paper

References (11)

1. Dorothy Denning, "Secure Information Flow in Computer Systems," PhD thesis, Purdue University, West Lafayette, IN, May 1975.
2. Denning Dorothy, Denning Peter. Certification of programs for secure information flow. Communications of the ACM. 20:1977;504-513
3. Dijkstra Edsger. A Discipline of Programming. 1976;Practice Hall
4. Feller William. An Introduction to Probability Theory and Its Applications, Volume I. third edition :1968;John Wiley & Sons, Inc
5. Kozen Dexter. Semantics of probabilistic programs. Journal of Computer and System Sciences. 22:1981;328-350
6. Lampson Butler W. A note on the confinement problem. Communications of the ACM. 16:1973;613-615
7. John McLean, Security models and information flow, In: Proceedings 1990IEEE Symposium on Security and Privacy, Oakland, CA, 1990, pp. 180-187.
8. Geoffrey Smith and Dennis Volpano, Secure information flow in a multi-threaded imperative language, In: Proceedings 25th Symposium on Principles of Programming Languages, San Diego, CA, January 1998, pp. 355-364.
9. Volpano Dennis, Smith Geoffrey. Probabilistic noninterference in a concurrent language. Journal of Computer Security. 1999;. To appear.
10. Volpano Dennis, Smith Geoffrey, Irvine Cynthia. A sound type system for secure flow analysis. Journal of Computer Security. 4:1996;167-187
11. J. Todd Wittbold and Dale M. Johnson, Information flow in nondeterministic systems, In: Proceedings 1990 IEEE Symposium on Security and Privacy, Oakland, CA, May 1990, pp. 144-161.