Prototyping Faithful Execution in a Java virtual machine.

Tarman, Thomas David ; Campbell, Philip LaRoche ; Pierson, Lyndon George

Sandia National Laboratories

关键词: Java (Computer Program Language);    Computers Computer Software-Development.;    99 General And Miscellaneous//Mathematics, Computing, And Information Science;    Java;    Computer Architecture;   

DOI  :  10.2172/917143
RP-ID  :  SAND2003-2327
RP-ID  :  AC04-94AL85000
RP-ID  :  917143

美国|英语

来源: UNT Digital Library

【 摘 要 】

This report presents the implementation of a stateless scheme for Faithful Execution, the design for which is presented in a companion report, ''Principles of Faithful Execution in the Implementation of Trusted Objects'' (SAND 2003-2328). We added a simple cryptographic capability to an already simplified class loader and its associated Java Virtual Machine (JVM) to provide a byte-level implementation of Faithful Execution. The extended class loader and JVM we refer to collectively as the Sandia Faithfully Executing Java architecture (or JavaFE for short). This prototype is intended to enable exploration of more sophisticated techniques which we intend to implement in hardware.