Cache policy based bytecode verification on Java card
基于缓存策略的Java卡字节码校验

As an unreliable application, Java card bytecode verification is an indispensable part for a secure embedded system. For the limited space and time of Java card itself, the conventional bytecode verification is not able to use. To address this feasibility problem, the nonvolatile memory was used as the main memory and part of the RAM as the cache, and a modified verification algorithm with cache policy was proposed. The analysis proved that this algorithm features strong transportability and feasibility.