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$

Lời Giới Thiệu Của Nhà Xuất Bản

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.

THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2010
5 tháng 10
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
194
Trang
NHÀ XUẤT BẢN
Springer Berlin Heidelberg
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
8,6
Mb

Thêm Sách Tương Tự

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

Sách Khác Của 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