| 摘要 | 第9-11页 |
| ABSTRACT | 第11-12页 |
| 术语及定义 | 第13-14页 |
| 第一章 绪论 | 第14-18页 |
| 1.1 智能卡简介 | 第14页 |
| 1.2 Java Card简介 | 第14-16页 |
| 1.2.1 Java Card概述 | 第14-15页 |
| 1.2.2 Java Card的优势 | 第15-16页 |
| 1.3 研究的目的和意义 | 第16页 |
| 1.4 研究的现状 | 第16-18页 |
| 第二章 金融实现原理及依据 | 第18-25页 |
| 2.1 EMV标准规范 | 第18-19页 |
| 2.1.1 EMV标准概述 | 第18-19页 |
| 2.1.2 EMV迁移对我国的影响 | 第19页 |
| 2.2 PBOC标准 | 第19-23页 |
| 2.2.1 PBOC标准概述 | 第19-20页 |
| 2.2.2 PBOC3.0和PBOC 2.0的异同性分析 | 第20-23页 |
| 2.3 PBOC3.0颁布对产业发展的影响 | 第23页 |
| 2.4 其它配套设施的建设 | 第23-25页 |
| 第三章 Java Card实现原理及架构 | 第25-31页 |
| 3.1 Java Card体系结构概述 | 第25-28页 |
| 3.1.1 Java Card虚拟机(JCVM) | 第26页 |
| 3.1.2 Java Card运行环境(JCRE) | 第26-28页 |
| 3.1.3 Java Card API(应用编程接口) | 第28页 |
| 3.2 Installer和卡外安装程序 | 第28-31页 |
| 第四章 JCVM的设计与实现 | 第31-53页 |
| 4.1 JCVM框架 | 第31-34页 |
| 4.1.1 硬件平台 | 第31-32页 |
| 4.1.2 存储管理机制 | 第32-34页 |
| 4.2 CAP和Export文件 | 第34-41页 |
| 4.2.1 CAP文件格式 | 第34-38页 |
| 4.2.2 Export文件格式 | 第38-39页 |
| 4.2.3 文件验证方法 | 第39-41页 |
| 4.3 卡外转换器(Converter) | 第41-42页 |
| 4.4 卡内解释器(Interpreter) | 第42-43页 |
| 4.5 原子性机制 | 第43-46页 |
| 4.5.1 数组中数据块的修改 | 第43-44页 |
| 4.5.2 事务机制 | 第44-46页 |
| 4.6 APDUs的处理 | 第46-53页 |
| 4.6.1 APDU对象 | 第47-48页 |
| 4.6.2 ISO 7816接口 | 第48页 |
| 4.6.3 APDU Buffer | 第48-53页 |
| 第五章 测试方案及结果 | 第53-61页 |
| 5.1 测试准备 | 第53-55页 |
| 5.2 测试执行 | 第55-61页 |
| 5.2.1 卡片上电测试 | 第55页 |
| 5.2.2 外部授权测试 | 第55-56页 |
| 5.2.3 卡片文件系统测试 | 第56-57页 |
| 5.2.4 CAP文件注册安装测试 | 第57-58页 |
| 5.2.5 CAP文件注册验证测试 | 第58-59页 |
| 5.2.6 应用选择测试 | 第59-60页 |
| 5.2.7 性能测试 | 第60-61页 |
| 第六章 结束语 | 第61-62页 |
| 参考文献 | 第62-65页 |
| 致谢 | 第65-66页 |
| 学位论文评阅及答辩情况表 | 第66页 |
