Tell your friends about this item:
Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday - Lecture Notes in Computer Science 1st ed. 2021 edition
Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday - Lecture Notes in Computer Science
It is one of several “symbolic approaches” to security protocol analysis in which the underlying details of cryptographic primitives are abstracted away, allowing a focus on potential flaws in the communication patterns between participants.
425 pages, 65 Illustrations, black and white; X, 425 p. 65 illus.
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | November 19, 2021 |
| ISBN13 | 9783030916305 |
| Publishers | Springer Nature Switzerland AG |
| Pages | 425 |
| Dimensions | 150 × 220 × 10 mm · 664 g |
| Language | German |
| Editor | Dougherty, Daniel |
| Editor | Meseguer, Jose |
| Editor | Modersheim, Sebastian Alexander |
| Editor | Rowe, Paul |