Defining information flow quantity

Issue title: Special issue on CSFW15

Guest editors: S. Schneider

Article type: Research Article

Authors: Lowe, Gavin

Affiliations: Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK. E-mail: [email protected]

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.

DOI: 10.3233/JCS-2004-123-410

Journal: Journal of Computer Security, vol. 12, no. 3-4, pp. 619-653, 2004