Applied quantitative information flow and statistical databases (2010)

by J Heusser, P Malacaria
Venue:In Proceedings of the 6th international conference on Formal Aspects in Security and Trust, FAST’09