Operational Semantics and Verification of Security Protocols by Cas Cremers
Security protocols are widely used to ensure secure communications over insecure networks, such as the internet or airwaves.-
Computer Security and the Internet
-
Cryptography Made Simple
-
Practical Signcryption
-
The Complete Guide to SCION
-
Towards Hardware-Intrinsic Security
-
Cryptography in Constant Parallel Time
-
Modelling and Verification of Secure Exams
-
Fault-Tolerant Distributed Consensus in Synchronous Networks
-
The Design of Rijndael
-
Novel Techniques in Recovering, Embedding, and Enforcing Policies for Control-Flow Integrity
-
Introduction to Security Science
-
Security Protocols and Threat Models
-
SCION: A Secure Internet Architecture
-
The LLL Algorithm
-
Round and Computational Efficiency of Multi-party Protocols
-
Modeling and Analyzing Security Protocols with Tamarin
-
Formal Correctness of Security Protocols
-
The Theory of Hash Functions and Random Oracles
-
The Hash Function BLAKE
-
Concurrent Zero-Knowledge
-
Fault Analysis in Cryptography
"This book is a great resource for anyone who wants to do research in the security analysis of protocolsIt is written in a textbook style by authors who have excellent command over the subject. It could be used for self-study too ... overall the book does superb justice to the subject in every aspect."
[Sashank Dara, Cisco Systems Inc., IACR Book Reviews, 12/2014]
The first author is a senior scientist working at the ETH Zürich, the second author is a professor at the Université du Luxembourg; both have a research focus and teaching responsibilities in the areas of information security, protocols, privacy, trust and formal methods.
| SKU | Unavailable |
| ISBN 13 | 9783540786351 |
| ISBN 10 | 354078635X |
| Title | Operational Semantics and Verification of Security Protocols |
| Author | Cas Cremers |
| Series | Information Security And Cryptography |
| Condition | Unavailable |
| Binding Type | Hardback |
| Publisher | Springer |
| Year published | 2012-10-31 |
| Number of pages | 174 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |