收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

二进制代码隐秘功能的安全性验证

李卷孺  谷大武  陆海宁  
【摘要】:二进制代码在运行时通常表现为黑盒形式,然而常需要判定正常程序行为中是否隐藏了隐秘功能,并对其安全性进行验证。对拥有高级语言源代码和调试信息的二进制代码,确定高级语言和二进制代码的功能是否一一对应,对缺少高级语言源代码和调试信息的精简二进制代码,寻找隐秘功能代码并分析其功能、结构,是二进制代码隐秘功能安全性验证的两个主要应用场景。通过将软件行为和行为特征数据引入安全验证方法中,使用动态调试和程序切片方法将软件行为分析和代码分析相结合,提高了安全性分析的准确性和效率。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 申文迪;;浅谈软件破解——逆向工程的应用[J];实验科学与技术;2006年S1期
2 Tamas Varady;田启华;;几何造型的逆向工程[J];水电科技进展;1999年01期
3 廖勇;逆向工程在模具制造中的应用[J];广西机械;2003年01期
4 叶晓平;激光扫描技术在逆向工程中的应用[J];制造技术与机床;2004年02期
5 陈莉萍;利用UML的面向对象软件工程建模[J];渭南师范学院学报;2004年S1期
6 秦大辉,王从军,黄树槐;基于机器视觉三维激光线扫描系统的组成及应用[J];中国铸造装备与技术;2005年03期
7 平雪良;周来水;刘胜兰;;一种保持特征的三角网格光顺方法[J];计算机工程与应用;2006年02期
8 孙云;;基于逆向工程的玩具车覆盖件的模型重建[J];塑料制造;2011年09期
9 张丽艳,周来水,周儒荣;逆向工程中曲面重构算法研究与实现[J];航空学报;1999年03期
10 周儒荣;逆向工程与快速原型制造[J];计算机辅助设计与制造;2000年09期
11 王克强,陈建治,徐永安;逆向工程在口腔修复体中的应用[J];青岛大学学报(工程技术版);2001年02期
12 陈志杨;三层结构下反求工程CAD/CAM/CAE系统集成[J];模具制造;2002年06期
13 林峰,巫少龙,周建强;逆向工程及其关键技术[J];机械制造;2003年08期
14 陈志杨;逆向工程技术——应用及软件[J];CAD/CAM与制造业信息化;2003年07期
15 平雪良,周儒荣,安鲁陵;灰色系统理论在逆向工程测量数据处理中的应用(英文)[J];Transactions of Nanjing University of Aeronautics & Astronau;2003年01期
16 周文雄;;逆向工程[J];程序员;2003年09期
17 刘军;UG软件在逆向工程中的应用[J];机械制造;2004年11期
18 梁飞华,邓宇,刘好,邢镇容;UGNX2.0环境下工业产品的逆向工程设计[J];茂名学院学报;2005年01期
19 冯铁,李文锦,张家晨;从源码中抽取设计模式技术研究综述[J];计算机应用研究;2005年08期
20 褚华,陈平;一种层次状态图的自动生成方法[J];西安电子科技大学学报;2005年05期
中国重要会议论文全文数据库 前10条
1 李卷孺;谷大武;陆海宁;;二进制代码隐秘功能的安全性验证[A];全国计算机安全学术交流会论文集(第二十三卷)[C];2008年
2 臧加伦;;逆向工程概述及其在柴油机零件上的应用[A];2010年中国铸造活动周论文集[C];2010年
3 郑文荣;王树宗;刘刚;;软件逆向工程应用研究[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(下册)[C];2008年
4 吕杨;李超;;逆向工程之软件破解与注册机编写[A];全国计算机安全学术交流会论文集·第二十五卷[C];2010年
5 金涛;陈建良;童水光;;集成逆向工程系统及相关技术研究[A];制造业与未来中国——2002年中国机械工程学会年会论文集[C];2002年
6 吴栋华;;面向快速成型的逆向工程[A];新世纪 新机遇 新挑战——知识创新和高新技术产业发展(下册)[C];2001年
7 齐从谦;陈亚洲;甘屹;崔琼瑶;;逆向工程中复杂曲面数字化重构关键技术的研究[A];制造业与未来中国——2002年中国机械工程学会年会论文集[C];2002年
8 周敏;邓学雄;陈君梅;徐旋波;;基于PC-DMIS测量软件和UG线架重构的逆向工程研究[A];第十四届全国图学教育研讨会暨第六届制图CAI课件演示交流会论文集(下册)[C];2004年
9 张玲玉;罗怀林;贺元成;;基于B样条的自由曲面模型重构方法的转换[A];面向制造业的自动化与信息化技术创新设计的基础技术——2001年中国机械工程学会年会暨第九届全国特种加工学术年会论文集[C];2001年
10 苗量;陈文琳;晏民;彭凤春;;逆向工程关键技术研究及对点云CAD建模的探讨[A];2004“安徽制造业发展”博士科技论坛论文集[C];2004年
中国博士学位论文全文数据库 前10条
1 吴敏;基于约束和特征的结构类零件实体模型重建关键技术研究[D];南京航空航天大学;2005年
2 褚华;面向对象软件动态模型抽象与转换技术研究[D];西安电子科技大学;2007年
3 刘胜兰;逆向工程中自由曲面与规则曲面重建关键技术研究[D];南京航空航天大学;2005年
4 杨红娟;基于变量化设计的逆向工程CAD建模技术研究[D];山东大学;2007年
5 王宏涛;径向基函数和神经网络技术在逆向工程中的应用研究[D];南京航空航天大学;2006年
6 谭昌柏;逆向工程中基于特征的实体模型重建关键技术研究[D];南京航空航天大学;2006年
7 刘含波;基于散乱点云数据的隐式曲面重建研究[D];哈尔滨工业大学;2009年
8 王志国;曲线曲面形状修改和变形关键技术研究[D];南京航空航天大学;2006年
9 刘大峰;基于点云的口腔修复体曲面测量与重建基础技术研究及应用[D];南京航空航天大学;2007年
10 周天祥;逆向工程中数据分片及模型重建研究[D];浙江大学;2008年
中国硕士学位论文全文数据库 前10条
1 李红;基于逆向工程的拖拉机造型方法研究[D];河南科技大学;2011年
2 杜佶;径向基函数在逆向工程中的应用研究[D];南京航空航天大学;2005年
3 黎波;面向再设计的逆向工程CAD建模技术研究[D];广东工业大学;2011年
4 田稷;逆向工程CAD软件基本构架的研究与开发[D];新疆大学;2004年
5 钱锦锋;逆向工程中的点云处理[D];浙江大学;2005年
6 李文锦;Java程序中设计模式的抽取方法[D];吉林大学;2005年
7 薛斌杰;逆向工程中的数据处理研究[D];国防科学技术大学;2004年
8 霍龙;基于视觉的复杂曲面几何形状三维测量技术研究[D];沈阳工业大学;2004年
9 姚欣;Java Card调试系统中3J模块的设计与实现[D];北京交通大学;2011年
10 熊军;基于概念格的Java语言类层次分析研究与实现[D];吉林大学;2005年
中国重要报纸全文数据库 前10条
1 ;MULTI 2000嵌入式IDE[N];计算机世界;2002年
2 赵晓涛;SafeNet发布HASP安全套件[N];网络世界;2009年
3 ;国产嵌入式IDE[N];计算机世界;2002年
4 William Dwight;明智地选择平台和工具[N];中国计算机报;2002年
5 张承东;AJAX:充满争议的世界?[N];网络世界;2006年
6 祁金华;GPLv3利于保护开源环境[N];网络世界;2007年
7 浙江交通职业技术学院 叶忠杰;VFP应用程序的调试技术[N];计算机世界;2001年
8 郭以东刘晓;规避软件需求隐含的风险[N];计算机世界;2008年
9 李瀛寰;开源促进会总裁推广开源软件[N];中国计算机报;2007年
10 本报记者 谢忱;构建PLM统一平台 实现制造业信息一体化[N];机电商报;2008年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978