Operational Semantics and Verification of Security Protocols |
|
Author:
| Cremers, Cas Mauw, Sjouke |
Series title: | Information Security and Cryptography Ser. |
ISBN: | 978-3-642-43053-4 |
Publication Date: | Nov 2014 |
Publisher: | Springer Berlin / Heidelberg
|
Imprint: | Springer |
Book Format: | Paperback |
List Price: | USD $69.95 |
Book Description:
|
This account of an effective methodology for defining and verifying security protocols in network communication includes an accompanying tool set that will be of great interest to researchers and advanced professionals working on critical security protocols.
This account of an effective methodology for defining and verifying security protocols in network communication includes an accompanying tool set that will be of great interest to researchers and advanced professionals working on critical security protocols.