@book{76277,
	author = { Ralf Küsters},
	title = {Principles of Security and Trust},
	publisher = {Springer International Publishing},
	year = {2018},
	series = {Lecture Notes in Computer Science; 10804},
	url = {https://link.springer.com/openurl?genre=book&isbn=978-3-319-89722-6}
}