@proceedings {104,
	title = {Quantitative Security Analysis (Dagstuhl Seminar 12481)},
	journal = {Dagstuhl Reports},
	volume = {2},
	year = {2012},
	pages = {135-154},
	editor = {Boris K{\"o}pf and Pasquale Malacaria and Catuscia Palamidessi}
}