收藏本站
收藏 | 论文排版

基于静态分析自动生成Java程序安全行为模型

李泽鹏  
【摘要】: 移动代码安全中非信任代码在本地主机上安全执行的问题受到越来越多的关注。携带模型代码(Model-Carrying Code)方法提供了系统、全面地解决该问题的框架,然而其仍然存在一些有待完善的方面,其中包括:(1)采用了非模块化的安全模型对模块化程序建模;(2)采用了基于执行监控的模型生成方法,依赖于全面测试集。 本文主要针对上述两个问题,针对移动代码重要技术之一的Java程序设计语言,提出采用模块化的模型:扩展的上下文无关文法(ECFG),作为MCC中程序安全相关行为模型的表示形式,设计并实现了基于静态分析技术分析Java源程序的模型生成器。本文方法很好地解决了模块化程序的安全模型模块化问题,提高了模型的精确度,特别是针对异常处理机制问题给出了较好的解决方案。本文提供的方法和实现的程序不但提高了MCC方法的实用性,而且为MCC方法在Java上的应用奠定了基础。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 张强;应用安全的研究现状与发展趋势[J];信息技术;2005年06期
2 王昌达;鞠时光;;隐通道的仿真分析[J];系统仿真学报;2006年06期
3 屈晔;张昊;;bugscam自动化静态漏洞检测的分析[J];信息安全与通信保密;2007年03期
4 孙茜;宫云战;杨朝红;;基于静态检测的程序安全漏洞测试[J];北京化工大学学报(自然科学版);2007年S1期
5 覃颖;王岩;;自动化测试工具PanoramaVB的研究[J];软件导刊;2007年13期
6 李吉;王雷;;C程序缓冲区溢出漏洞精确检测方法[J];北京航空航天大学学报;2008年03期
7 王旭鹏;吉晓民;雷培;;基于COSMOSWorks的托架静态分析及结构优化[J];机械工程师;2008年08期
8 张红;刘磊;;基于控制流的Mobile Safe Ambients演算的静态分析策略[J];吉林大学学报(理学版);2008年04期
9 葛小凯;白振兴;魏剑简;张娜;;线性规划在缓冲区溢出检测中的应用研究[J];微计算机信息;2009年27期
10 费德成;孙玉坤;朱熀秋;;Ansoft软件在电机教学中的应用[J];电气电子教学学报;2009年05期
11 文怀兴;王美妍;吕玉清;;DVG850高速立式加工中心电主轴的动静态特性分析[J];组合机床与自动化加工技术;2010年12期
12 夏锴;肖东;;基于LabVIEW的基本放大器分析仪设计[J];重庆科技学院学报(自然科学版);2011年01期
13 陈忠湘;詹瑾瑜;郝宗波;;带控制流的静态函数调用分析方法[J];计算机工程;2011年09期
14 梁广泰;孟娜;李进辉;钟浩;张路;王千祥;;一个可半自动化扩展的静态代码缺陷分析工具[J];计算机学报;2011年06期
15 刘晓燕;PASCAL 静态分析器的设计与实现[J];昆明理工大学学报;1997年04期
16 屈晔;张昊;;BugScam自动化静态漏洞检测的分析[J];电子产品可靠性与环境试验;2006年04期
17 黄锦;陈晓苏;肖道举;刘辉宇;;基于模型检验的软件安全静态分析研究[J];微计算机信息;2007年30期
18 魏强;金然;王清贤;;基于结构化指纹的恶意代码变种分析[J];计算机应用研究;2008年03期
19 李毅超;刘丹;韩宏;卢显良;;缓冲区溢出漏洞研究与进展[J];计算机科学;2008年01期
20 张华;;面向软件缺陷检测的静态分析技术[J];潍坊学院学报;2008年02期
中国重要会议论文全文数据库 前10条
1 王晓光;;投资方案静态分析方法的改进[A];管理科学与系统科学进展——全国青年管理科学与系统科学论文集(第4卷)[C];1997年
2 张威;薛廷梅;卢庆龄;;软件内存泄漏缺陷分析与测试方法研究[A];第十届全国容错计算学术会议论文集[C];2003年
3 林锦滨;张晓菲;刘晖;;符号执行技术研究[A];全国计算机安全学术交流会论文集(第二十四卷)[C];2009年
4 苏娟;杜普选;崔欣;姜道勇;;铁路FSK信号静态分析系统研究[A];'2006系统仿真技术及其应用学术交流会论文集[C];2006年
5 江雷;朱建平;;基于静态分析的软件安全检测技术研究[A];全国计算机安全学术交流会论文集(第二十四卷)[C];2009年
6 王雅文;宫云战;肖庆;杨朝红;;区间运算在软件缺陷检测中的应用[A];第五届中国测试学术会议论文集[C];2008年
7 肖庆;杨朝红;毕学军;;基于静态分析的面向故障测试方法[A];第四届中国测试学术会议论文集[C];2006年
8 黄勇;李显方;;圆柱形梁弯曲和横向振动的精确分析[A];中国力学学会学术大会'2009论文摘要集[C];2009年
9 谢占功;李积彬;罗飞;阳宁;;深海潜水泵轴系的有限元分析研究[A];2009海峡两岸机械科技论坛论文集[C];2009年
10 杨绣;宫云战;金大海;;一种基于静态分析的资源泄漏检测方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
中国博士学位论文全文数据库 前10条
1 赵云山;基于符号分析的静态缺陷检测技术研究[D];北京邮电大学;2012年
2 李仁见;堆操作程序分析验证技术研究[D];国防科学技术大学;2011年
3 王祥根;自修改代码逆向分析方法研究[D];中国科学技术大学;2009年
4 夏一民;缓冲区溢出漏洞的静态检测方法研究[D];国防科学技术大学;2007年
5 杨学红;BPEL流程的故障模式及其静态分析技术的研究[D];北京邮电大学;2011年
6 肖庆;提高静态缺陷检测精度的关键技术研究[D];北京邮电大学;2012年
7 牛飞亮;制度变迁中的城镇居民收入差距分析[D];中国人民大学;2000年
8 王嘉捷;多重循环程序内存访问越界增量检测方法[D];中国科学技术大学;2009年
9 姜励;基于程序设计语言的安全降密模型研究[D];浙江大学;2008年
10 陈立前;基于区间线性抽象域的可靠浮点及非凸静态分析[D];国防科学技术大学;2010年
中国硕士学位论文全文数据库 前10条
1 史维芳;考虑非线性的雷达天馈系统稳定平台的有限元分析[D];合肥工业大学;2005年
2 曲昌荣;汽车车架的轻量化设计[D];西华大学;2006年
3 刘长国;全钢载重子午线轮胎稳态力学特性有限元分析[D];吉林大学;2006年
4 曹晋阳;构件化软件测试的静态分析及配置体系研究[D];西安理工大学;2007年
5 杨显宏;风车式空中车库的结构分析[D];西南交通大学;2005年
6 彭铁文;基于CAE技术的运动型多功能车整车结构静态与动态响应分析[D];中南大学;2004年
7 刘元林;阀口动压反馈直动式溢流阀的动态特性分析[D];辽宁工程技术大学;2005年
8 赵全亮;PZT驱动的微泵研制及特性分析[D];黑龙江大学;2006年
9 管铭;基于程序分析的软件安全漏洞检测技术研究[D];西北工业大学;2007年
10 陈新厂;大功率风力发电机组轮毂的结构强度分析及优化设计[D];重庆大学;2008年
中国重要报纸全文数据库 前10条
1 河北省石安高速公路管理处 高靖;企业偿债能力分析中存在的问题及对策[N];河北经济日报;2008年
2 通讯员 李克彬 庆华 王彪;市地税部门纳税评估获双赢[N];咸宁日报;2006年
3 博乐市建明建筑安装工程有限责任公司 谭光俊;投标报价的分析方法[N];博尔塔拉报;2007年
4 石兴华 王明辉;市地税局“五抓五保”促增收[N];金昌日报;2008年
5 博乐市建明建筑安装工程有限责任公司 谭光俊;投标报价的分析方法[N];博尔塔拉报;2008年
6 樵世稳;山阳开展工业“质量效益年”活动[N];商洛日报;2008年
7 国泰君安 李质仙;纺织服装谨慎看待利好带来的影响[N];上海证券报;2008年
8 信息产业部软件与集成电路促进中心 于明唐仕武;驶入测试“快车道”[N];计算机世界;2007年
9 罗路石;基金银丰(500058):“封转开”题材 折价率高[N];中国证券报;2007年
10 主讲人 沈明高;真的进入产能过剩时代了吗?[N];21世纪经济报道;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978