一种混合模式的Java卡内字节码校验算法  

A Hybrid Bytecode Verification Algorithm on Java Card

作　　者：吴俊军[1] 马鑫龙[1] 

机构地区：[1]华中科技大学机械科学与工程学院,湖北武汉430074

出　　处：《微电子学与计算机》2009年第4期152-155,共4页Microelectronics & Computer

基　　金：武汉市科学技术局重大科技产业化项目(20061005119);武汉市电子信息产业发展基金项目(2007008109)

摘　　要：字节码校验是Java智能卡安全体系结构的重要保障之一.基于控制流程树CFT字节码校验算法,引入缓存策略,提出了一种混合模式的字节码校验算法,有效解决了环结构问题.同时,对于此混合模式的Java卡内字节码校验算法进行的分析表明,相对于传统算法其时间和空间效率得到有效提高.Bytecode verification is one of the important parts for Java card security architecture. A novel hybrid algorithm based on control flow tree combined with cache policy is presented to address loop problem. Meanwhile, the analysis on this hybrid algorithm manifests that its time and space efficencies are improved greatly compared to the conventional one.

关 键 词：JAVA卡 字节码校验 控制流程树 缓存策略 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]