Foundations of Security Analysis and Design VII

1. Front Matter

   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

    PDF

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

• 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

Policies and ethics