Foundations of Security Analysis and Design V

FOSAD 2007/2008/2009 Tutorial Lectures

  • Alessandro Aldini
  • Gilles Barthe
  • Roberto Gorrieri
Textbook FOSAD 2009, FOSAD 2007, FOSAD 2008

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5705)

Table of contents

  1. Front Matter
  2. Foundations of Security Analysis and Design

    1. FOSAD 2007

      1. Santiago Escobar, Catherine Meadows, José Meseguer
        Pages 1-50
    2. FOSAD 2008

      1. Gilles Barthe, César Kunz
        Pages 51-95
      2. David W. Chadwick
        Pages 96-120
    3. FOSAD 2009

      1. Martín Abadi
        Pages 145-165
      2. K. Rustan M. Leino, Peter Müller, Jan Smans
        Pages 195-222
      3. Frédéric Besson, David Cachera, Thomas Jensen, David Pichardie
        Pages 223-257
      4. Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
        Pages 258-288
  3. Back Matter

About this book


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.


Standards anonymity authentication cryptanalysis cryptographic algorithms hardware implementation information hiding intrusion detection privacy security side-channel attacks smart cards systems security trust voting

Editors and affiliations

  • Alessandro Aldini
    • 1
  • Gilles Barthe
    • 2
  • Roberto Gorrieri
    • 3
  1. 1.Istituto di Scienze e Tecnologie dell’InformazioneUniversità degli Studi di Urbino “Carlo Bo”UrbinoItaly
  2. 2.IMDEA SoftwareUPM Facultad de InformaticaBoadilla del Monte, MadridSpain
  3. 3.Dipartimento di Scienze dell’InformazioneUniversità degli Studi di BolognaBolognaItaly

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-03828-0
  • Online ISBN 978-3-642-03829-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment