@conference {106,
	title = {Quantitative Approaches to Information Protection},
	booktitle = {Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings},
	year = {2013},
	publisher = {Springer},
	organization = {Springer},
	isbn = {978-3-642-39991-6},
	author = {Catuscia Palamidessi},
	editor = {Leonid Libkin and Ulrich Kohlenbach and Ruy J. G. B. de Queiroz}
}