Writing secure code - Howard, Michael (Microsoft Press, 2002)