MPG.eBooks - Search Results - "Information Security and Cryptography"

Cover Image

1

Operational Semantics and Verification of Security Protocols

by Cremers, Cas, Mauw, Sjouke
Published 2012

Springer Berlin Heidelberg

“...Information Security and Cryptography...”