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

출판사 설명

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.

장르
컴퓨터 및 인터넷
출시일
2010년
10월 5일
언어
EN
영어
길이
194
페이지
출판사
Springer Berlin Heidelberg
판매자
Springer Nature B.V.
크기
8.6
MB

비슷한 책 더 보기

Computer Security – ESORICS 2007 Computer Security – ESORICS 2007
Computer Security – ESORICS 2007
2007년
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년

Alessandro Armando & Gavin Lowe의 도서 더 보기

L'aula e la piazza L'aula e la piazza
L'aula e la piazza
2025년
Critica della ragione progettuale Critica della ragione progettuale
Critica della ragione progettuale
2023년
Architettura e conflitto Architettura e conflitto
Architettura e conflitto
2020년
Automated Reasoning Automated Reasoning
Automated Reasoning
2008년