Title :
Quantifying information flow
Author_Institution :
Comput. Lab., Oxford Univ., UK
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 :
communicating sequential processes; information theory; CSP; covert channels; information flow; process algebra; Algebra; Books; Channel capacity; Computer security; Conferences; Information security; Laboratories; Performance analysis;
Conference_Titel :
Computer Security Foundations Workshop, 2002. Proceedings. 15th IEEE
Print_ISBN :
0-7695-1689-0
DOI :
10.1109/CSFW.2002.1021804
