A general theory of composition for a class of "possibilistic" properties

IEEE Transactions on Software Engineering

Volumn 22, Issue 1, 1996, Pages 53-67

  McLean, John ^a,b  

^a IEEE   (United States)

^b NAVAL RESEARCH LABORATORY   (United States)

Author keywords

Computer security, security models, composition, information flow

Indexed keywords

EID: 0002426876     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.481534     Document Type: Article

References (20)

1. M. Abadi and L. Lamport, "Composing specifications," Stepwise Refinement of Distributed Systems, J. W. de Bakker, W. P. de Roever, and G. Rosenberg, eds., Lecture Notes in Computer Science, vol. 430. Springer-Verlag, 1990.
2. B. Alpern and F. Schneider, "Defining liveness," Information Processing Letters, vol. 21, no. 4, pp. 181-185, Oct. 1985.
3. J. Goguen and J. Meseguer, "Security policies and security models," Proc. 1982 IEEE Symp. Research in Security and Privacy. IEEE Press, 1982.
4. J. Graham-Gumming and J.W. Sanders, "On the refinement of noninterference," Proc. Computer Security Foundations Workshop W. IEEE Press, 1991.
5. J. Gray, "Toward a mathematical foundation for information flow security," J. Computer Security, vol. 1, nos. 3-4, pp. 255-294,1992.
6. J. Jacob, "On the derivation of secure components," Proc. 1989 IEEE Symp. Research in Security and Privacy. IEEE Press, 1989.
7. M. Li and P. Vitänyi, "Kolmogorov complexity and its applications," Handbook of Theoretical Computer Science, vol. A: Algorithms and Complexity,}. van Leeuwen, ed. MIT Press/Elsevier, 1990.
8. D. McCullough, "Specifications for multi-level security and a hook-up property," Proc. 1387 IEEE Symp. Research in Security and Privacy. IEEE Pre'ss, 1987.
9. J. McLean, "The specification and modeling of computer security," Computer, vol. 23, no. 1, pp. 9-16,1990.
10. J. McLean, "Security models and information flow," Proc. 1990 IEEE Symp. Research in Security and Privacy. IEEE Press, 1990.
11. [II] J. McLean, "Proving noninterference and functional correctness using traces," J. Computer Security, vol. 1, no. 1, pp. 37-57,1992.
12. J. McLean, "Models of confidentiality: Past, present, and future," Proc. Computer Security Foundations Workshop VI. IEEE Press, 1993.
13. J. McLean, "A general theory of composition for trace sets closed under selective interleaving functions," Proc. 1994 IEEE Symp. Research in Security and Privacy. IEEE Press, 1994.
14. J. McLean, "Security Models," Encyclopedia of Software Engineering , J. Marciniak, ed. John Wiley & Sons, 1994.
15. C. Meadows, "Using traces based on procedure calls to reason about composability," Proc. 1992 IEEE Symp. Research in Security and Privacy. IEEE Press, 1992.
16. J. Millen, "Hookup security for synchronous machines," Proc. Computer Security Foundations Workshop 111. IEEE Press, 1990.
17. C. O'Halloran, "A calculus of information flow," Proc. European Symp. Research in Computer Security, Toulouse, France, 1990.
18. J.T. Wittbold and D. Johnson, "Information flow in nondeterministic systems," Proc. 1990 IEEE Symp. Research in Security and Priva. J.'IEEE Press, 1990.
19. J. Rushby, "Design and verification of secure systems," Proc Eighth Symp. Operating System Principles. ACM, 1981.
20. I. Sutherland, "A model of information," Proc. Ninth Nat'1 Computer Security ConJ., Gaithersburg, Md., 1986.