De som köpt den här boken har ofta också köpt The Singularity is Nearer av Ray Kurzweil (inbunden).
Köp båda 2 för 1027 kr"This book is a great resource for anyone who wants to do research in the security analysis of protocols. It 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 Zrich, 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.
Introduction.- Preliminaries.- Operational Semantics.- Security Properties.- Verification.- Multiprotocol Attacks.- Generalizing NSL for Multiparty Authentication.- Related Work.- Conclusions and Future Work.- Index.