Reference:

Boris Köpf and Andrey Rybalchenko. Approximation and randomization for quantitative information-flow analysis. In CSF, pages 3–14.

Suggested BibTeX entry:

@inproceedings{DBLP:confcsfwKopfR10,
    author = {Boris K{\"o}pf and Andrey Rybalchenko},
    booktitle = {CSF},
    pages = {3-14},
    publisher = {IEEE Computer Society},
    title = {Approximation and Randomization for Quantitative Information-Flow Analysis},
    year = {2010}
}