Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security

Alessandro Armando و Gavin Lowe
    • ‏69٫99 US$
    • ‏69٫99 US$

وصف الناشر

This book constitutes the proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security held in Paphos, Cyprus, in March 2010.

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠١٠
٥ أكتوبر
اللغة
EN
الإنجليزية
عدد الصفحات
١٩٤
الناشر
Springer Berlin Heidelberg
البائع
Springer Nature B.V.
الحجم
٨٫٦
‫م.ب.‬

المزيد من الكتب المشابهة

Computer Security – ESORICS 2007 Computer Security – ESORICS 2007
Computer Security – ESORICS 2007
٢٠٠٧
Foundations of Security Analysis and Design V Foundations of Security Analysis and Design V
Foundations of Security Analysis and Design V
٢٠٠٩
Computer Network Security Computer Network Security
Computer Network Security
٢٠١٠
Computer Security - ESORICS 2008 Computer Security - ESORICS 2008
Computer Security - ESORICS 2008
٢٠٠٨
Computer Security - ESORICS 2010 Computer Security - ESORICS 2010
Computer Security - ESORICS 2010
٢٠١٠
Computer Security -- ESORICS 2009 Computer Security -- ESORICS 2009
Computer Security -- ESORICS 2009
٢٠٠٩

المزيد من كتب Alessandro Armando & Gavin Lowe

L'aula e la piazza L'aula e la piazza
L'aula e la piazza
٢٠٢٥
Critica della ragione progettuale Critica della ragione progettuale
Critica della ragione progettuale
٢٠٢٣
Architettura e conflitto Architettura e conflitto
Architettura e conflitto
٢٠٢٠
Automated Reasoning Automated Reasoning
Automated Reasoning
٢٠٠٨