to increase the costs of software acquisitions to accommodate the detailed,
extensive code reviews and security tests needed to manually locate malicious
logic. Indeed, as briefed by Chris Gunderson, a researcher at the Naval
Postgraduate School, at the December 2006 meeting of the DHS Software