Information Flow Control and Applications — Bridging a Gap —
- 16 March 2001
- book chapter
- Published by Springer Nature
- p. 153-172
- https://doi.org/10.1007/3-540-45251-6_9
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- What is intransitive noninterference?Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Absorbing covers and intransitive non-interferencePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Verification of a Formal Security Model for Multiapplicative Smart CardsPublished by Springer Nature ,2000
- Unwinding Possibilistic Security PropertiesPublished by Springer Nature ,2000
- A Uniform Approach for the Definition of Security PropertiesPublished by Springer Nature ,1999
- Process algebra and non-interferencePublished by Institute of Electrical and Electronics Engineers (IEEE) ,1999
- A general theory of composition for a class of "possibilistic" propertiesIEEE Transactions on Software Engineering, 1996
- The linear time - branching time spectrumPublished by Springer Nature ,1990
- Unwinding and Inference ControlPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1984
- Security Policies and Security ModelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1982