一种使用CFT的Java卡内字节码校验算法  

On-card Java Bytecode Verification Algorithm Using CFT

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

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

出　　处：《小型微型计算机系统》2008年第12期2360-2364,共5页Journal of Chinese Computer Systems

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

摘　　要：Java卡字节码校验是构成Java卡安全体系结构的重要组成部分.而传统的Java卡字节码校验由于Java智能卡资源的限制,无法在卡内进行.本文通过对控制流程图和类型推导的分析,提出了基于控制流程树的Java卡卡外翻译过程和卡内校验器算法,详细描述了CFT迁移机理并对于基于CFT的Java卡内字节码校验算法和可行性进行了分析与实践.Bytecode verification is an important part of Java card security architecture. However,the traditional Java card bytecode verification is unable to be embedded on card due to the resource limited. A novel algorithm base on the CFT and type inference analysis is present to address this problem in this paper. An algorithm of off card transformation and an on card verification for Java card is proposed with detailed description on the CFT transformation. The analysis and practice on this algorithm and its feasibility are conducted as well.

关 键 词：JAVA卡 字节码校验 类型推导 控制流程树 

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