Prototyping Faithful Execution in a Java virtual machine.
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.
- Research Organization:
- Sandia National Laboratories (SNL), Albuquerque, NM, and Livermore, CA (United States)
- Sponsoring Organization:
- USDOE
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 917143
- Report Number(s):
- SAND2003-2327; TRN: US200816%%324
- Country of Publication:
- United States
- Language:
- English
Similar Records
Secure computing using cryptographic assurance of execution correctness.
Grid-based asynchronous migration of execution context in Java virtual machines
Sandia secure processor : a native Java processor.
Conference
·
Fri Oct 01 00:00:00 EDT 2004
·
OSTI ID:917143
+3 more
Grid-based asynchronous migration of execution context in Java virtual machines
Conference
·
Thu Jun 15 00:00:00 EDT 2000
·
OSTI ID:917143
Sandia secure processor : a native Java processor.
Conference
·
Fri Aug 01 00:00:00 EDT 2003
·
OSTI ID:917143