Quantifying Information Flow
| Author(s) : | Gavin Lowe, |
| Publisher : | N/A |
| Publication Date : | 1999 |
| ISSN : | N/A |
| 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 di#erent behaviours of a high level user that can be distinguished by a low level user. 1, |