Section 1 Introduction
u Technologies that exist or are emerging to address some part of the
software security challenge, such as virtualized execution
environments, “safe” and secure versions of programming languages