J4 ›› 2008, Vol. 30 ›› Issue (3): 65-68.
• 论文 • 上一篇 下一篇
俊军 马鑫龙 张新访
出版日期:
发布日期:
Online:
Published:
摘要:
Java智能卡上的字节码校验是保障Java卡安全的重要手段。但是,由于Java智能卡本身的空间和运算器的限制,传统的字节码校验算法无法在Java智能卡上实现。为了解决此问题,本文在分析了现有方法的特点和不足的基础上提出了一种基于有向分枝图和缓存策略的字节码校验算法。效率分析和实践表明,该算法是一种可以在Java智能卡上实现 现的高效算法。
关键词: Java卡 字节码 字节码校验 缓存策略
Abstract:
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 verificatin algorithm is presented to address this problem in this paper. The results from the efficiency analysis and practice prove that this algorithm is an ef ficient and feasible one .
Key words: Java card, bytecode, bytecode verification, cache policy
俊军 马鑫龙 张新访. 一种新的Java智能卡上字节码校验算法[J]. J4, 2008, 30(3): 65-68.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://joces.nudt.edu.cn/CN/
http://joces.nudt.edu.cn/CN/Y2008/V30/I3/65