智能卡的新发展——JavaCard技术综述

Smart card is currently a popular embedded device,but it has some drawbacks. On the other hand, Java's reliability,cross platform support,and many other advantages make it fit into embedded systems. The paper discusses every aspect of JavaCard,the combination of smart card and Java technology,form which,we can conclude Java has great applied potential in embedded devices.

基于Java Card的校园一卡通的应用设计

分析了目前现存校园通卡系统存在的三大问题,阐述采用Java Card技术开发校园通卡系统所具有的优势,讨论了基于Java Card技术的校园通卡系统安全性设计和应用设计。

NTRU公钥密码算法基于Java Card的实现

JavaCard的安全性和可移植性为安全电子商务的开展提供了有效的保障。文章描述了NTRU公钥密码算法在JavaCard上面的实现,提供了一套用于开发JavaCard应用程序的接口,并测试了NTRU公钥密码算法在JavaCard上面的性能。在JavaCard上的测试结果表明,最高安全级别的NTRU同1024位RSA算法相比,NTRU算法在加密时速度和RSA相同,在解密的时候比RSA快6倍多,在密钥生成的时候比RSA快16倍多。

Java Card的技术特点及其应用分析

Java智能卡与传统的Native卡相比,更具开放性和通用性,在国外已得到广泛的应用。在国内蓬勃发展的移动支付领域,若应用Java Card技术,可发挥其在功能和安全性方面的优势,应对随行业发展而出现的新挑战。第一部分将简单介绍Java Card平台,第二部分讨论Java Card的技术架构,在第三部分分析Java Card平台的高级特性,第四部分主要讨论Java Card平台的安全性,第五部分探讨Java Card技术在移动支付领域的应用。

Automatic Test Data Generation for Java Card Applications Using Genetic Algorithm

The main objective of software testing is to have the highest likelihood of finding the most faults with a minimum amount of time and effort. Genetic Algorithm (GA) has been successfully used by researchers in software testing to automatically generate test data. In this paper, a GA is applied using branch coverage criterion to generate the least possible set of test data to test JSC applications. Results show that applying GA achieves better performance in terms of average number of test data?generations, execution time, and percentage of branch coverage.

Java卡的研究与实现

Java卡是一种新的智能卡 ,它基于 Java语言和虚拟机。 Java卡应用程序 (applet)可以运行于 Java卡运行环境—— JCRE(Java Card Runtime Environment)中 ,JCRE包含 Java卡虚拟机—— JCVM(Java Card Virtual Machine)、核心 API类库和相关的本地方法。JCVM由两部分组成 :卡外虚拟机和卡内虚拟机。主要介绍了卡内虚拟机的解释执行、异常处理、堆栈模型以及堆的存储器组织。

基于Java智能卡的可信计算环境研究

操作系统可信是建立可信计算环境的关键环节,但还没有可行的度量操作系统的方案。针对该问题,基于现有计算环境(普通PC平台),提出一种基于Java智能卡的可信计算环境模型及实现方案。该方案以Java智能卡为基础,将可信计算机制扩展到操作系统和应用程序,在不改变现有计算平台结构的情况下构建了可信计算环境。

基于JAVA技术的校园“一卡通”管理系统

通过分析智能卡的特点,介绍我于JAVA技术构建的"校园一卡通"管理系统的系统分析、系统设计和系统实现,并重点介绍了智能卡商务交易问题的解决方法———电子钱包的基本架构和实现过程。

基于混合模式的Java卡字节码优化器

Java卡是一种基于Java语言的智能卡。因为智能卡的空间和处理器速度的约束,一个应用程序在Java卡上运行时面临的最大问题是存储空间的不足和对程序执行时间的严格限制。因此,对下载到卡中的字节码进行优化是十分必要的。本文提出了一种综合使用扩展指令集和分段压缩算法的Java卡字节码优化器的设计方案,通过对字节码文件的优化,可得到占用空间较少且没有降低执行速率的字节码文件。

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

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

Java智能卡的安全性

Java智能卡的应用已日益广泛,由于其中涉及到了身份认证、移动通信和电子支付等敏感信息,所以必须为Java智能卡制定完善的安全机制。针对此问题,对Java智能卡的结构和各种安全机制进行了介绍和探讨,分析了Java智能卡的安全性。

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

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

Java智能卡解析优化方法

针对复杂的传统Java智能卡指令解析问题,结合Applet的部署特点,提出了指令预解析的概念;给出了转换后的Applet文件(CAP,Converted Applet file)中导入组件、常数池和导出组件的预解析优化存储结构及包注册表结构,使用定长存储结构替代原有的变长存储结构以加快查找过程,引入了导出组件辅助索引表以加快外包类的解析过程;设计了基于优化后组件的静态域、静态方法和类访问字节码指令的快速解析流程,将解析算法的时间复杂度降为常数阶;在Applet下载过程中通过预解析来生成优化后的组件存储结构,在执行过程中依据快速解析流程来完成静态域、静态方法和类对象的快速访问,从而缩短了Applet运行时的解析时间.测试结果表明,在不改变标准Applet下载、运行流程的情况下,该方法有效地减少了卡内存储器的访问次数,缩短了解析算法的执行时间,提高了Applet执行的整体性能.

Java智能卡的安全性研究

Java智能卡是一种能运行Java语言程序的智能卡。现在Java智能卡已普遍使用，其安全性也越来越重要。针对此问题，对Java语言Java智能卡平台的安全性及其安全机制进行了研究，讨论了Java智能卡的安全性。

Java卡多应用安全发卡系统的研究

为了解决当前智能卡在跨行业多应用中遇到的发卡控制问题,基于Java智能卡,提出了一种新的发卡系统模型。该系统模型主要从卡的授权过程和Applet加载流程,研究卡的发放机制和安全性。最后实现结果表明,系统能够满足各行业安全独立的发卡需求,具有较大的实用性。

一种JavaIC卡专用CPU结构研究

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

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

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

基于缓存策略的Java卡字节码校验

作为一种不可靠的可下载Java程序,Java卡的字节码校验是安全的嵌入式系统所不可缺少的一个部分。由于Java卡本身的空间和运算器的限制,传统的字节码校验并不可取。采用非易失性存储器作为主存,RAM中的一部分空间作为缓存器,并且给出一种相应的Cache调度策略算法,尝试实现一种在卡上的Java卡的字节码校验算法,并且证明了该算法具有较好的可移植性和实现性。

Java卡应用的设计与实现

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

Java智能卡微处理器软件仿真指令的研究与实现

JCP( Java Card Processor)是一种直接支持 Java卡虚拟机运行的 1 6位 RISC微处理器。但 Java卡虚拟机的支持面向对象的字节码指令功能较复杂 ,用硬件直接实现需要消耗大量的资源 ,不适合智能卡等硬件资源有限的系统。JCP提供一种硬件陷阱机制 ,在执行此类指令时 ,切换到相应的陷阱处理程序中 ,用软件仿真它们的功能。文章讨论了 Java卡虚拟机二进制文件特点 ,软件仿真指令的面向对象的功能及其具体实现。通过仿真基于 JCP的 Java卡操作系统和应用程序 ,验证了软件仿真指令实现的正确性。