Mobile Resource Guarantees for Smart Devices

  • David Aspinall
  • Stephen Gilmore
  • Martin Hofmann
  • Donald Sannella
  • Ian Stark
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3362)

Abstract

We present the Mobile Resource Guarantees framework: a system for ensuring that downloaded programs are free from run-time violations of resource bounds. Certificates are attached to code in the form of efficiently checkable proofs of resource bounds; in contrast to cryptographic certificates of code origin, these are independent of trust networks. A novel programming language with resource constraints encoded in function types is used to streamline the generation of proofs of resource usage.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • David Aspinall
    • 1
  • Stephen Gilmore
    • 1
  • Martin Hofmann
    • 2
  • Donald Sannella
    • 1
  • Ian Stark
    • 1
  1. 1.Laboratory for Foundations of Computer Science, School of InformaticsThe University of Edinburgh 
  2. 2.Lehr- und Forschungseinheit für Theoretische Informatik, Institut für InformatikLudwig-Maximilians-UniversitätMünchen

Personalised recommendations