Trusted Systems - Chen, Liqun (Springer Berlin Heidelberg, 2011)