Principles of Security and Trust - MartÃn Abadi, Steve Kremer (Springer Berlin Heidelberg, 2014)