一种新的Java智能卡上字节码校验算法  

A Novel Bytecode Verification Algorithm on the Java Card

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

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

出　　处：《计算机工程与科学》2008年第3期65-68,共4页Computer Engineering & Science

基　　金：信息产业部电子发展基金资助项目(信运部2004[479])

摘　　要：Java智能卡上的字节码校验是保障Java卡安全的重要手段。但是,由于Java智能卡本身的空间和运算器的限制,传统的字节码校验算法无法在Java智能卡上实现。为了解决此问题,本文在分析了现有方法的特点和不足的基础上提出了一种基于有向分枝图和缓存策略的字节码校验算法。效率分析和实践表明,该算法是一种可以在Java智能卡上实现的高效算法。Bytecode verification is an important measure to ensure the security of the Java card. However, due to the restricted memory and low-speed MCU of smart cards, conventional bytecode verification algorithms are not feasible on it. A directed-branch-graph-based and cache-policy-based bytecode verification algorithm is presented to address this problem in this paper. The results from the efficiency analysis and practice prove that this algorithm is an efficient and feasible one .

关 键 词：JAVA卡 字节码 字节码校验 缓存策略 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]