Quantitative information flow in interactive systems | Journal of Computer Security | DeepDyve