A comparison of non-interference and non-deducibility using CSP

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 1991, Pages 43-54

  Allen, P G ^a  

^a HEWLETT PACKARD LABORATORIES   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

SECURITY SYSTEMS;

FLOW PROPERTIES; IDENTIFYING SYSTEM; NON INTERFERENCE; UNIFORM FRAMEWORK;

SECURITY OF DATA;

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

References (6)

1. J. Goguen and J. Meseguer, "Security Policies and Security Models", Proceedings of the IEEE Symposium on Security and Privacy, 1982.
2. J. K. Millen, "Hookup Security for Synchronous Machines", Proceedings of the 1990 Computer Security Foundations Workshop III, Franconia 1990.
3. P. Y. A. Ryan, "A CSP Formulation of Noninterference", Proceedings of the 1990 Computer Security Foundations Workshop III, Franconia 1990.
4. D. Sutherland, "A Model of Information", Proceedings of the Nattional Computer Security Conference, 1986.
5. V. Varadharajan, "Petri Net Based Modelling of Information Flow Security Requirements", Proceedings of the 1990 Computer Security Foundations Workshop III, Franconia 1990.
6. J. T. Wittbold and D. M. Johnson, "Information Flow in Nondeterministic Systems", Proceedings of the IEEE Symposium on Security and Privacy, 1990.