Monitoring External Resources in Java MIDP

Authors:
David Aspinall;Patrick Maier;Ian Stark
Affiliations:
Laboratory for Foundations of Computer Science, School of Informatics, The University of Edinburgh, Mayfield Road, Edinburgh EH9 3JZ, United Kingdom;Laboratory for Foundations of Computer Science, School of Informatics, The University of Edinburgh, Mayfield Road, Edinburgh EH9 3JZ, United Kingdom;Laboratory for Foundations of Computer Science, School of Informatics, The University of Edinburgh, Mayfield Road, Edinburgh EH9 3JZ, United Kingdom
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2008

Citing 6
Cited 3

JRes: a resource accounting interface for Java

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Enforceable security policies

ACM Transactions on Information and System Security (TISSEC)
Portable resource control in Java

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The Java Language Specification

The Java Language Specification
Program transformations for portable CPU accounting and control in Java

Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Supporting security monitor-aware development

ICSEW '07 Proceedings of the 29th International Conference on Software Engineering Workshops

Safety Guarantees from Explicit Resource Management

Formal Methods for Components and Objects
Deciding Extensions of the Theories of Vectors and Bags

VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation
Security enforcement aware software development

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 [JSR 118 Expert Group. JSR 118: Mobile information device profile 2.0. Java specification request, Java Community Process, November 2002]), 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.