Abstract is missing.
- Model-Based Testing for Functional and Security Test GenerationFabrice Bouquet, Fabien Peureux, Fabrice Ambert. 1-33 [doi]
- Model-Based Security Engineering: Managed Co-evolution of Security Knowledge and Software ModelsJens Bürger, Jan Jürjens, Thomas Ruhroth, Stefan Gärtner, Kurt Schneider. 34-53 [doi]
- Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerifBruno Blanchet. 54-87 [doi]
- Defensive JavaScript - Building and Verifying Secure Web ComponentsKarthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis. 88-123 [doi]
- Information Flow Control for Web ScriptsWillem De Groef, Dominique Devriese, Mathy Vanhoef, Frank Piessens. 124-145 [doi]
- EasyCrypt: A TutorialGilles Barthe, François Dupressoir, Benjamin Grégoire, César Kunz, Benedikt Schmidt, Pierre-Yves Strub. 146-166 [doi]
- Cryptographic Voting - A Gentle IntroductionDavid Bernhard, Bogdan Warinschi. 167-211 [doi]
- Encryption and Fragmentation for Data Confidentiality in the CloudSabrina De Capitani di Vimercati, Robert F. Erbacher, Sara Foresti, Sushil Jajodia, Giovanni Livraga, Pierangela Samarati. 212-243 [doi]
- Location Privacy in WSNs: Solutions, Challenges, and Future TrendsRuben Rios, Javier Lopez, Jorge Cuéllar. 244-282 [doi]