Foundations of Security, Protocols, and Equational ReasoningJoshua Guttman

Foundations of Security, Protocols, and Equational Reasoning

Joshua Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic · 2019

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2019
Publisher: Springer
Editions: 1
Pages: 251
ISBN: 9783030190514

Data source: Wikidata

More by Joshua Guttman

VLISP A Verfied Implementation of SchemeJoshua Guttman

VLISP A Verfied Implementation of Scheme

Joshua Guttman · 1995

Principles of Security and Trust Lecture Notes in Computer ScienceJoshua Guttman

Principles of Security and Trust Lecture Notes in Computer Science

Joshua Guttman · 2012

Formal Aspects In Security And Trust 5th International Workshop Fast 2008 Malaga Spain October 910 2008 Revised Selected PapersJoshua Guttman

Formal Aspects In Security And Trust 5th International Workshop Fast 2008 Malaga Spain October 910 2008 Revised Selected Papers

Joshua Guttman · 2009