JCVM相关安全性分析与优化
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-14页 |
| 第一章 绪论 | 第14-18页 |
| ·研究背景 | 第14-15页 |
| ·研究现状 | 第15-16页 |
| ·选题意义 | 第16-17页 |
| ·论文结构安排 | 第17-18页 |
| 第二章 Java Card与JCVM分析 | 第18-29页 |
| ·Java Card应用的部署 | 第18-19页 |
| ·Java Card System | 第19-21页 |
| ·Java卡虚拟机 | 第21-24页 |
| ·、数据类型 | 第21页 |
| ·、关键字 | 第21-22页 |
| ·、JCVM支持的基本特征 | 第22-23页 |
| ·、运行时数据域 | 第23页 |
| ·、上下文 | 第23页 |
| ·、类的初始化 | 第23-24页 |
| ·JCVM相关的安全问题 | 第24页 |
| ·防火墙 | 第24-26页 |
| ·、防火墙技术分析 | 第24页 |
| ·、上下文 | 第24-26页 |
| ·、上下文的切换 | 第26页 |
| ·Java卡虚拟机字节码 | 第26-29页 |
| 第三章 相关安全机制分析优化 | 第29-44页 |
| ·对象共享 | 第29-36页 |
| ·、共享接口对象 | 第30-31页 |
| ·、共享接口的分析 | 第31-32页 |
| ·、多应用对象的共享解决方案 | 第32-35页 |
| ·、特征集合的描述 | 第35-36页 |
| ·卡内安全访问机制分析 | 第36-38页 |
| ·、基于权限的安全策略 | 第36-38页 |
| ·、角色安全管理策略 | 第38页 |
| ·卡内代码隔离安全措施 | 第38-40页 |
| ·、类加载器的相应层次结构 | 第38-40页 |
| ·事务处理与原子性 | 第40-44页 |
| ·、原子性 | 第40-41页 |
| ·、事务处理 | 第41-44页 |
| 第四章 优化改进的卡上字节码校验算法 | 第44-62页 |
| ·字节码校验 | 第44页 |
| ·类型级的抽象 | 第44-46页 |
| ·数据流分析 | 第46-47页 |
| ·Java卡字节码校验所面临的问题 | 第47页 |
| ·对象初始化校验的分析改进 | 第47-50页 |
| ·、对象初始化校验的优化方案 | 第49页 |
| ·、未初始化表的设计 | 第49-50页 |
| ·对接口的校验 | 第50-52页 |
| ·、优化解决方案 | 第51-52页 |
| ·对子程序的校验 | 第52-55页 |
| ·、传统子程序校验算法 | 第52页 |
| ·、算法分析 | 第52-53页 |
| ·、采用Contour标记的子程序校验算法 | 第53-55页 |
| ·对分支程序校验的分析 | 第55-56页 |
| ·一种无压力的编码方式 | 第56-58页 |
| ·、java卡平台中的数据类型 | 第56-57页 |
| ·、无压力的编码方式 | 第57-58页 |
| ·缓存调度策略 | 第58-60页 |
| ·、EEPROM的电特性 | 第59页 |
| ·、基于控制流程图的缓存调度策略 | 第59-60页 |
| ·优化的卡上字节码校验算法总结 | 第60-62页 |
| 第五章 验证方案及效果分析 | 第62-66页 |
| ·优化的访问控制策略的验证 | 第62-64页 |
| ·、验证效果分析 | 第64页 |
| ·对事务处理的验证方案 | 第64页 |
| ·对优化的卡上字节码校验算法的分析验证 | 第64-66页 |
| 结论 | 第66-69页 |
| 参考文献 | 第69-72页 |
| 攻读学位期间发表的论文 | 第72-74页 |
| 致谢 | 第74页 |
