A framework for execution of secure mobile code based on static analysis | IEEE Conference Publication | IEEE Xplore