Defining information flow quantity. - Lowe, Gavin (Journal of Computer Security, 2004)