on, or execution of malicious code embedded in, operational software, or as
implantations of malicious logic or intentional vulnerabilities in software under
development. John McDermott of the Naval Research Laboratory’s Center
for High Assurance Computer Systems (NRL CHACS) [14] characterizes the