Protecting Mobile Agents by patching the execution platforms | IEEE Conference Publication | IEEE Xplore