Foundations of Security Analysis and Design VIII

FOSAD 2014/2015/2016 Tutorial Lectures

  • Alessandro Aldini
  • Javier Lopez
  • Fabio Martinelli
Textbook FOSAD 2016, FOSAD 2015

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

Also part of the Security and Cryptology book sub series (LNSC, volume 9808)

Table of contents

  1. Front Matter
    Pages I-VII
  2. Jonathan Bootle, Andrea Cerulli, Pyrros Chaidos, Jens Groth
    Pages 1-31
  3. Steven Van Acker, Andrei Sabelfeld
    Pages 32-86
  4. Michael Backes, Pascal Berrang, Praveen Manoharan
    Pages 87-138
  5. Ankur Taly, Asim Shankar
    Pages 139-162
  6. Back Matter
    Pages 163-163

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 and industry, interested to approach the field, investigate open problems, and follow priority lines of research. 
This book presents thoroughly revised versions of four tutorial lectures given by leading researchers during three International Schools on Foundations of Security Analysis and Design, FOSAD, held in Bertinoro, Italy, in September 2014, 2015 and 2016. The topics covered in this book include zero-knowledge proof systems, JavaScript sandboxing, assessment of privacy, and distributed authorization.


access control distributed systems privacy architectures proof systems Web application security applications authorization cryptographic protocols cryptographic protocols verification foundations internet javascript peer-to-peer personal information privacy protection security analysis security policy sensor Web applications Web protocol security

Editors and affiliations

  • Alessandro Aldini
    • 1
  • Javier Lopez
    • 2
  • Fabio Martinelli
    • 3
  1. 1.University of Urbino UrbinoItaly
  2. 2.University of Malaga MalagaSpain
  3. 3.National Research Council C.N.R. PisaItaly

Bibliographic information

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