Quantifying information flow
- 25 June 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
We extend definitions of information flow so as to quantify the amount of information passed; in other words, we give a formal definition of the capacity of covert channels. Our definition uses the process algebra CSP, and is based upon counting the number of different behaviours of a high level user that can be distinguished by a low level user.Keywords
This publication has 8 references indexed in Scilit:
- Comparing two information flow security propertiesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Toward a mathematical foundation for information flow securityPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- CSP and determinism in security modellingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Information flow analysis in a discrete-time process algebraPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Information flow in nondeterministic systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1990
- Covert Channel CapacityPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1987
- Refusal testingPublished by Springer Nature ,1986
- Testing equivalences for processesTheoretical Computer Science, 1984