Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:Mobile Resource Guarantees for Smart Devices
Authors: David Aspinall ; Stephen Gilmore ; Martin Hofmann ; Donald Sannella ; Ian Stark
Date: 2005
Publication Title:Construction and Analysis of Safe, Secure and Interoperable Smart Devices
Publication Type:Conference Paper
Volume No:3362 Page Nos:126
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.
Springer-Verlag Berlin Heidelberg 2005
Links To Paper
Page by author
Page by publisher
Bibtex format
author = { David Aspinall and Stephen Gilmore and Martin Hofmann and Donald Sannella and Ian Stark },
title = {Mobile Resource Guarantees for Smart Devices},
book title = {Construction and Analysis of Safe, Secure and Interoperable Smart Devices},
publisher = {Springer-Verlag},
year = 2005,
volume = {3362},
pages = {126},
url = {},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh