Secure IT Systems - Riis Nielson (Springer Berlin Heidelberg, 2013)