Specification, Algebra, and Software
Shusaku Iida, José Meseguer, Kazuhiro Ogata, Jose Meseguer, Kazuhiro Meseguer, José
Häftad
709 kr
Del 13066 - 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 049 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
Del 11565
Foundations of Security, Protocols, and Equational Reasoning
Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic, Jose Meseguer
Häftad
709 kr
- Bokrea
Del 2
Del 16120
Concurrent Programming, Open Systems and Formal Methods
Jose Meseguer, Carlos A. Varela, Nalini Venkatasubramanian
Häftad
1 149 kr
Formal Modeling: Actors; Open Systems, Biological Systems
Gul Agha, Olivier Danvy, José Meseguer
Häftad
709 kr
Del 20
Concurrency, Graphs and Models
Pierpaolo Degano, Rocco de Nicola, José Meseguer, Rocco De Nicola
Häftad
1 409 kr