Java Mobile Code Dynamic Verification by Bytecode Modification for Host Confidentiality

10.6633/IJNS.200811.7(3).13

Dan Lu；Yoshitake Kobayashi；Ken Nakayama；Mamoru Maekawa

Bytecode modification ； dynamic verification ； host confidentiality ； mobile code

International Journal of Network Security

7卷3期（2008 / 11 / 01）

416 - 427

英文

In this paper we present a novel dynamic verification approach to protect the local host confidentiality from malicious Java mobile code. In our approach we use Bytecode Modification to add the verification function to the Java mobile code’s class files before the local JVM executes them. Thus the verification work is done when the host JVM executes the modified class files. By this way our approach could achieve higher verification precision because the verification is done in runtime. Furthermore our approach can deal with the information flow in exception handling, which makes our approach more practicable.