High-assurance design : architecting secure and reliable enterprise applications - BERG, Clifford J. (Addison Wesley, 2005)