Computer system security : basic concepts and solved exercises / - Avoine, Gildas. (EPFL Press, 2007)