| 一种使用CFT的Java卡内字节码校验算法 |
| |
| 引用本文： | 吴俊军,马鑫龙.一种使用CFT的Java卡内字节码校验算法[J].小型微型计算机系统,2008,29(12). |
| |
| 作者姓名： | 吴俊军 马鑫龙 |
| |
| 作者单位： | 华中科技大学,机械科学与工程学院,湖北,武汉,430074 |
| |
| 基金项目： | 武汉市科学技术局重大科技产业化项目
，
武汉市电子信息产业发展基金
|
| |
| 摘 要： | Java卡字节码校验是构成Java卡安全体系结构的重要组成部分.而传统的Java卡字节码校验由于Java智能卡资源的限制,无法在卡内进行.本文通过对控制流程图和类型推导的分析,提出了基于控制流程树的Java卡卡外翻译过程和卡内校验器算法,详细描述了CFT迁移机理并对于基于CFT的Java卡内字节码校验算法和可行性进行了分析与实践.
|
| 关 键 词： | Java卡 字节码校验 类型推导 控制流程树 |
On-card Java Bytecode Verification Algorithm Using CFT |
| |
| WU Jun-jun,MA Xin-long.On-card Java Bytecode Verification Algorithm Using CFT[J].Mini-micro Systems,2008,29(12). |
| |
| Authors: | WU Jun-jun MA Xin-long |
| |
| Affiliation: | WU Jun-jun,MA Xin-long(School of Mechanical Science&Engineering,Huazhong University of Science & Technology,Wuhan 430074,China) |
| |
| Abstract: | |
| |
| Keywords: | java card bytecode verification type inference control flow tree |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
