一种使用CFT的Java卡内字节码校验算法

来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户：liuleizishen

【摘要】

：

Java卡字节码校验是构成Java卡安全体系结构的重要组成部分.而传统的Java卡字节码校验由于Java智能卡资源的限制，无法在卡内进行.本文通过对控制流程图和类型推导的分析，提出了

【作者】

：

吴俊军马鑫龙

【机构】

：

华中科技大学机械科学与工程学院

【出处】

：

小型微型计算机系统

【发表日期】

：

2008年12期

【关键词】

：

JAVA卡字节码校验类型推导控制流程树 java card bytecode verification type inference control

【基金项目】

：

武汉市科学技术局重大科技产业化项目（20061005119）资助,武汉市电子信息产业发展基金项目（2007008109）资助.

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

Java卡字节码校验是构成Java卡安全体系结构的重要组成部分.而传统的Java卡字节码校验由于Java智能卡资源的限制，无法在卡内进行.本文通过对控制流程图和类型推导的分析，提出了基于控制流程树的Java卡卡外翻译过程和卡内校验器算法，详细描述了CFT迁移机理并对于基于CFT的Java卡内字节码校验算法和可行性进行了分析与实践.

其他文献

任务驱动教学法在《面料检测》课程中的运用

任务驱动教学法突破以往理论与实践相脱节的"瓶颈",它充分发挥教师的主导作用,通过设定教学任务,实现师生双方边教边学边做。在整个教学环节中,理论和实践交替进行,理中有实,

期刊

面料检测任务驱动运用

元数据展开的动态二进制翻译寄存器化优化

动态二进制翻译技术可以使编译好的二进制代码无缝运行于其他架构下，目前得到越来越广泛的应用．由于在动态翻译执行的过程中缺少程序的原始语义信息而只能采用保守的策略来保证

期刊

动态二进制翻译器元信息寄存器化Dynamic binary translator metadata memory optimizations

传感器网络中节点对偶密钥建立自学习算法研究

对偶密钥建立的有效性和安全性的折衷平衡是研究传感器网络中对偶密钥管理问题的焦点．提出了基于扩环矩阵向量预置的密钥建立算法以及相应的节点自学习算法．仿真实验表明我们的

期刊

对偶密钥传感器网络预置矩阵密钥连通图pairwise key sensor network pre-distribution matrix

小议课堂教学的有效生成策略

在有效教学与对话互动的课堂教学平台上,让教师的有效教学与学生的有意义的学习活动真正落实到实处.下面笔者就自身多年的教学实践,从思维品质、学习目标、认知结构、创新能

期刊

数学课堂教学生成策略有效教学教学平台对话互动教学实践学习活动思维品质

NARED：一种非线性自适应RED拥塞控制机制

分析了RED及其改进算法的原理和局限性,提出了一种非线性自适应RED拥塞控制机制.该算法利用一个高阶分组丢弃函数,在下限阈值附近以较低的概率标记丢弃分组,在上限阈值附近迅

期刊

拥塞控制RED平滑化AQMcongestion controlREDsmoothingAQM

现代学徒制下服装设计专业教学改革与探索

服装设计专业是强调艺术与技术相结合的学科,目前高校过于强调艺术性,对学生的实践能力培养不够重视,直接影响到高素质人才的培养。实践表明,采用现代学徒制人才培养模式,能

期刊

实践能力现代学徒制服装设计专业改革

Ad Hoc网络中基于DRMR协议的拥塞控制方案

近年来，Ad hoc网络的组播路由协议研究受到广泛关注，但在大规模应用之前必须解决拥塞控制问题.目前已经提出了许多组播路由协议，其中动态广播环组播路由协议（DRMR）在降低控制开销

期刊

ADhoc网路组播路由协议拥塞控制Ad hoc networks multieast routing protoeol congestion con

中职教育学生综合能力“四位一体”评价法理论研究

职业教育的目的在于培育学生的职业能力,帮助学生塑造完整的人格。因此,对学生综合能力的评价,应该基于现代职业能力结构特点和标准,从不同角度和维度,采用不同的评价方式进

期刊

四位一体评价模式理论研究

巧思“辩”解回归本质

解题教学的初衷是教会学生用知识解决数学问题,但是越来越多的试题、不加思考的训练让教学很少有时间思考我们的教学是否需要做到“回头一瞥”!回顾近年来各地高考真题,我们

期刊

“辩”本质回归解题教学数学问题学生试题真题

OFDM基带接收机中残余同步误差的消除

OFDM基带接收机在跟踪阶段仍然残存着同步误差.这些误差尽管数量微小,但会使系统性能严重恶化.本文提出了一种消除OFDM接收机中残余同步误差的方案.与现有方案相比,该方案应

期刊

OFDM误差消除偏差估计定时误差校正信道增益更新OFDMerror eliminationoffset estimationtiming err

一种使用CFT的Java卡内字节码校验算法

与本文相关的学术论文