A framework for resource security in mobile computing

This paper proposes a framework for efficiently and effectively safeguard resource utilization bound in mobile computing. Our goal is achieved by coupling self-certified code approach and and run-time monitoring. The resource usage of a program is abstracted into a resource skeleton, and validated using a resource usage certificate derived from proof generation. Our framework provides full coverage for resource security by statically checking resource usage certificates and by dynamically monitoring any essential property not guaranteed by the certificates.