JCVM相关安全性分析与优化

【摘要】Java智能卡在金融、移动通讯、身份认证等方面获得了极其广泛的应用。因为其应用的广泛性和应用数据的重要性、敏感性,所以关于智能卡的安全性就非常重要。关于Java卡系统安全性问题的分析与研究,在国外已经有了比较多的工作,目前国内Java智能卡安全性的研究比较落后的。逐渐突出的安全问题,相关安全措施及研究的相对落后,成为此次研究的重要背景和意义。Java卡虚拟机(JCVM)是整个Java卡系统最核心的组件,负责解释执行程序。在卡内,JCVM的所有解释和执行的动作及方法都受到各种安全措施的保障,限制和规范。涉及JCVM的安全性问题的研究可以分为两个方面包括：一有关其安全机制的完善,主要有应用防火墙下共享接口的研究,安全访问策略研究,代码隔离措施以及原子性和事务处理等问题；二有关类型级的安全校验,即Java卡字节码校验的问题。对卡内安全机制的分析与优化。在应用防火墙的隔离下,不同上下文中的应用通过共享接口对象传递数据的方法不适用于三个以及三个以上对象之间的数据通信,在现有机制下会存在数据失控和泄漏的危险。现有的一些方法简单的添加应用的AID或者通过专门的第三方应用使用应用的AID来判断是否允许数据的通信都存在各种的问题。为解决这个问题,设计应用的特征集,以及Java卡运行时环境中的逻辑判断模块,按照统一安全规则通过逻辑判断模块对数据通信双方或多方特征集的判定来判断是否允许数据的通信。其优点在于能很好的适应一卡多用的应用环境,不需要频繁的更新应用的AID列表,很高的安全特性。针对应用特征的设计,引出对资源数据访问控制安全策略的分析,优化改进了权限和角色的控制方法。接着分析代码隔离安全措施,优化了卡上的层次化的类装载机制。最后分析原子性和事务处理,提出优化的事务处理流程,保证事务处理的原子性。对类型级安全保障,即Java卡字节码校验的分析优化。现在,绝大多数的Java智能卡一直在采用离卡校验的方式,而一直迫切的希望采用一种能够在卡上实现的,有良好表现的字节码校验程序。现有的能够在卡上进行字节码校验的校验程序大多采用的是基于缓存策略的校验方式,并没有分析字节码校验的各个部分的对空间复杂度和时间复杂的影响,也没有做相应的改进。而一些采用模块化校验和其它校验方式的校验程序普遍存在着只能针对特定的情况或者不能对所有字节码进行校验的问题。针对现在的卡上的字节码校验程序存在的问题,通过对初始化、接口集合、分支程序以及子程序的校验方法的分析,发现对资源消耗最大之处在于对分支程序和子程序的校验。对上述的种种问题,解决的方法是优化对初始化和接口集合的校验方法,重点针对子程序首次提出了基于contour标示的卡上多变量的字节码校验方法。并提出一种新设计的无压力的编码方式和采用基于控制流程图的缓存调度策略。其优点是显著降低了校验子程序对内存和CPU资源的消耗,在校验的同时获得程序结构,降低了校验程序的空间复杂度和时间复杂度,能够在卡上很好的进行字节码的校验。最后实际验证优化后的安全措施,并分析不足之处以及需要进一步研究的内容。
【作者】蒋龙龙；
【导师】李代平；
【作者基本信息】广东工业大学，计算机科学与技术，2014，硕士
【关键词】共享接口对象；访问控制；类装载器；事务处理；类型安全；多变量字节码校验算法；

