Formal Correctness of Security Protocols
| Autor: | Giampaolo Bella |
|---|---|
| EAN: | 9783540681366 |
| eBook Format: | |
| Sprache: | Englisch |
| Produktart: | eBook |
| Veröffentlichungsdatum: | 30.11.2010 |
| Kategorie: | |
| Schlagworte: | Artificial Intelligence (incl. B Cryptology and Information Theory Data Structures Formal methods Inductive techniques Mathematical Logic and Formal Languages Protocol engineering Security protocols Systems and Data Security Theorem proving |
67,82 €*
Versandkostenfrei
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols examined include Kerberos versions, smartcard protocols, non-repudiation protocols, and certified email protocols. The method of analysis turns out to be both powerful and flexible. This research advances significant extensions to the method of analysis, while the findings on the protocols analysed are novel and illuminating.
Verwandte Artikel