Unwinding Possibilistic Security Properties
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 238-254
- https://doi.org/10.1007/10722599_15
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Unwinding forward correctabilityPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- On the refinement of non-interferencePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Categorising non-interferencePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Forward and Backward SimulationsInformation and Computation, 1995
- A Classification of Security Properties for Process Algebras1Journal of Computer Security, 1995
- The linear time - branching time spectrumPublished by Springer Nature ,1990
- Specifications for Multi-Level Security and a Hook-UpPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1987
- A Universal Theory of Information FlowPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1987
- Defining livenessInformation Processing Letters, 1985
- Security Policies and Security ModelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1982