Defining information flow quantity
Gavin Lowe · Journal of Computer Security · 2004
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