Composing secure systems that have emergent properties

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 1998, Pages 117-122

  Zakinthinos, Aris ^a   Lee, E S ^a  

^a Services Ltd   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; CRYPTOGRAPHY; MATHEMATICAL MODELS; STABILITY; SYSTEMS ANALYSIS;

EMERGENT PROPERTIES; GENERALIZED NONINTERFERENCE;

SECURITY OF DATA;

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

References (8)

1. J. McLean A General Theory of Composition for Trace Sets Closed Under Selective Interleaving Functions Proceedings of the 1994 IEEE Symposium on Security and Privacy 79 93 Proceedings of the 1994 IEEE Symposium on Security and Privacy 1994-May
2. A. Zakinthinos E. S. Lee A General Theory of Security Properties and Secure Composition Proceedings of the 1997 IEEE Symposium on Research in Security and Privacy Proceedings of the 1997 IEEE Symposium on Research in Security and Privacy 1998-June
3. D. McCullough Specifications for Multi-Level Security and a Hook-Up Property Proceedings of the 1987 IEEE Symposium on Research in Security and Privacy Proceedings of the 1987 IEEE Symposium on Research in Security and Privacy 1987-May
4. D. M. Johnson F. J. Thayer Security and the Composition of Machines Proceedings of the Security Foundations Workshop 72 89 Proceedings of the Security Foundations Workshop Franconia NH 1988-June
5. C. A. R. Hoare Communicating Sequential Process 1985 Prentice-Hall International, UK, LTD. London
6. C. O'Halloran A Calculus of Information Flow Proceedings of the European Symposium on Research in Computer Security Proceedings of the European Symposium on Research in Computer Security Toulouse France 1990
7. D. McCullough Noninterference and the Composability of Security Properties Proceedings of the 1988 IEEE Symposium on Research in Security and Privacy 177 186 Proceedings of the 1988 IEEE Symposium on Research in Security and Privacy 1988-May
8. A. Zakinthinos On The Composition of Security Properties 1997 University of Toronto