基于缓存策略的Java卡字节码校验  

Cache policy based bytecode verification on Java card

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

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

出　　处：《计算机应用》2007年第11期2851-2853,共3页journal of Computer Applications

摘　　要：作为一种不可靠的可下载Java程序,Java卡的字节码校验是安全的嵌入式系统所不可缺少的一个部分。由于Java卡本身的空间和运算器的限制,传统的字节码校验并不可取。采用非易失性存储器作为主存,RAM中的一部分空间作为缓存器,并且给出一种相应的Cache调度策略算法,尝试实现一种在卡上的Java卡的字节码校验算法,并且证明了该算法具有较好的可移植性和实现性。As an unreliable application, Java card bytecode verification is an indispensable part for a secure embedded system. For the limited space and time of Java card itself, the conventional bytecode verification is not able to use. To address this feasibility problem, the nonvolatile memory was used as the main memory and part of the RAM as the cache, and a modified verification algorithm with cache policy was proposed. The analysis proved that this algorithm features strong transportability and feasibility.

关 键 词：智能卡 JAVA卡 类型推导 安全嵌入式系统 Cache策略 

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