检索结果-南通市图书馆

作者：赵江涛战略支援部队信息工程大学

学位级别：硕士

近年来物联网技术高速发展,物联网设备使用规模持续增长,应用场景也不断丰富,但物联网安全事件频发,造成的影响不断扩大,人们对物联网的安全问题越发关注。污点分析技术是程序分析的重要方法之一,其核心思想是将程序敏感数据标记为污点... 详细信息

近年来物联网技术高速发展,物联网设备使用规模持续增长,应用场景也不断丰富,但物联网安全事件频发,造成的影响不断扩大,人们对物联网的安全问题越发关注。污点分析技术是程序分析的重要方法之一,其核心思想是将程序敏感数据标记为污点,跟踪并分析其在程序中的传播过程,从而支撑程序漏洞或者敏感数据泄露的检测。物联网设备的特点之一是其架构的多样性,如何针对架构复杂多变的物联网设备进行污点分析,实现对设备中安全漏洞的检测,成为物联网安全领域的研究重点之一。论文针对物联网设备污点分析平台通用性差、效率较低的问题,研究跨架构的物联网设备离线污点分析技术及其应用,主要工作和贡献如下:1.提出并实现了一种基于二进制重写的实体设备动态插桩框架,解决了传统动态插桩平台在对物联网设备插桩效率较低的问题。该框架采用二进制重写技术实现动态插桩,采用交叉编译技术将其应用到多种实体设备,实现了程序运行的跟踪与程序运行时信息的获取。通过测试该框架的本地插桩效率大部分情况优于Pin插桩平台,远程插桩效率约是gdb+gdbserver平台的28.7倍,且无需搭建复杂的虚拟分析环境,提高了插桩效率。2.实现了一种基于中间语言的离线污点分析框架,解决了跨系统架构的物联网设备一体化分析和污点分析结果复用问题。该框架首先将二进制程序代码转换为统一的VEX中间语言,将动态插桩获取的程序运行时信息转化为VEX中间语言的动态执行信息,实现了基于VEX中间语言的污点传播策略;然后通过动态插桩和污点分析的分离,实现了离线式的污点分析,可以将一次动态插桩的结果复用到多次污点分析,提高了分析框架的灵活性。通过测试,原型系统能够实现X86、AMD64、ARM多种架构的污点分析、污点源的引入和污点传播功能,污点分析效率相对固件动态污点分析平台有了较大提升。3.实现了一种基于离线污点分析的漏洞检测技术,针对常见的二进制漏洞提出了相应的漏洞检测方法,对栈溢出、格式化字符串、堆溢出、UAF和Double Free漏洞的机理及影响进行了分析,根据漏洞数据传播的特点制定了相应的污点标记检测规则,并通过实验验证了漏洞检测规则的有效性,通过分析日志和和污点结果展示界面可以定位漏洞具体位置。

关键词：二进制代码重写动态插桩中间语言离线污点分析漏洞检测

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于语义规则的污点传播分析优化方法

引用

计算机应用 2014年第12期34卷 3511-3514页

作者：林伟蔡瑞杰祝跃飞石小龙数学工程与先进计算国家重点实验室郑州450002

离线污点分析中的针对轨迹记录文件的污点传播分析的时间开销非常巨大,因此研究快速高效的污点传播分析具有重要意义。针对上述问题,提出了一种基于语义规则的污点传播分析优化方法。该方法定义了一种指令的语义描述规则,用于描述指令... 详细信息

离线污点分析中的针对轨迹记录文件的污点传播分析的时间开销非常巨大,因此研究快速高效的污点传播分析具有重要意义。针对上述问题,提出了一种基于语义规则的污点传播分析优化方法。该方法定义了一种指令的语义描述规则,用于描述指令的污点传播语义,利用中间语言自动生成汇编指令的语义规则,再根据语义规则进行污点传播分析,避免了现有污点分析方法中指令重复执行导致的重复语义解析,提高了污点分析的效率。实验结果表明,所提方法能够有效降低污点传播分析的时间开销,仅占传统基于中间语言污点分析的14%左右,提高了分析效率。

关键词：离线污点分析轨迹跟踪语义规则污点传播时间开销

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于启发式的程序轨迹记录优化方法

引用

计算机工程与应用 2016年第21期52卷 134-139页

作者：林伟祝跃飞蔡瑞杰数学工程与先进计算国家重点实验室郑州450002

离线污点分析的轨迹记录过程的时空开销非常巨大,因此研究高效的轨迹记录方式在离线污点分析中具有重要意义。基于此,针对传统指令级轨迹记录存在的时空开销过大的问题,结合程序重放的思想,提出了一种启发式的轨迹记录方法,只在基本块... 详细信息

离线污点分析的轨迹记录过程的时空开销非常巨大,因此研究高效的轨迹记录方式在离线污点分析中具有重要意义。基于此,针对传统指令级轨迹记录存在的时空开销过大的问题,结合程序重放的思想,提出了一种启发式的轨迹记录方法,只在基本块和特殊事件发生时记录寄存器变化状态信息,并对该种记录方法的信息等价性进行了理论证明。实验表明,该方法能够有效降低离线污点分析中轨迹记录的时空开销,提高污点分析效率。

关键词：启发式轨迹记录离线污点分析动态二进制插桩轨迹约减

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：