Foundations of Security Analysis and Design VII: Fosad 2012 / 2013 Tutorial Lectures (Paperback, 2014)

Model-Based Testing for Functional and Security Test Generation.- Model-Based Security Engineering: Managed Co-evolution of Security Knowledge and Software Models.- Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif.- Defensive JavaScript: Building and Verifying Secure Web Components.- Information Flow Control for Web Scripts.- EasyCrypt: A Tutorial.- Cryptographic Voting - A Gentle Introduction.- Encryption and Fragmentation for Data Confidentiality in the Cloud.- Location Privacy in WSNs: Solutions, Challenges, and Future Trends.