A general theory of security properties
- 22 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
We present a general theory of possibilistic security properties. We show that we can express a security property as a predicate that is true of every set containing all the traces with the same low level event sequence. Given this security predicate, we show how to construct a partial ordering of security properties. We also discuss information flow and present the weakest property such that no information can flow from high level users to low level users. Finally, we present a comparison of our framework and McLean's (1994) Selective Interleaving Functions framework.Keywords
This publication has 12 references indexed in Scilit:
- Security specificationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Noninterference and the composability of security propertiesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Comparing two information flow security propertiesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- How and why feedback composition fails [secure systems]Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A general theory of composition for trace sets closed under selective interleaving functionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A taxonomy of trace-based security properties for CCSPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A general theory of composition for a class of "possibilistic" propertiesIEEE Transactions on Software Engineering, 1996
- 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
- Security Policies and Security ModelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1982