Research And Implementation Of Bytecode Verification Algorithm On The Java Card

With the rapid development of information technology and the continuous progress of information construction, Java smart card has been widely applied in the fields of identification, electronic payment and information security. However, the security caused by it hampered its further prevalence and applications. Bytecode verification is one of the measures for ensuring the security of the application.First of all, the research on the security confronted by Java smart card is made in this paper. And then the representative verification algorithms are analyzed and researched, especially the cost for the space and time, which lays the theory foundation for the presentation of an advanced bytecode verification algorithm. After that, considering the Directed-Acyclic-Graph and cache-policy, an DAG based and cache-policy-based bytecode verification algorithm is designed and implemented. In the end, according to the algorithm analysis and experiment testing, it is proved that this algorithm is efficient and feasible.