Probabilistic noninterference in a concurrent language

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 1998, Pages 34-43

  Volpano, Dennis ^a   Smith, Geoffrey ^a  

^a NAVAL POSTGRADUATE SCHOOL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTATIONAL LINGUISTICS; COMPUTER SOFTWARE; CONCURRENCY CONTROL; CRYPTOGRAPHY; FORMAL LANGUAGES; PROBABILITY;

CONCURRENT LANGUAGE; PROBABILISTIC TIMING CHANNEL; THREAD SCHEDULING;

SECURITY OF DATA;

EID: 0031633213     PISSN: 10636900     EISSN: None     Source Type: None    
DOI: 10.1109/CSFW.1998.683153     Document Type: Conference Paper

References (18)

1. G. Andrews R. Reitman An axiomatic approach to information flow in programs ACM Transactions on Programming Languages and Systems 2 1 56 76 1980
2. J. Banâtre C. Bryce Information flow control in a parallel language framework Proceedings 6th IEEE Computer Security Foundations Workshop 39 52 Proceedings 6th IEEE Computer Security Foundations Workshop 1993-June
3. W. Feller An Introduction to Probability Theory and Its Applications third I 1968 John Wiley & Sons, Inc.
4. R. Focardi R. Gorrieri A classification of security properties for process algebras Journal of Computer Security 3 1 5 33 1994/1995
5. R. Focardi R. Gorrieri The compositional security checker: A tool for the verification of information flow security properties IEEE Transactions on Software Engineering 23 9 550 571 1997
6. J. W. Gray Probabilistic interference Proceedings 1990 IEEE Symposium on Security and Privacy 170 179 Proceedings 1990 IEEE Symposium on Security and Privacy Oakland CA 1990-May
7. J. W. Gray Toward a mathematical foundation for information flow security Proceedings 1991 IEEE Symposium on Security and Privacy 21 34 Proceedings 1991 IEEE Symposium on Security and Privacy Oakland CA 1991-May
8. N. Heintze J. Riecke The SLam Calculus: Programming with secrecy and integrity Proceedings 25th Symposium on Principles of Programming Languages 365 377 Proceedings 25th Symposium on Principles of Programming Languages San Diego CA 1998-Jan.
9. P. Kocher Timing attacks on implementations of Diffie-Hellman, RSA, DSS and other systems Proceedings 16th Annual Crypto Conference Proceedings 16th Annual Crypto Conference 1996-Aug.
10. D. Kozen Semantics of probabilistic programs Journal of Computer and System Sciences 22 328 350 1981
11. J. McLean Security models and information flow Proceedings 1990 IEEE Symposium on Security and Privacy 180 187 Proceedings 1990 IEEE Symposium on Security and Privacy Oakland CA 1990
12. J. McLean Encyclopedia of Software Engineering 1994 Wiley Press Security models
13. P. Melliar-Smith L. Moser Protection against covert storage and timing channels Proceedings 4th IEEE Computer Security Foundations Workshop 209 214 Proceedings 4th IEEE Computer Security Foundations Workshop 1991-June
14. H. R. Nielson F. Nielson Semantics with Applications, A Formal Introduction 1992 Wiley
15. G. Smith D. Volpano Secure information flow in a multi-threaded imperative language Proceedings 25th Symposium on Principles of Programming Languages 355 364 Proceedings 25th Symposium on Principles of Programming Languages San Diego CA 1998-Jan.
16. D. Volpano G. Smith Eliminating covert flows with minimum typings Proceedings 10th IEEE Computer Security Foundations Workshop 156 168 Proceedings 10th IEEE Computer Security Foundations Workshop 1997-June
17. D. Volpano G. Smith C. Irvine A sound type system for secure flow analysis Journal of Computer Security 4 2,3 167 187 1996
18. J. T. Wittbold D. M. Johnson Information flow in nondeterministic systems Proceedings 1990 IEEE Symposium on Security and Privacy 144 161 Proceedings 1990 IEEE Symposium on Security and Privacy Oakland CA 1990-May