Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Mobile Resource Guarantees for Smart Devices David Aspinall1
 

Summary: Mobile Resource Guarantees for Smart Devices
David Aspinall1
, Stephen Gilmore1
, Martin Hofmann2
, Donald Sannella1
, and
Ian Stark1
1
Laboratory for Foundations of Computer Science, School of Informatics,
The University of Edinburgh
2
Lehr- und Forschungseinheit f¨ur Theoretische Informatik, Institut f¨ur Informatik,
Ludwig-Maximilians-Universit¨at M¨unchen
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 en-
coded in function types is used to streamline the generation of proofs of

  

Source: Aspinall, David - School of Informatics, University of Edinburgh
Sannella, Don - School of Informatics, University of Edinburgh

 

Collections: Computer Technologies and Information Sciences