---

This book explores fundamental principles for securing IT systems and illustrates them with hands-on experiments that may be carried out by the reader using accompanying software. It details different countermeasures and their implementation.

---

Prof. Dr. David Basin is the Chair of Information Security at ETH Zürich; his research focuses on information security, in particular methods and tools for modeling, building, and validating secure and reliable systems. Dr. Patrick Schaller is a lecturer at ETH Zürich, his research is concerned with the formalization and analysis of security protocols. Michael Schläpfer is a graduate student of ETH Zürich.

---