Del 13066 i serien Lecture Notes in Computer Science
Protocols, Strands, and Logic
Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday
Häftad, Engelska, 2021
1 059 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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.
Produktinformation
- Utgivningsdatum2021-11-19
- Mått155 x 235 x 24 mm
- Vikt657 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor425
- FörlagSpringer Nature Switzerland AG
- ISBN9783030916305
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Formal Modeling: Actors; Open Systems, Biological Systems
Gul Agha, Olivier Danvy, José Meseguer
Häftad
719 kr
Del 11565
Foundations of Security, Protocols, and Equational Reasoning
Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic
Häftad
719 kr
- Nyhet
Algebra, Meaning, and Computation
Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer
Häftad
1 389 kr