DocumentCode
2020292
Title
Quantifying information flow
Author
Lowe, Gavin
Author_Institution
Comput. Lab., Oxford Univ., UK
fYear
2002
fDate
2002
Firstpage
18
Lastpage
31
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Workshop, 2002. Proceedings. 15th IEEE
ISSN
1063-6900
Print_ISBN
0-7695-1689-0
Type
conf
DOI
10.1109/CSFW.2002.1021804
Filename
1021804
Link To Document