US9129137B2 - Method, Computer Program and Device for Providing Security for Intermediate Programming Code for Its Execution by a Virtual Machine