David Aspinall, Patrick Maier, Ian Stark
Electronic Notes in Theoretical Computer Science 197(1):17–30, 2008. In Proceedings of the First International Workshop on Run Time Enforcement for Mobile and Distributed Systems REM 2007, Dresden, Germany, 27 September 2007.
Visit the publisher's page. Go to other papers, talks or home page.
We present a Java library for mobile phones which tracks and controls at runtime the use of potentially costly resources, such as premium rate text messages. This improves on the existing framework (MIDP — the Mobile Information Device Profile), where for example every text message must be authorised explicitly by the user as it is sent. Our resource management library supports richer protocols, like advance reservation and bulk messaging, while maintaining the security guarantee that attempted resource abuse is trapped.
@Article{aspinall+:monitoring,
author = {David Aspinall and Patrick Maier and Ian Stark},
title = {Monitoring External Resources in {Java} {MIDP}},
journal = {Electronic Notes in Theoretical Computer Science},
pages = {17--30},
number = 1,
volume = 197,
year = 2008,
doi = {10.1016/j.entcs.2007.10.011},
url = {http://homepages.ed.ac.uk/stark/monitoring.html},
pdf = {http://homepages.ed.ac.uk/stark/monitoring.pdf},
note = {In \emph{Proceedings of the First International Workshop on
Run Time Enforcement for Mobile and Distributed Systems
REM~2007, Dresden, Germany, 27~September 2007.}}
}