Foundations of Security Analysis and Design VII

FOSAD 2012/2013 Tutorial Lectures

  • Alessandro Aldini
  • Javier Lopez
  • Fabio Martinelli
Textbook FOSAD 2013, FOSAD 2012

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

Table of contents

  1. Front Matter
  2. Fabrice Bouquet, Fabien Peureux, Fabrice Ambert
    Pages 1-33
  3. Jens Bürger, Jan Jürjens, Thomas Ruhroth, Stefan Gärtner, Kurt Schneider
    Pages 34-53
  4. Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis
    Pages 88-123
  5. Willem De Groef, Dominique Devriese, Mathy Vanhoef, Frank Piessens
    Pages 124-145
  6. Gilles Barthe, François Dupressoir, Benjamin Grégoire, César Kunz, Benedikt Schmidt, Pierre-Yves Strub
    Pages 146-166
  7. David Bernhard, Bogdan Warinschi
    Pages 167-211
  8. Sabrina De Capitani di Vimercati, Robert F. Erbacher, Sara Foresti, Sushil Jajodia, Giovanni Livraga, Pierangela Samarati
    Pages 212-243
  9. Ruben Rios, Javier Lopez, Jorge Cuellar
    Pages 244-282
  10. 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. Over the years, both the summer school and the book series have represented a reference point for graduate students and young researchers from academia or industry, interested to approach the field, investigate open problems, and follow priority lines of research.
This book presents thoroughly revised versions of nine tutorial lectures given by leading researchers during three International Schools on Foundations of Security Analysis and Design, FOSAD, held in Bertinoro, Italy, in September 2012 and 2013. The topics covered in this book include model-based security, automatic verification of secure applications, information flow analysis, cryptographic voting systems, encryption in the cloud, and privacy preservation.


anonymity cryptographic security cryptography data integrity formal methods human and societal aspects of security and privacy network security protocol verification security and privacy security policies security services

Editors and affiliations

  • Alessandro Aldini
    • 1
  • Javier Lopez
    • 2
  • Fabio Martinelli
    • 3
  1. 1.Dipartimento di Scienze di Base e FondamentiUniversity of Urbino "Carlo Bo"UrbinoItaly
  2. 2.Department of Computer Science, Network, Information and Computer Security LaboratoryUniversity of MalagaMalagaSpain
  3. 3.Istituto di Informatica e Telematica - IIT, Security GroupNational Research Council - CNRPisaItaly

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-10081-4
  • Online ISBN 978-3-319-10082-1
  • 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