Ensuring software integrity

The authors describe an approach to ensuring the integrity of software during development. The approach minimizes the need for a physically secure computing facility by allowing much of the software development to take place in an 'open' environment. The approach relies on the strict enforcement of a set of procedures to effectively counter threats (Trojan Horse insertion, attacks on secure storage facility etc.).<
>