T.: Quantitative information flow — verification hardness and possibilities (2010)

by H Yasuoka, Terauchi
Venue:In: Proc. 23nd IEEE Computer Security Foundations Symposium (CSF ’10