Foundations of Security Analysis and Design.- Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties.- An Introduction to Certificate Translation.- Federated Identity Management.- Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment.- Logic in Access Control (Tutorial Notes).- The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols.- Verification of Concurrent Programs with Chalice.- Certified Static Analysis by Abstract Interpretation.- Resource Usage Analysis and Its Application to Resource Certification.- Analysis of Security Threats, Requirements, Technologies and Standards in Wireless Sensor Networks.
From the reviews: "This is a compilation of selected tutorial papers from the 2007 to 2009 Foundations of Security Analysis and Design (FOSAD) schools. ! This collection is an excellent resource for computer science (CS) graduate students, scholars, and practitioners interested in security-related research. Furthermore, it provides up-to-date citations for further study." (Kim-Kwang Raymond Choo, ACM Computing Reviews, March, 2010)