Slide 1 Lecture 12 Overview Slide 2 Secure programs Security implies some degree of trust that the program enforces expected – confidentiality, – integrity, and – availability.…