Skip to main content
SpringerLink
Log in

Foundations of Security Analysis and Design VII

FOSAD 2012 / 2013 Tutorial Lectures

  • Textbook
  • © 2014

Overview

Editors:
  1. Alessandro Aldini

    1. Dipartimento di Scienze di Base e Fondamenti, University of Urbino "Carlo Bo", Urbino, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Javier Lopez

    1. Department of Computer Science, Network, Information and Computer Security Laboratory, University of Malaga, Malaga, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Fabio Martinelli

    1. Istituto di Informatica e Telematica - IIT, Security Group, National Research Council - CNR, Pisa, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Provides a collection of tutorial papers accompanying lectures given at the FOSAD summer school in 2012 and 2013
  • Written by field experts for students, researchers and practitioners
  • Thoroughly revised tutorials

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

Part of the book sub series: Security and Cryptology (LNSC)

Included in the following conference series:

Conference proceedings info: FOSAD 2012. FOSAD 2013.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 chapters)

  1. Front Matter

    Download chapter PDF

  2. Model-Based Testing for Functional and Security Test Generation

    • Fabrice Bouquet, Fabien Peureux, Fabrice Ambert
    Pages 1-33

  3. Model-Based Security Engineering: Managed Co-evolution of Security Knowledge and Software Models

    • Jens Bürger, Jan Jürjens, Thomas Ruhroth, Stefan Gärtner, Kurt Schneider
    Pages 34-53

  4. Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif

    • Bruno Blanchet
    Pages 54-87

  5. Defensive JavaScript

    • Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis
    Pages 88-123

  6. Information Flow Control for Web Scripts

    • Willem De Groef, Dominique Devriese, Mathy Vanhoef, Frank Piessens
    Pages 124-145

  7. EasyCrypt: A Tutorial

    • Gilles Barthe, François Dupressoir, Benjamin Grégoire, César Kunz, Benedikt Schmidt, Pierre-Yves Strub
    Pages 146-166

  8. Cryptographic Voting — A Gentle Introduction

    • David Bernhard, Bogdan Warinschi
    Pages 167-211

  9. Encryption and Fragmentation for Data Confidentiality in the Cloud

    • Sabrina De Capitani di Vimercati, Robert F. Erbacher, Sara Foresti, Sushil Jajodia, Giovanni Livraga, Pierangela Samarati
    Pages 212-243

  10. Location Privacy in WSNs: Solutions, Challenges, and Future Trends

    • Ruben Rios, Javier Lopez, Jorge Cuellar
    Pages 244-282

  11. Back Matter

    Download chapter PDF
Back to top

Keywords

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.

Editors and Affiliations

  • Dipartimento di Scienze di Base e Fondamenti, University of Urbino "Carlo Bo", Urbino, Italy

    Alessandro Aldini

  • Department of Computer Science, Network, Information and Computer Security Laboratory, University of Malaga, Malaga, Spain

    Javier Lopez

  • Istituto di Informatica e Telematica - IIT, Security Group, National Research Council - CNR, Pisa, Italy

    Fabio Martinelli

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation