A state-based approach to noninterference

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 1995, Pages 11-21

  Bevier, W R ^a   Young, W D ^a  

^a Computer Logic Inc ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SECURITY SYSTEMS;

CONCURRENT AND DISTRIBUTED SYSTEMS; EVENT-BASED; NONDETERMINISTIC SYSTEMS; SECURITY MODEL; SECURITY POLICY; SPECIFICATION AND VERIFICATION; STATE BASED APPROACHES; STATE-BASED MODELS;

NETWORK SECURITY;

EID: 84886601007     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSFW.1994.315951     Document Type: Conference Paper

References (28)

1. Martin Abadi and Leslie Lamport. Composing specifications. Technical Report 66, DEC Systems Research Center, October 1990.
2. R.S. Boyer and J S. Moore. A Computational Logic Handbook. Academic Press, Boston, 1988.
3. E. Cohen. Information transmission in computational systems. ACM SIGOPS Operating System Review, 11(5), November 1977.
4. R.J. Feiertag. A technique for proving specifications are multilevel secure. Technical report CSL-109, SRI, 1980.
5. Todd Fine, Tom Haigh, Dick O'Brien, and Dana Toups. Noninterference and unwinding for LOCK. In Proceedings of the Computer Security Foundations Workshop II. IEEE Computer Society, June 1989.
6. Todd Fine. Constructively using noninterference to analyze systems. In Proceedings of the Symposium on Research in Security and Privacy, pages 162-169. IEEE Computer Society, 1990.
7. J.A. Goguen and J. Meseguer. Security policies and security models. In Proc. 1982 IEEE Symposium on Security and Privacy, pages 11-20, April 1982.
8. J.A. Goguen and J. Meseguer. Unwinding and inference control. In Proc. 1984 IEEE Symposium on Security and Privacy, pages 75-85, April 1984.
9. Josh Guttman and Mark Nadel. What needs securing? In Proceedings of the Computer Security Foundations Workshop, pages 34-57. Mitre Corporation, June 1988.
10. James W. Gray, III. Towards a mathematical foundation for information flow security. In Proceedings of the Symposium on Research in Security and Privacy. IEEE Computer Society, 1991.
11. C.A.R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666-677, August 1978.
12. J.T. Haigh and W.D. Young. Extending the noninterference version of MLS for SAT. In Proceedings of the Symposium on Security and Privacy, pages 232-239. IEEE Computer Society, April 1986.
13. Jeremy Jacob. On the derivation of secure components. In Proceedings of the Symposium on Security and Privacy, pages 243-247. IEEE Computer Society, May 1989.
14. D. Johnson and J. Thayer. Security and the composition of machines. In Proceedings of the Security Foundations Workshop, pages 72-89. Mitre Corporations, June 1988.
15. M. Kaufmann and W.D. Young. Comparing specification paradigms for secure systems: Gypsy and the Boyer-Moore logic. In Proceedings of the 10th National Computer Security Conference, 1987.
16. Daryl McCullough. Covert channels and degrees of insecurity. In Proceedings of the Computer Security Foundations Workshop, pages 1-33. Mitre Corporation, June 1988.
17. Daryl McCullough. Foundations of ulysses: The theory of security. Technical Report RADC-TR-87-222, Rome Air Development Center, July 1988.
18. Daryl McCullough. A hookup theorem for multilevel security. IEEE Transactions on Software Engineering, 16(6):563-568, June 1990.
19. John McLean. Reasoning about security models. In Proceedings of the Symposium on Security and Privacy, pages 123-131. IEEE Computer Society, April 1987.
20. John McLean. Security models and information flow. In Proceedings of the Symposium on Research in Security and Privacy, pages 180-187. IEEE Computer Society, May 1990.
21. John McLean. A general theory of composition for trace sets closed under selective interleaving functions, to appear, 1994.
22. John McLean. Security models, to appear in Encyclopedia of Software Engineering, Wiley, in press., 1994.
23. R. Milner. Communicating and Concurrency. Prentice-Hall, New York, 1989.
24. Colin O'Halloran. A calculus of information flow. Technical report 92001, Defence Research Agency, Malvern, Wore, UK, December 1992.
25. G. Popek and D. Farber. A model of verification of data security in operating systems. Communications of the ACM, 21(9), September 1978.
26. John Rushby. Noninterference, transitivity, and channel-control security policies. Technical report, SRI Computer Science Laboratory, April 1991.
27. David Sutherland. A model of information. In Proceedings of the 9th National Security Conference, pages 175-183. NSA/NIST, 1986.
28. M.E. Zurko, John McLean, Jonathan Millen, Robert Morris, and Marv Schaefer. What are the foundations of computer security?: Introduction to panel discussion. In Proceedings of the Computer Security Foundations Workshop VI, pages 85-95. IEEE Computer Society, June 1993.