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

Bob Atkey, Kenneth Mackenzie, Christopher Paton

Research output: Contribution to conferencePaperpeer-review

21 Downloads (Pure)

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 Sept 2007
EventUK e-Science All-Hands Meeting - University of Nottingham, Nottingham, United Kingdom
Duration: 10 Sept 200713 Sept 2007
http://www.allhands.org.uk/2007/proceedings/

Conference

ConferenceUK e-Science All-Hands Meeting
Country/TerritoryUnited 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