Informatics Report Series
|
|
|
|
|
|
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 |
Publisher:Springer-Verlag |
Publication Type:Conference Paper
|
Volume No:3362
Page Nos:126
|
|
- 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.
- Copyright:
- Springer-Verlag Berlin Heidelberg 2005
- Links To Paper
- Page by author
- Page by publisher
- Bibtex format
- @InProceedings{EDI-INF-RR-0760,
- 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 = {http://www.ed.ac.uk/~stark/mrg-smart-devices.html},
- }
|