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
    • $69.99

Publisher Description

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.

GENRE
Computing & Internet
RELEASED
2010
5 October
LANGUAGE
EN
English
LENGTH
194
Pages
PUBLISHER
Springer Berlin Heidelberg
SELLER
Springer Nature B.V.
SIZE
8.6
MB

More Books Like This

Foundations of Security Analysis and Design V Foundations of Security Analysis and Design V
Foundations of Security Analysis and Design V
2009
Computer Network Security Computer Network Security
Computer Network Security
2010
Computer Security - ESORICS 2008 Computer Security - ESORICS 2008
Computer Security - ESORICS 2008
2008
Computer Security - ESORICS 2010 Computer Security - ESORICS 2010
Computer Security - ESORICS 2010
2010
Computer Security -- ESORICS 2009 Computer Security -- ESORICS 2009
Computer Security -- ESORICS 2009
2009
Foundations and Practice of Security Foundations and Practice of Security
Foundations and Practice of Security
2015

More Books by Alessandro Armando & Gavin Lowe

Critica della ragione progettuale Critica della ragione progettuale
Critica della ragione progettuale
2023
Automated Reasoning Automated Reasoning
Automated Reasoning
2008