Applied quantitative information flow and statistical databases (2009)

by Jonathan Heusser, Pasquale Malacaria
Venue:Proceedings of the International Workshop on Formal Aspects in Security and Trust (FAST 2009), volume 5983 of Lecture Notes in Computer Science