that the team addresses security requirements and concerns through all of
its development activities. In a series of proofs-of-concept and pilot projects,
researchers at the SEI observed that, through use of TSP-Secure, they were able
to produce software that was nearly free of defects.