基于Java智能卡的可信度量模块设计

可信计算平台只执行被信任根担保的程序,可信度量技术是可信计算的核心和信任链传递的关键。但目前的复杂操作系统及应用程序仍无法被有效度量、信任链仍无法真正向上传递。本文提出了一种在不可信计算环境中直接确保应用程序可信的解决方案,构建一个基于Java智能卡虚拟机的、适于建立可信计算机制的计算环境,并设计出适合于Java智能卡环境的可信度量模块从而保证卡内从信任根到应用程序运行及结果的可信性。

JCVM异常处理机制

在对Java卡平台异常类层次结构和CAP文件内容深入分析的基础上，结合智能卡运行环境的特点，采用编译后的异常处理表与运行期的Java栈结构相结合的方法，设计并实现了解释执行时Java卡虚拟机中的异常处理机制。实际测试表明系统运行正确。

基于可信计算的Java智能卡的设计与实现

本文针对Java智能卡的安全问题,提出了一种新的解决方案——将可信计算技术引入到Java智能卡的设计与实现中,以可信计算在安全认证方面的优势来解决智能卡的安全问题。文章首先从硬件方面对该方案的可行性进行了分析,然后从类库、虚拟机和运行时环境三个方面介绍了如何实现Java智能卡,最后并着重介绍了可信机制的构建。

一种JavaIC卡专用CPU结构研究

本文提出了一种针对Java卡虚拟机的硬件结构 .Java卡虚拟机是Java语言与智能卡之间的接口 ,开发支持Java语言的智能卡对IC卡的发展十分重要 .现有的智能卡中实现的Java卡虚拟机性能较差 ,本文给出一种基于Java卡虚拟机的专用CPU结构 ,该结构直接执行Java字节码 ,并采用了两条指令合并机制 .文中将详细介绍所提出的硬件结构 ,包括指令集的选取 ,模块划分及各功能模块结构 。

应用于智能卡的Java嵌入式微处理器核的设计

介绍了一种可直接执行 Java字节码的嵌入式微处理器体系结构。该处理器核实现了Java卡虚拟机 (JCVM)指令集。类 RISC的流水线显著加快了指令的执行速度。文中对堆栈类型指令间的数据相关问题提出了一种新的解决办法。

Java卡应用的设计与实现

文章以军人保障卡系统试点项目为背景,详细描述了Java卡开发过程中Applet的设计、生成、下载和安装方法,同时对Java卡PC/SC接口编程与系统的实际使用情况也作了简要介绍。

基于反馈的JCVM指令预调度方案

卡内应用执行效率较低是制约Java Card发展的瓶颈。为此,研究Java Card虚拟机(JCVM)解释器的运行原理,针对其执行架构提出一种基于反馈的JCVM指令预调度方案。通过收集反馈应用的运行指令流统计信息,设计解释器加权控制流图(WCFG),利用基于WCFG的代码编排技术实现解释器的指令预调度。在目标体系架构中,将热点指令处理函数的布局按照反馈应用的统计信息进行重新编排。实验结果表明,该方案可使JCVM解释器的应用执行效率提高15.29%,并且不依赖额外系统资源,对基于解释器架构且资源受限的嵌入式设备性能优化具有指导意义。

JCVM中栈与帧的研究和设计

介绍了Java Card虚拟机的相关知识,并就其存储资源有限的特点,提出了一套有效的资源管理策略和一个符合规范且可行的栈与帧的结构设计方案,详细说明了该方案中栈与帧的执行过程。

Java卡虚拟机的安全攻击技术及防御技术研究

Java卡是一个基于Java的智能卡操作系统,Java卡能够动态更新。着重介绍了在Java卡系统实现过程中需要关注的各种基于Java卡虚拟机的安全点,研究了Java卡虚拟机运行过程中的脆弱性,总结了其在安全方面面临的各种威胁,并进一步研究了这些安全威胁可能产生的影响。最后针对可能出现的不同的安全攻击,提出并完成了相应的安全防御措施。实验证明,这些防御措施能够有效地保障Java卡系统的安全性。