Method for securing java bytecode

A computing device comprising a virtual machine operable to recognize, in addition to a set of conventional bytecodes, at least one secure bytecode functionally equivalent to one of the conventional bytecodes, and operable to process secure bytecodes with increased security, while being operable to process conventional bytecodes with increased speed.

A procedure for generating a file comprising bytecodes, the file being executable by a computing device, the file corresponding to an applet, the procedure comprising:

• when processing a subset of the methods of the applet being defined as methods to be secured, the procedure automatically generates, for the methods to be secured, secure bytecodes instead of conventional bytecodes, thereby reducing attacks on computing devices executing the file.

An applet development tool comprising

• means for a developer to tag certain applet methods as secure, and
• conversion means for converting an applet comprising methods tagged as secure into a file comprising bytecodes, the conversion means including a procedure for generating a file comprising bytecodes, the file being executable by a computing device, the file corresponding to an applet, the procedure comprising:
• when processing a subset of the methods of the applet being defined as methods to be secured, the procedure automatically generates, for the methods to be secured, secure bytecodes instead of conventional bytecodes, thereby reducing attacks on computing devices executing the file.