A logical approach to multilevel security of probabilistic systems

Distributed Computing

Volumn 11, Issue 2, 1998, Pages 73-90

  Gray III, James W ^a   Syverson, Paul F ^b  

^a HONG KONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Hong Kong)

^b NAVAL RESEARCH LABORATORY   (United States)

Author keywords

Formal modeling; Knowledge; Probabilistic systems; Security; Verification

Indexed keywords

COMPUTATIONAL LINGUISTICS; FORMAL LOGIC; PROBABILISTIC LOGICS; SECURITY OF DATA;

PROBABILISTIC SYSTEMS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0032047481     PISSN: 01782770     EISSN: None     Source Type: Journal    
DOI: 10.1007/s004460050043     Document Type: Article

References (46)

1. Bieber P, Cuppens F: A definition of secure dependencies using the logic of security. In Proc. Computer Security Foundations Workshop IV, Franconia, NH, June 1991
2. Bieber P, Cuppens F: A logical view of secure dependencies. J Comput Security, 1:99-129 (1992)
3. Browne R: Stochastic Non-interference: Temporal Stochastic Processes Without Covert Channels. Odyssey Research Associates. Ithaca. NY. November 1989. unpublished manuscript
4. Browne R: The Turing Test and non-information flow. In Proc. 1991 IEEE Symposium on Research in Security and Privacy, Oakland, CA, May 1991
5. Browne R: Mode security: An infrastructure for covert channel suppression. In Proc. 1994 IEEE Symposium on Research in Security and Privacy, Oakland, CA. May 1994
6. Chandy KM, Misra J: How processes learn. Distrib Comput. 1:40-52 (1986)
7. Chellas BF: Modal Logic: An Introduction. Cambridge University Press. Cambridge 1980
8. Cuppens F: A logical analysis of authorized and permitted information flows In Proc. 1993 IEEE Computer Society Symposium on Research in Security and Privacy, pages 100-109, Oakland, CA, May 1993
9. Denning DE: A lattice model of secure information flow. Communications of the ACM. 19(5):236-243. May 1976
10. Denning DE: Cryptography and Data Security. Addison-Wesley, Reading, MA 1982
11. Dolev D, Dwork C, Waarts O, Yung M: Perfectly secure message transmission. JACM, 40(1): 17-47. January 1993
12. Fagin R, Halpern JY: Reasoning about knowledge and probability. JACM. 41(2):340-367, March 1994
13. Gasser M: Building a Secure Computer System. Van Nostrand Reinhold, New York 1988
14. Glasgow J, MacEwen G, Panangaden P: A logic for reasoning about security. ACM Transactions on Computer Systems, 10(3):226-264. August 1992
15. Goguen JA, Meseguer J: Security policies and security models. In Proceedings of the 1982 IEEE Computer Society Symposium on Security and Privacy, Oakland. CA 1982
16. Goldblatt R: Logics of Time and Computation (2nd edn) Vol 7 of CSLI Lecture Notes. CSLI Publications. Stanford, CA 1992
17. Gray, III JW: Toward a mathematical foundation for information flow security. J Comput Security 1:255-294 (1992). A preliminary version appears in Proc. 1991 IEEE Symposium on Research in Security and Privacy. Oakland, CA, May 1991.
18. Gray, III JW: Toward a mathematical foundation for information flow security. J Comput Security 1:255-294 (1992) A preliminary version appears in Proc. 1991 IEEE Symposium on Research in Security and Privacy. Oakland, CA, May 1991.
19. Gray, III JW, Syverson PF: A logical approach to multilevel security of probabilistic systems. In Proceedings of the 1992 IEEE Computer Society Symposium on Research in Security and Privacy, pp 164-176, Oakland, CA, May 1992
20. Gray, III JW, Syverson PF: Epistemology of information flow in the multilevel security of probabilistic systems. Technical Report NRL/MR/5540-95-7733, Naval Research Laboratory, May 1995
21. Halmos PR: Measure Theory. Springer, New York 1950
22. Halpern JY: Using reasoning about knowledge to analyze distributed systems. In Traub J, Grosz B, Lampson B, Nilson N (eds) Annu Rev Comput Sci 2:37-68 (1987)
23. Halpern JY, Tuttle MR: Knowledge, probability, and adversaries. JACM. 40:917-962 (1993)
24. Karger PA, Zurko ME, Bonin DW, Mason AH, Kahn CF.: A retrospective on the vax vmm security kernel. IEEE Trans Softw Eng. 17:1147-1165 (1991)
25. Lamport L: The temporal logic of actions Technical Report 79, DEC Systems Research Center. Palo Alto, CA, December 1991
26. Lampson BW: A note on the confinement problem. Communications of the ACM. 16(10), October 1973
27. L.Marcus, Redmond T: A model-theoretic approach to specifying, verifying, and hooking up security policies. In Proceeding of the Computer Security Foundations Workshop. Franconia, NH, 1988
28. Marsden JF.: Elementary Classical Analysis. Freeman, San Francisco, 1974
29. McCullough D: Noninterference and the composability of security properties. In Proceedings of the 1988 IEEE Computer Society Symposium on Security and Privacy, Oakland, CA, 1988
30. McCullough D: A hookup theorem for multilevel security. IEEE Transactions on Software Engineering. 16(6):563-568, June 1990
31. McLean J: Security models and information flow. In Proc. 1990 IEEE Symposium on Research in Security and Privacy, Oakland, CA, May 1990
32. Meadows C: Applying formal methods to the analysis of a key management protocol. J Comput Security, 1:5-35 (1992)
33. Millen JK: Hookup security for synchronous machines. In Proceedings of the Computer Security Foundations Workshop III, Franconia, NH, June 1990
34. Ross SM: Introduction to Probability Models. (3rd edn) Academic Press, Orlando, FL 1985
35. Rudin W: Principals of Mathematical Analysis. McGraw-Hill, New York
36. th International Joint Conference on Artificial Intelligence, pp 924-931 (1987)
37. Seidel K: Probabilistic communicating processes. Technical report. University of Oxford, Lady Margaret Hall PhD thesis, 1992
38. Shannon CE: Channels with side information at the transmitter. IBM Journal of Research and Development 2:289-293 (1958) Republished in: David Slepian (ed.), "Key Papers in the Development of Information Theory", IEEE Press, 1974
39. Shannon CE: Channels with side information at the transmitter. IBM Journal of Research and Development 2:289-293 (1958) Republished in: David Slepian (ed.), "Key Papers in the Development of Information Theory", IEEE Press, 1974
40. Shannon CE: Two-way communication channels. In Proc. 4th Berkeley Symp. Math. Stat. and Prob., Vol. 1: pp 611-644 (1961) Republished in: David Slepian (ed.), "Key Papers in the Development of Information Theory", IEEE Press, 1974
41. Shannon CE: Two-way communication channels. In Proc. 4th Berkeley Symp. Math. Stat. and Prob., Vol. 1: pp 611-644 (1961) Republished in: David Slepian (ed.), "Key Papers in the Development of Information Theory", IEEE Press, 1974
42. Shiryayev AN: Probability, Vol. 95 of Graduate Texts in Mathematics. Springer Berlin Heidelberg New York 1984
43. D.Sutherland: A model of information. In Proceeding of the 9th National Computer Security Conference, Baltimore, MD, September 1986
44. th IEEE Computer Security Foundations Workshop, pp 152-166, County Kerry, Ireland, June 1995
45. Wittbold JT, Johnson DM: Information flow in nondeterministic systems In Proceedings of the 1990 IEEE Computer Society Symposium on Research in Security and Privacy, Oakland, CA, 1990
46. Wray JC: An analysis of covert timing channels. J Comput Security 1:219-232 (1992)