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

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 2019
הוצאה: Springer
מהדורות: 1
עמודים: 251
ISBN: 9783030190514

מקור הנתונים: Wikidata

עוד של 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