"Computer system security - Basic Concepts and Solved Exercises."

Gildas Avoine, Pascal Junod, Philippe Oechslin (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics