Secure Execution of Mobile Java using Static Analysis and Proof Carrying Code
Robert Atkey, Kenneth MacKenzie, and Chris Paton. Secure Execution of Mobile Java using Static Analysis and Proof Carrying Code. In UK e-Science All-Hands Meeting. 2007.
We consider the problems raised by the use of mobile code in e-Science. If a user submits a program for execution on a remote machine then problems can arise if the program misbehaves, for example by using too much memory or taking too long to execute. We describe methods which can be used to obtain unforgeable a priori guarantees that a mobile program will behave in a reasonable manner. We have a prototype implementation that executes mobile code securely within an OGSA-DAI server.