Toward a mathematical foundation for information flow security

Journal of Computer Security

Volumn 1, Issue 3-4, 1992, Pages 255-294

  Gray, James W ^a  

^a NAVAL RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84974759639     PISSN: 0926227X     EISSN: None     Source Type: Journal    
DOI: 10.3233/JCS-1992-13-405     Document Type: Article

References (30)

1. Michael A. Arbib. Theories of Abstract Automata. Prentice-Hall, Inc., Englewood Cliffs, NJ, 1969.
2. P. Bieber and F. Cuppens. A logical view of secure dependencies. Journal of Computer Security, 1(1):99-129, 1992.
3. Randy Browne. Stochastic Non-Interference: Temporal Stochastic Processes Without Covert Channels. Odyssey Research Associates, Ithaca, NY, November 1989. unpublished manuscript.
4. Randy Browne. The turing test and non-information Row. In Proc. 1991 IEEE Symposium on Research in Security and Privacy, Oakland, CA, May 1991.
5. Dorothy E. Denning. A lattice model of secure information flow. Communications of the ACM, 19(5):236-243, May 1976.
6. G. T. Fergusson. Perfect multilevel security. Internal paper, G. Fergusson, 91 Red- hatch Dr., Reading, RG6 2QN, Berkshire, England, October 1989.
7. Nissim Francez. Fairness (Texts and monographs in computer science). Springer Verlag New York, Inc., New York, New York, 1986.
8. Robert G, Gallager. Information Theory and Reliable Communication. John Wiley and Sons, Inc., New York, 1968.
9. J. A. Goguen and J. Meseguer. Security policies and security models. In Proceedings of the. 1982 IEEE Computer Society Symposium on Security and Privacy, Oakland, CA, 1982.
10. Joshua D. Guttman and Mark E. Nadel. What needs securing? In Proceeding of the 1988 Workshop on Computer Security Foundations, Franconia, NH, 1988.
11. Jeremy Jacob. A uniform presentation of confidentiality properties. IEEE TSE, 1T(11): 1186—1194, November 1991.
12. Richard A. Kemmerer. Shared resource matrix methodology; An approach to identifying storage and timing channels. ACM Transactions on Computer Systems, 1(3):256-277, August 1983.
13. Butler W. Lampson. A note on the confinement problem. Communications of the ACM, 16(10), October 1973.
14. Dary McCullough. Specifications for multilevel security and a hook-up property. In Proceedings of the 1987 IEEE Computer Society Symposium on Security and Privacy, Oakland, CA, 1987.
15. Dary McCullough. Noninterference and the composability of security properties. In Proceedings of the 1988 IEEE Computer Society Symposium on Security and Privacy, Oakland, CA, 1988.
16. Dary McCullough. A hookup theorem for multilevel security. IEEE Transactions on Software Engineering, 16(6):563-568, June 1990.
17. John McLean. Security models and information flow. In Proc. 1990 IEEE Symposium on Research in Security and Privacy, Oakland, CA, May 1990
18. Jonathan K. Millen. Covert channel capacity. In Proceedings of the 1987 IEEE Computer Society Symposium on Security and Privacy, Oakland, CA, 1987.
19. Jonathan K. Millen. Finite state noiseless covert channels. In Proceedings of the Computer Security Foundations Workshop 2, Franconia, NH, 1989.
20. Jonathan K. Milieu. Hookup security for synchronous machines. In Proceedings of the Computer Security Foundations Workshop 3, Franconia, NH, June 1990.
21. Ira S. Moskowitz. Variable noise effects upon a simple timing channel. In Proc. 1991 IEEE Symposium on Research in Security and Privacy, Oakland, CA, May 1991.
22. Karen Seidel. Probabilistic communicating processes. Technical report, University of Oxford, Lady Margaret Hall, 1992. PhD thesis.
23. C. E. Shannon. A mathematical theory of communication. Bell.Systems Technical Journal, 27:379-423, July 1948. Republished in: C. E. Shannon and W. Weaver, The Mathematical Theory of Communication, University of Illinois Press, Urbana, IL 1949.
24. Claude E. Shannon. Channels with side information at the transmitter. IBM Journal of Research and Development, 2:289-293, October 1958. Republished in: David Slepian (ed.), “Key Papers in the Development of Information Theory”, IEEE Press, 1974.
25. Claude E. Shannon. Two-way communication channels. In Proc, fth Berkeley Symp. Math. Stat. and Prob., vol. 1, pages 611-644, 1961. Republished in: David Slepian (ed.), “Key Papers in the Development of Information Theory”, IEEE Press, 1974.
26. David Sutherland. A model of information. In Proceeding of the 9th National Computer Security Conference, Baltimore, MD, September 1986.
27. Jonathan T. Trostle. Multiple trojan horse systems and covert channel analysis. In Proceedings of the Computer Security Foundations Workshop IV, Franconia, NH, June 1991.
28. John von Neumann and Oskar Morgenstern. Theory of Games and Economic Behavior. Princeton University Piess, Princeton, NJ, 1944.
29. Todd Wittbold. Controlled signalling systems and covert channels. In Proceedings of Computer Security Foundations Workshop 2, Franconia, NH, June 1989.
30. J. Todd Wittbold and Dale M. Johnson. Information flow in nondeterministic systems. In Proceedings of the 1990 IEEE Computer Society Symposium on Research in Security and Privacy, Oakland, CA, 1990.