Foundations of Security Analysis And Design III

by Aldini, Alessandro; Gorrieri, Roberto; Martinelli, Fabio; International School on Foundations of S

• ISBN13: 9783540289555
• ISBN10: 3540289550
• Format: Paperback
• Copyright: 2005-11-15
• Publisher: Springer-Verlag New York Inc

Summary

The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested by the fast-growing number of research groups, events, conferences, and summer schools that address the study of foundations for the analysis and the design of security aspects. This book presents thoroughly revised versions of eight tutorial lectures given by leading researchers during two International Schools on Foundations of Security Analysis and Design, FOSAD 2004/2005, held in Bertinoro, Italy, in September 2004 and September 2005. The lectures are devoted to: Justifying a Dolev-Yao Model under Active Attacks, Model-based Security Engineering with UML, Physical Security and Side-Channel Attacks, Static Analysis of Authentication, Formal Methods for Smartcard Security, Privacy-Preserving Database Systems, Intrusion Detection, Security and Trust Requirements Engineering.

Table of Contents

Part I: FOSAD 2004 (6-11 September 2004)
Justifying a Dolev-Yao Model Under Active Attacks	1	(41)
Michael Backes
Birgit Pfitzmann
Michael Waidner
Model-Based Security Engineering with UML	42	(36)
Jan Jurjens
A Tutorial on Physical Security and Side-Channel Attacks	78	(31)
Francois Koeune
Francois-Xavier Standaert
Static Analysis of Authentication	109	(24)
Riccardo Focardi
Part II: FOSAD 2005 (19-24 September 2005)
Formal Methods for Smartcard Security	133	(45)
Gilles Barthe
Guillaume Dufay
Privacy-Preserving Database Systems	178	(29)
Elisa Bertino
Ji-Won Byun
Ninghui Li
Intrusion Detection: Introduction to Intrusion Detection and Security Information Management	207	(30)
Herve Debar
Jouni Viinikka
Security and Trust Requirements Engineering	237	(36)
Paolo Giorgini
Fabio Massacci
Nicola Zannone
Author Index	273