Operating System Security and Defensive Programming