Cas Cremers, Sjouke Mauw: Operational Semantics and Verification of Security Protocols bei ebook.de. Online bestellen oder in der Filiale abholen.