【参考文献】
[1]刘岩.例谈提高初中化学教材适切性的策略[J].中学化学教学参考,2014,17:36-39.
[2]颜小虎.中文搜索引擎的发展现状与趋势研究[D].北京印刷学院,2005.
[3]韩巍.Web信息智能检索研究[D].合肥工业大学,2004.
[4]高防.基于时域法的月球卫星引力梯度测量恢复方法研究[D].华中科技大学,精密测量物理,2013,硕士.
[5]胡旸.非均相催化剂制备及催化降解聚丙烯酰胺[D].天津科技大学,应用化学,2010,硕士.
[6]阿致娇.明清时期蒙化彝族左氏土官研究[D].云南师范大学,中国古代史,2013,硕士.
[7]马骥.圆钢管再生混凝土柱静力性能研究[D].哈尔滨工业大学,结构工程,2013,硕士.
[8]郝姗姗.数据驱动学习对中学生英语语法搭配学习的效果研究[D].湖南师范大学,课程与教学论,2013,硕士.
[9]卢麒屹.宽带全向通信天线技术的研究[D].西安电子科技大学,电磁场与微波技术,2012,硕士.
[10]文锋.主轴轴承盖新产品的研制与压铸生产工艺开发[D].新疆大学,材料加工工程,2013,硕士.
[11]张美玲.稻谷储藏品质变化规律与其挥发性物质挥发规律相关性研究[D].南京财经大学,农产品加工及贮藏工程,2012,硕士.
[12]吴国喆.研究生学位授予中学位申请人的救济机制研究——以对学位论文的学术评价为中心[J].教育研究,2014,03:64-74.
[13]杨宏斌,冼萍,杨龙辉,李平,何欣凌.广西城镇污泥掺烧利用组分特性的分析[J].环境工程学报,2015,03:1440-1444.
[14]张亦朴.基于模糊控制的多功能抽液装置的研制[D].华北电力大学（河北）,机械工程,2004,硕士.
[15]蒋殿龙.王夫之史论的政治哲学思想发凡[D].安徽大学,中国哲学,2014,硕士.
[16]王永凤.党的思想纯洁性的考核探析[J].长春市委党校学报,2014,06:32-35.
[17]袁颖.高中生数学应用意识与应用能力培养[D].湖南师范大学,学科教学（专业学位）,2014,硕士.
[18]林琳.复合型土钉支护的有限元分析及工作机理研究[D].湘潭大学,一般力学与力学基础,2003,硕士.
[19]王云飞.电磁环境侵权案件研究[D].兰州大学,法律,2012,硕士.
[20]王浩.不同生长时期饲喂戊糖片球菌对AA肉仔鸡肌肉品质的影响[D].东北农业大学,动物营养与饲料科学,2013,硕士.
[21]魏颖.N-卤代酰亚胺与羧酸或DBU组合在有机合成中的应用[D].东北师范大学,有机化学,2014,博士.
[22]杨娟.新疆少数民族高考优惠政策研究[D].新疆大学,马克思主义民族理论与民族政策,2013,硕士.
[23]高飞1,2,3,金昭1,2,3,蔡国林1,3,董建军4,陆健1,2,3,5.阿拉伯呋喃糖苷水解酶对啤酒大麦麦芽过滤性能的影响[J].食品工业科技.
[24]吕斌,丁振宇,高增梁.不同应力比下U75V轨道钢疲劳裂纹扩展行为研究[J].中国机械工程,2014,24:3373-3377.
[25]陈超.卢梭现代性批判思想研究[D].中共中央党校,外国哲学,2013,硕士.
[26]杨威,段斌,黄凌翔,何维.风电场IEC61400-25到OPCXML-DA的映射实现与应用[J].电力系统自动化,2010,20:89-93.
[27]牟彦萍.间作玉米对豌豆氮阻遏的减缓效应研究[D].甘肃农业大学,作物栽培学与耕作学,2013,硕士.
[28]王永庆.中国有线电视产业化问题研究[D].北京交通大学,2007.
[29]赵志龙.乘性噪声图像处理方法研究[D].西安电子科技大学,计算数学,2012,硕士.
[30]王希群,陆道调,马履一,罗军民,陈恩军.关于推进林木种苗法制建设有关问题的探讨[J].绿色中国.2004(01)
[31]张兆鹏.财政民主：美国联邦与地方财政中的政党政治[D].华中师范大学,地方政府学,2012,硕士.
[32]马国伟.基于聚类的心电信号分类方法的研究[D].华东理工大学,计算机软件与理论,2013,硕士.
[33]魏来.ARIMA理论及其在网络环境下绿色农产品定价的应用[D].电子科技大学,2003.
[34]赵琳梦.《书剑恩仇录》英译本中译者与作者的冲突研究[D].四川外国语大学,英语语言文学,2013,硕士.
[35]史瑞丽.从电影《永远的三丁目的夕阳》字幕翻译看影视剧字幕的日中翻译[D].东华大学,翻译（专业学位）,2014,硕士.
[36]路龙女.纳豆固体发酵和纳豆激酶的催化特性[D].安徽农业大学,微生物学,2011,硕士.
[37]高晓博.新疆汉—维、维—汉双语人语言使用规律及语言态度比较研究[D].新疆师范大学,外国语言学及应用语言学,2013,硕士.
[38]林志扬,肖前.转换成本与用户重复使用意愿研究[J].商业研究,2013,08:66-74.
[39]曹先清.影响辐射管管壁温度均匀性因素的仿真分析[D].内蒙古科技大学,机械工程,2014,硕士.
[40]郝丽莉.葛兰西的文化领导权理论及其当代启示[D].吉林大学,马克思主义哲学,2014,硕士.
[41]马涛华.基于语料库的中国大学生话语标记语在英语口语中的使用与本族者的对比研究[D].西北民族大学,课程与教学论,2012,硕士.
[42]王永利.基于FPGA的实时图像处理平台的研究与设计[D].东北大学,检测技术与自动化装置,2011,硕士.
[43]赵珑.山东省宽带网建设与发展设想[J].邮电商情.1999(19)
[44]曹密.基于模型驱动架构的医学影像信息管理系统领域建模研究[D].杭州电子科技大学,计算机软件与理论,2012,硕士.
[45]全峰梅.模糊的拱门——建筑性的现代性现象学考察[D].广西大学,科学技术哲学,2004,硕士.
[46]陈河.增益开关半导体皮秒种子源[D].国防科学技术大学,光学工程,2012,硕士.
[47]赵克友.有结构摄动非线性系统的鲁棒绝对稳定性[J].自动化学报,1993,02:138-144.
[48]迟江朋.鞍钢冶炼系统核仪表辐射剂量与工作人员受照剂量分析[D].吉林大学,公共卫生,2012,硕士.
[49]温靖康.基于ISO/IEC15693标准的RFID芯片关键技术研究[D].华南理工大学,集成电路工程,2012,硕士.
[50]黄敢.利率市场化和我国商业银行利率风险的管理[D].对外经济贸易大学,企业管理,2004,硕士.