Login / Signup

Verification caching: towards efficient and secure mobile code execution environments.

Nael B. Abu-GhazalehDhananjay S. Phatak
Published in: SAC (2002)
Keyphrases
  • mobile environments
  • mobile devices
  • highly efficient
  • data flow
  • parallel execution
  • office environments
  • mobile phone
  • dynamic environments
  • lightweight
  • model checking
  • security issues
  • security requirements