TY  - RPRT
TI  - Quantitative Information Flow - Verification Hardness and Possibilities
AU  - Hirotoshi Yasuoka
AU  - Tachio Terauchi
PY  - 2010
UR  - https://arxiv.org/abs/1004.0062
ID  - 1004.0062
ER  -