Enforced isolation processes and data

This paper highlights the problem of run-time execution correctness of high consequence applications in conventional Von Neumann computer architectures. It proposes an approach - trusted objects - in which the application program and data are cryptographically encapsulated in their own environment. The remainder of this paper is organized as follows: after the authors present a description of trusted objects, their creation, and their execution, their potential applications are described. Finally, issues and problems requiring further research are discussed.