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

Foundations of Security Analysis and Design V

Alessandro Aldini and Others
    • $54.99
    • $54.99

Publisher Description

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.

GENRE
Computers & Internet
RELEASED
2009
August 10
LANGUAGE
EN
English
LENGTH
347
Pages
PUBLISHER
Springer Berlin Heidelberg
SELLER
Springer Nature B.V.
SIZE
6.5
MB

More Books Like This

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 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
Foundations and Practice of Security Foundations and Practice of Security
Foundations and Practice of Security
2015

More Books by Alessandro Aldini, Gilles Barthe & Roberto Gorrieri

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
Foundations of Security Analysis and Design VI Foundations of Security Analysis and Design VI
Foundations of Security Analysis and Design VI
2011