Section 1 Introduction
In 2005, the President’s Information Technology Advisory Committee
(PITAC) published its report Cyber Security: A Crisis of Prioritization. In this
report, PITAC observed that software is a major source of vulnerabilities in US