Ensuring Software Integrity

This paper describes an approach to ensuring the integrity of software during development. The approach requires a physically secure electronic storage facility, as well as the strict enforcement of a set of procedures, including code walk-throughs. It is shown that the approach counters a set of potential attacks.