Secure execution of mobile Java using static analysis and proof carrying code

Bob Atkey, Kenneth Mackenzie, Christopher Paton

Research output: Contribution to conferencePaper

Abstract

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.
Original languageEnglish
Number of pages8
Publication statusPublished - 13 Sep 2007
EventUK e-Science All-Hands Meeting - University of Nottingham, Nottingham, United Kingdom
Duration: 10 Sep 200713 Sep 2007
http://www.allhands.org.uk/2007/proceedings/

Conference

ConferenceUK e-Science All-Hands Meeting
CountryUnited Kingdom
CityNottingham
Period10/09/0713/09/07
Internet address

Keywords

  • secure execution
  • mobile code
  • OGSA-DAI server

Fingerprint Dive into the research topics of 'Secure execution of mobile Java using static analysis and proof carrying code'. Together they form a unique fingerprint.

Cite this