Secure Architectures with OpenBSD - PALMER, Brandon (Addison-Wesley, 2004)