Foundations of Security Analysis and Design VI

FOSAD Tutorial Lectures

  • Alessandro Aldini
  • Roberto Gorrieri
Textbook FOSAD 2011

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

Table of contents

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

    1. Sabrina De Capitani di Vimercati, Sara Foresti, Giovanni Livraga, Pierangela Samarati
      Pages 1-34
    2. Riccardo Focardi, Flaminia L. Luccio, Graham Steel
      Pages 35-65
    3. Cédric Fournet, Karthikeyan Bhargavan, Andrew D. Gordon
      Pages 66-100
    4. David Basin, Manuel Clavel, Marina Egea, Miguel A. García de Dios, Carolina Dania, Gonzalo Ortiz et al.
      Pages 101-124
    5. Roberto Gorrieri, Matteo Vernali
      Pages 125-151
    6. Daniele Micciancio
      Pages 185-210
    7. Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi
      Pages 211-230
    8. Mass Soldal Lund, Bjørnar Solhaug, Ketil Stølen
      Pages 231-274
  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 timely 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 stimulate discussions and novel scientific collaborations. 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 2010 and August/September 2011. The topics covered in this book include privacy and data protection; security APIs; cryptographic verification by typing; model-driven security; noninterfer-quantitative information flow analysis; and risk analysis.


anonymity cryptographic security data integrity formal methods privacy protocol verification security policies

Editors and affiliations

  • Alessandro Aldini
    • 1
  • Roberto Gorrieri
    • 2
  1. 1.Dipartimento di Scienze di Base e FondamentiUniversità degli Studi di Urbino “Carlo Bo”UrbinoItaly
  2. 2.Dipartimento di Scienze dell’InformazioneUniversità degli Studi di BolognaBolognaItaly

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-23081-3
  • Online ISBN 978-3-642-23082-0
  • 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