-
题名一种新的Java智能卡上字节码校验算法
被引量:2
- 1
-
-
作者
吴俊军
马鑫龙
张新访
-
机构
华中科技大学机械科学与工程学院
-
出处
《计算机工程与科学》
CSCD
2008年第3期65-68,共4页
-
基金
信息产业部电子发展基金资助项目(信运部2004[479])
-
文摘
Java智能卡上的字节码校验是保障Java卡安全的重要手段。但是,由于Java智能卡本身的空间和运算器的限制,传统的字节码校验算法无法在Java智能卡上实现。为了解决此问题,本文在分析了现有方法的特点和不足的基础上提出了一种基于有向分枝图和缓存策略的字节码校验算法。效率分析和实践表明,该算法是一种可以在Java智能卡上实现的高效算法。
-
关键词
JAVA卡
字节码
字节码校验
缓存策略
-
Keywords
Java card
bytecode
bytecode verification
cache policy
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名一种混合模式的Java卡内字节码校验算法
被引量:3
- 2
-
-
作者
吴俊军
马鑫龙
-
机构
华中科技大学机械科学与工程学院
-
出处
《微电子学与计算机》
CSCD
北大核心
2009年第4期152-155,共4页
-
基金
武汉市科学技术局重大科技产业化项目(20061005119)
武汉市电子信息产业发展基金项目(2007008109)
-
文摘
字节码校验是Java智能卡安全体系结构的重要保障之一.基于控制流程树CFT字节码校验算法,引入缓存策略,提出了一种混合模式的字节码校验算法,有效解决了环结构问题.同时,对于此混合模式的Java卡内字节码校验算法进行的分析表明,相对于传统算法其时间和空间效率得到有效提高.
-
关键词
JAVA卡
字节码校验
控制流程树
缓存策略
-
Keywords
Java card
bytecode verification
control flow tree
cache policy
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种使用CFT的Java卡内字节码校验算法
- 3
-
-
作者
吴俊军
马鑫龙
-
机构
华中科技大学机械科学与工程学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2008年第12期2360-2364,共5页
-
基金
武汉市科学技术局重大科技产业化项目(20061005119)资助
武汉市电子信息产业发展基金项目(2007008109)资助
-
文摘
Java卡字节码校验是构成Java卡安全体系结构的重要组成部分.而传统的Java卡字节码校验由于Java智能卡资源的限制,无法在卡内进行.本文通过对控制流程图和类型推导的分析,提出了基于控制流程树的Java卡卡外翻译过程和卡内校验器算法,详细描述了CFT迁移机理并对于基于CFT的Java卡内字节码校验算法和可行性进行了分析与实践.
-
关键词
JAVA卡
字节码校验
类型推导
控制流程树
-
Keywords
java card
bytecode verification
type inference
control flow tree
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-