Java卡关键技术的研究及实现

根据最新Java卡规范，对Java卡的关键技术进行了深入研究和分析，提供了Java卡系统在AT90SC智能卡上的一种具体实施。详细描述了Java卡实施所采用的系统构架和工作流程，深入分析Java卡虚拟机和API等关键技术，并讨论了为提高Java卡虚拟机执行效率所采取的策略。测试结果表明，该Java卡系统能够正确高效地解释及执行Java卡应用程序。     

JAVA卡平台安全性的设计与实现

Java卡是能运行Java语言的智能卡,在卡上能保存多个不同开发商所提供的应用程序(Applet)。由于Java卡通常保存着如电子钱包、密码、指纹等高度敏感的信息,所以需要为Java卡平台技术制定完备的安全保障机制。该文主要介绍了Java卡平台的安全技术原理,并通过在基于ARM7内核平台上的设计介绍了它的实现机制。     

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

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

基于漏洞攻击的Java卡安全性分析

本文从对Java卡进行漏洞分析并尝试对其发起攻击的角度来讨论Java卡的安全性;首先介绍了Java卡的大致系统结构及其一些基本的安全机制原理和其基于Java语言为系统平台所具有的安全属性;阐述了如何收集Java卡上的应用信息和所支持的加密服务,分别讨论Java卡的对象共享机制、类型转换所可能引起的漏洞,描述了针对这些漏洞发起的伪造AID、数据泄漏、非法对象转换的攻击手段,以及通过硬件渠道监测Java卡运行模式和加入包络代码提高监测精确性的做法;最后总结了防止所述攻击可采用的相应做法。     

Java卡平台安全性研究与应用

介绍了Java卡的结构，从Java语言的安全性、Java卡平台安全性的提高和分离式的虚拟机结构3个方面详细论述了Java卡平台的安全性。通过一个Java卡平台金融支付系统的安全机制，着重介绍了基于Java卡平台的上层应用软件的安全性设计。     

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

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

Java卡应用的设计与实现

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

Java卡的设计

本文讲述了Java卡的体系结构，并就Java卡的设计提出了一些切实可行的方案，其中包括虚拟机内存结构的设计、Native方法的实现、虚拟机执行指令的流程及Applet的管理，最后讲述了防火墙的设计。     

基于Java卡的电子护照设计与实现

为便于各种护照信息的管理,提出一种基于Java卡平台的电子护照设计方案,根据ICAO Doc 9303标准对其具体功能加以实现。同时参照Java卡的特点设计一种通用的Java卡文件包Javacardmesjar,并介绍透明文件和定长记录文件的实现过程。实验结果表明,采用该方案实现的电子护照运行稳定,具有一定应用价值。     

一种新的Java智能卡上字节码校验算法

Java智能卡上的字节码校验是保障Java卡安全的重要手段。但是,由于Java智能卡本身的空间和运算器的限制,传统的字节码校验算法无法在Java智能卡上实现。为了解决此问题,本文在分析了现有方法的特点和不足的基础上提出了一种基于有向分枝图和缓存策略的字节码校验算法。效率分析和实践表明,该算法是一种可以在Java智能卡上实现
现的高效算法。     

Implementation of Java card Virtual Machine

Java card is a new system for programming smart cards,which is based on the Java language and Virtual Machine,Java card programs(applets)run in Java Card Runtime Environment (JCRE)including the java Card Virtual Machine(JCVM),the framework,the assoicated native methods and the API(Application Programming Interface),JCVM is implemented as two separate pieces: off-card VM(Virtual Machine)and on-card VM.The stack model and heap memory structure used by on-car VM and exception handling are introduced.Because there are limited resources wihin smart card environment,and garbage collection is not supported in JCVM,the preferred way to exception handling does not directly involve the use of throw,although the throw keyowrd is supported.Security is the most important feature of smart card.The Java Card applet security feature is also discussed.     

智能卡的研究与发展

综述了智能卡及ＪＡＶＡ卡的相关技术,智能ＩＣ卡由硬件和操作系统组成 ,可理解成一个计算机系统,智能ＩＣ卡有着完善的安全技术体制,安全性是其最大的特点,近年来,Ｊａｖａ技术与智能卡技术的结合产生了Ｊａｖａ卡,Ｊａｖａ卡是一种新型的智能卡,它基于Ｊａｖａ语言和Ｊａｖａ卡虚拟机ＪＣＶＭ（Ｊａｖａ Ｃａｒｄ Ｖｉｒｔｕａｌ Ｍａｃｈｉｎｅ）,是智能卡发展的方向。     

Java Card在智能卡开发中的应用

阐述了SUN公司推出的Java card在智能卡开发应用中的实现过程,阐明其构架以及主要的API。提出Java Card的安全性问题,推荐 使用椭圆曲线算法,并在Java Card API中补充设计加密解密部分。     

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

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

校园IC卡网上应用系统中的Java技术研究

ＩＣ卡在基于Ｗｅｂ的电子商务等领域有着广阔的应用前景。探讨了如何在基于Ｗｅｂ的系统环境中使用Ｊａｖａ技术及其安全体系结构驱动ＩＣ卡,以获得方便安全的网上电子身份识别手段和电子货币功能。     

Java在Smart卡中的实现与应用

Ｊａｖａ卡实现了面向对象技术,这不仅简化了编程,而且使Ｓｍａｒｔ卡成了信息系统的标准组件。     

基于加密卡的JCE的研究与实现

JCE是一个为Java程序提供机密性安全服务的框架.通过对JCE的设计原理的分析,以及对基于加密卡的JCE的3种可能实现方案的比较,提出了基于Microsoft CryptoAPI且遵照JCE的标准接口来实现CSP的方案,以便于对Java应用中的关键数据实现硬件加密.此外,还具体讨论了实现该CSP的步骤及其关键技术.     

Java卡对象共享安全策略分析与实现

使用形式化方法对Java智能卡的应用隔离与对象共享机制进行分析,用信任模型表述卡内多应用间对象共享关系,根据信任可传递的条件推断出仅由应用级安全策略控制共享对象访问的不足,提出以增加卡内全局访问控制机制来防止未经授权的信息流动这一安全策略设计思路,并给出一个简单实现。