基于ARM平台的Java智能卡虚拟机研究与实现-电子科学与技术专业论文.docxVIP

上海交通大学硕士学位论文 上海交通大学硕士学位论文 万方数据 万方数据 基于 ARM 平台的 Java 智能卡虚拟机研究与实现 摘 要 Java 智能卡是一种能够运行 Java 程序的智能卡，其以拥有平台无 关特性、支持一卡多用和重用、安全稳定等众多优势正主导着网络时 代智能卡技术的发展趋势，也使得该技术成为了智能卡领域的研究发 展热点。我国智能卡技术虽然正在迅速发展，但仍处于追赶落后状态， 许多运营商需要花费大量授权费引入国外技术，对我国的生产发展带 来影响。在此背景下，基于国家自主可控安全技术的战略需要，与企 业进行产学合作研究具有自主知识产权的 Java 卡产品将具有较大的 现实意义。 Java 卡虚拟机是实现 Java 卡应用程序平台无关性的基础，负责为 指定的硬件平台解释执行字节码，并进行存储空间的管理和异常处理 等工作。本文研究的课题就是在基于 ARM 微处理器的嵌入式系统上 实现一个能够和 Sun 公司的 Java 卡标准兼容的 Java 卡虚拟机方案。 Sun 公司提供的 Java 卡虚拟机规范只是纲领性文档，如何在资源十分 有限的硬件环境中既实现 Java 卡规范的基本要求，又能尽可能确保系 统运行的效率及安全控制是设计与实现 Java 卡虚拟机时需要研究的 主要难点。 III 本文首先基于 Java 卡的相关规范对 Java 卡技术进行了深入系统 地分析研究，尤其是 Java 卡运行环境与虚拟机的相关规范和安全控制 机制。接着详细叙述了基于 ARM Cortex-M0 核硬件平台的 Java 卡的 软硬件架构，包括对主控芯片特性和软件平台框架的介绍，并着重分 析了 Java 卡虚拟机卡内外模型。随后在仔细分析了虚拟机功能实现所 需模块和各个模块之间的交互关系基础上，着重于设计与实现 Java 智 能卡虚拟机内部的 CAP 文件解析模块，寄存器、Java 栈、堆等内存管 理模块，以及解释执行模块和异常处理模块，并归纳应用程序的格式 和开发流程，同时对与 Java 卡运行环境协同下的安全控制机制进行了 设计。在研究现有方案的同时对指令执行效率方面进行了研究并给出 相应优化方案，并在随后的功能测试中对本方案进行了验证。此外， 本文还在此基础上研究了 Java 智能卡的安全性，着重从逻辑攻击和混 合攻击两种方式研究了 Java 智能卡当前存在的安全威胁，并给出相应 解决措施。 关键词：Java 智能卡，虚拟机，解释器，逻辑攻击 IV STUDY AND IMPLEMENTATION OF JAVA CARD VIRTUAL MACHINE BASED ON ARM PLATFORM ABSTRACT Java Card is a kind of smart card, which enables Java programs running in it. Compared with traditional smart card, Java Card technology has tons of advantages compared with, including platform-independent, multi-application support, object-oriented programming environment, security and stability. Therefore, Java Card has become the mainstream technology trend of smart card in network era and Java Card technology has also become the hot spot in smart card research and development. While smart card technology in China is developing rapidly, it is still lagging behind to catch up. In this background, based on the strategic needs of national self-controlled safety technology, performing research and development of proprietary Java smart card products with enterprises will have great significance. Java Card Virtual Machine is the foundation of platform-independe