Foundations of Security Analysis and Design V Foundations of Security Analysis and Design V

Foundations of Security Analysis and Design V

Alessandro Aldini và các tác giả khác
    • 54,99 US$
    • 54,99 US$

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

FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Offering a good spectrum of current research in foundations of security, FOSAD also proposes panels dedicated to topical open problems, and giving presentations about ongoing work in the field, in order to favour discussions and novel scientific collaborations.

This book presents thoroughly revised versions of ten tutorial lectures given by leading researchers during three International Schools on Foundations of Security Analysis and Design, FOSAD 2007/2008/2009, held in Bertinoro, Italy, in September 2007, August 2008, and August/September 2009. The topics covered in this book include cryptographic protocol analysis, program and resource certification, identity management and electronic voting, access and authorization control, wireless security, mobile code and communications security.

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

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

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
2010
Computer Security – ESORICS 2007 Computer Security – ESORICS 2007
Computer Security – ESORICS 2007
2007
Computer Security - ESORICS 2010 Computer Security - ESORICS 2010
Computer Security - ESORICS 2010
2010
Foundations and Practice of Security Foundations and Practice of Security
Foundations and Practice of Security
2014
Computer Security - ESORICS 2008 Computer Security - ESORICS 2008
Computer Security - ESORICS 2008
2008
Computer Network Security Computer Network Security
Computer Network Security
2010

Sách Khác Của Alessandro Aldini, Gilles Barthe & Roberto Gorrieri

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops
2024
Data Privacy Management and Security Assurance Data Privacy Management and Security Assurance
Data Privacy Management and Security Assurance
2016
Foundations of Security Analysis and Design VIII Foundations of Security Analysis and Design VIII
Foundations of Security Analysis and Design VIII
2016
Data Privacy Management, and Security Assurance Data Privacy Management, and Security Assurance
Data Privacy Management, and Security Assurance
2016
Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance
Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance
2015
User-Centric Networking User-Centric Networking
User-Centric Networking
2014