George Hacken: Review of "High-Assurance Design: Architecting Secure and Reliable Enterprise Applications by Clifford Berg, " Addison-Wesley Professional, 2005, ISBN: 0321375777. ACM Queue 4(4): 50 (2006)