Textbooks
Network Security: C. Kaufman, R. Perlman, M. Speciner,
Prentice Hall (2002)
A practical but rigorous presentation of network security issues
and techniques with emphasis on cryptographic solutions
Security Engineering: R. Anderson, Wiley (2001)
Focused on learning from past mistakes in security system design.
Excellent discussion of policies and policy models.
See author’s web site (www.ross-anderson.com) if you are
interested in current research.