%0 Journal Article
%T Cache policy based bytecode verification on Java card<br>基于缓存策略的Java卡字节码校验
%A MA Xin-long
%A WE Jun-jun
%A WANG Tong-yang
%A <br>马鑫龙
%A 吴俊军
%A 王同洋
%J 计算机应用
%D 2007
%I 
%X 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.
%K smart card
%K Java card
%K type inference
%K secure embedded system
%K Cache policy<br>智能卡
%K Java卡
%K 类型推导
%K 安全嵌入式系统
%K Cache策略
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=831E194C147C78FAAFCC50BC7ADD1732&aid=D79F6950F6F1E2D14B734C81892B0B16&yid=A732AF04DDA03BB3&vid=DB817633AA4F79B9&iid=708DD6B15D2464E8&sid=66477F77AC661001&eid=720E49F6DB248E5D&journal_id=1001-9081&journal_name=计算机应用&referenced_num=0&reference_num=9