Operational Semantics and Verification of Security Protocols (Information Security and Cryptography)

Verification

von: Cas Cremers · Sjouke Mauw

Gebunden

ISBN: 978-3-540-78635-1

ISBN-10: 3-540-78635-X

Springer · 2012