检索结果-内蒙古大学图书馆

作者：徐晨晨南京邮电大学

学位级别：硕士

程序切片是一种重要的程序分析理解方法,在实际的生产和研究方面已经得到非常广泛的应用。由于静态程序切片所花费的代价低,分析的较全面,因此本文主要研究静态切片方法。目前,最流行的静态切片方法是基于依赖图的可达性方法,该方法中... 详细信息

程序切片是一种重要的程序分析理解方法,在实际的生产和研究方面已经得到非常广泛的应用。由于静态程序切片所花费的代价低,分析的较全面,因此本文主要研究静态切片方法。目前,最流行的静态切片方法是基于依赖图的可达性方法,该方法中最关键的问题是如何获取summary边。在众多的方法中,IFDS(Inter-procedural Finite Distributive Subset)算法获得summary边的速度最快。然而,IFDS算法需要提前构建超图,在某些情况下,这种精确的过程间分析方法显得有些大材小用。除依赖图方法外,目前还存在信息流分析方法,利用信息流关系来定义切片。但该方法只对过程内程序进行了详细分析,对过程间程序并没有做深入的讨论,因此过程间程序的信息流切片技术有待于进一步研究。针对上述两个问题,本文的研究内容为:(1)改进基于SDG的静态程序切片;(2)提出新的过程间信息流程序切片方法。本文的研究语言为LLVM IR,较某特定的前端语言而言,其通用性更强,有利于切片的后续发展。本文主要工作如下:(1)提出了一种新的构建summary边的方法,该方法充分利用过程内程序的切片结果,无需构造特征子图等中间形式,基于该方法文中还实现了相应的切片器SDGSlicer;(2)为了进一步完善信息流分析方法,本文提出了基于信息流分析的过程间程序切片算法,同时实现了信息流切片器InfoSlicer;(3)为了与SDGSlicer做对比,本文还首次将IFDS应用于LLVM IR程序的切片中,实现了切片器IFDSSlicer。实验结果表明:(1)SDGSlicer在没有损失精度的同时提高了切片的效率;(2)InfoSlicer实现了对过程间程序的切片,且与SDGSlicer相比,其切片精度没有损失。

关键词：依赖图 summary边 IFDS LLVM 信息流分析过程间程序

来源：评论

学校读者我要写书评

暂无评论

精细化管理在化工行业清洁生产过程控制中的应用

精细化管理在化工行业清洁生产过程控制中的应用

引用

作者：马淑芹南开大学

学位级别：硕士

清洁生产的概念已经提出了许多年，国内也有不少企业正在积极实施它，从本质上说，清洁生产是可持续发展理念在生产运作领域的产物，它是一种先进的管理哲学，而不只是一种先进的生产方式，更不是环保的代名词。实际上清洁生产与早已为... 详细信息

清洁生产的概念已经提出了许多年，国内也有不少企业正在积极实施它，从本质上说，清洁生产是可持续发展理念在生产运作领域的产物，它是一种先进的管理哲学，而不只是一种先进的生产方式，更不是环保的代名词。实际上清洁生产与早已为人熟知的精细化生产和全面质量管理之间有着密不可分的联系，可以说它是精细化生产和全面质量管理这两大管理哲学在新世纪的进一步融合与拓展。\n 精细化管理的理念是消除生产过程中一切形式的浪费，这与清洁生产“污染防治”和“全过程控制”的本质不谋而合。目前，对清洁生产的研究多数着重于从生产工艺优化、设备的改进等角度出发，对过程控制的研究也仅局限于对某一工段或产品生产过程中的几个重要影响因素进行控制，企业内的计算机系统是相互孤立的，不同计算机之间不能互通信息，容易形成“信息孤岛”，片面的最优化不能实现整个生产过程的最优化。因此，利用精细化管理的理念，建立一个信息化、网络化的平台，实现产品全生命周期的参数化管理和网络化监控是实现清洁生产全过程控制的唯一途径。\n (1)本文阐述了精细化管理的基本原理、在清洁生产过程控制中的作用以及实现精细化信息管理的工具；\n (2)结合一个变性淀粉企业对企业物质流、能量流进行分析，确定了影响生产的各工艺环节的关键控制点，为实现生产过程的最优化提供了数据支持；\n (3)在企业的信息流分析中将统计过程控制(SPC)用于生产中产品水分的控制，减少生产过程中能量的浪费、确保产品质量的合格；\n (4)结合物质流、能量流、信息流的分析为企业建立一个信息化的平台，实现整个生产过程的参数化控制，一旦某一生产环节发现问题，就可以沿着生产工序的参数记录，快速查找从原料到产品整个生产过程中产生问题的根源，真正实现从源头控制污染的产生；\n (5)生产过程是一种永不终止、不断进步的过程，最后对生产中持续改进的方法进行了介绍，真正实现了清洁生产全过程的精细化管理。

关键词：清洁生产过程控制精细化管理全面质量管理全生命周期信息流分析

来源：评论

学校读者我要写书评

暂无评论

名称解析漏洞检测模型研究与改进

名称解析漏洞检测模型研究与改进

引用

作者：杨继龙南京大学

学位级别：硕士

程序运行时需要频繁访问资源,如文件、套接字等。这些访问一般通过资源名称并调用相关函数来实现,系统依靠名称对资源进行定位,并提供相应的服务。其中依靠名称对资源定位的过程就是名称解析,本地攻击者可通过对解析过程的破坏,使得程... 详细信息

程序运行时需要频繁访问资源,如文件、套接字等。这些访问一般通过资源名称并调用相关函数来实现,系统依靠名称对资源进行定位,并提供相应的服务。其中依靠名称对资源定位的过程就是名称解析,本地攻击者可通过对解析过程的破坏,使得程序的资源访问行为被攻击者利用,达到提权目的。名称解析漏洞涉及程序、资源访问、访问控制等方面因素,其防范检测方法的关键是寻找合理的漏洞特征用于程序保护和漏洞识别。其中防范方法利用系统级或程序级的措施,在访问控制策略、名称空间、系统调用和竞争条件等方面保护资源访问过程;检测方法利用函数调用、时序和访问权限等特征识别程序中存在的名称解析漏洞。漏洞模型研究利用漏洞特征对漏洞进行表达,为漏洞的防范检测提供基本依据。本文针对名称解析漏洞检测模型进行研究和改进,体现在以下几方面。(1)研究现有软件漏洞模型,根据不同的研究目的将模型分为检测模型和一般性模型,指出漏洞模型的通用性和精确性是模型研究中的难点。(2)分析名称解析漏洞的基本原理、攻击方式和分类方法。研究现有名称解析漏洞的防范和检测工作,分析其中存在的主要问题:在防范方面,额外的保护措施产生过多开销,减少程序执行灵活性;在检测方面,静态方法缺乏程序运行时信息,动态方法侧重于攻击条件,对程序行为考虑不足,因此均存在误报。(3)基于上述问题,提出一种结合攻击条件和程序行为的名称解析漏洞检测模型。该模型更加精确地描述了漏洞检测特征,具体改进体现在:从攻击者角度提出名称可预测性,用于描述攻击条件;利用识别函数和信息流传播定义防范行为,作为漏洞识别依据;定义危险函数作为检测触发条件,减少检测规模。(4)基于改进模型设计并实现了一个原型检测系统。利用实验从已知漏洞检测能力、误报排除能力和检测规模三个方面对原型系统进行了评估。实验结果表明该系统具有良好的检测能力,验证了改进模型的有效性。

关键词：名称解析漏洞检测模型程序行为资源访问信息流分析

来源：评论

学校读者我要写书评

暂无评论

基于变异的Android本地代码建模及精确污点分析

基于变异的Android本地代码建模及精确污点分析

引用

作者：马豫宛西安电子科技大学

学位级别：硕士

近年来,Android操作系统的使用在全球范围内越来越普遍,基于Android平台各个领域的应用也越来愈多,Android平台的应用程序为人们生活带来极大便利的同时也带来了大量安全问题。在诸多安全问题中,信息流安全问题为主要安全问题之一。为... 详细信息

近年来,Android操作系统的使用在全球范围内越来越普遍,基于Android平台各个领域的应用也越来愈多,Android平台的应用程序为人们生活带来极大便利的同时也带来了大量安全问题。在诸多安全问题中,信息流安全问题为主要安全问题之一。为了检测Android应用程序存在的信息流安全问题,对Android应用程序进行污点分析是一种常见检测手段。目前现有的Android应用程序静态污点分析工具(如Amandroid,Flow Droid,Droid Safe等)能够在一定的精确性等级上,对大多数Android应用程序实施有效的污点分析。然而目前越来越多的恶意应用的恶意行为与本地代码相关:一方面,Android本地方法代码会隐蔽地泄露敏感信息;另一方面,攻击者将恶意行为放在应用程序的本地代码中,以避免Android静态分析工具的检测。现有的Android应用程序静态污点分析工具中,Droid Safe无法描述应用程序本地代码中存在的污点传播行为;Flow Droid和Amandroid仅对本地方法用保守模型的方式构造粗粒度的数据依赖模型,实现的分析精度较差。如何提高当前静态污点分析方法对本地代码的信息流表示精度是一个未解决的问题。针对该问题,本文提出使用基于变异的依赖关系生成和分析桩生成算法对Android应用程序中本地方法的信息流特性实施更细粒度的自动化建模,同时检测本地代码端对源和汇方法的调用并更新源和汇方法列表,实现了一种对Droid Safe静态分析工具的扩展,使得新的分析工具最终得到的信息流结果更加准确,更加全面。本文的研究内容主要分为以下四点:(1).研究基于变异技术,将本地代码看作黑盒,设计并实现了依赖关系生成的动态算法,提取本地方法接口的参数及对象输入与返回值及对象输出之间的依赖关系。(2).研究基于IDA Pro的轻量级本地代码预分析方法,分析应用程序中本地共享库二进制代码,获得调用源或汇方法的本地函数,并将本地函数实现所对应的Java侧本地方法用于更新源方法或汇方法列表。(3).基于提取的依赖关系,研究分析桩的自动生成算法,得到能与Android应用程序本地方法相对应、且能与Droid Safe工具静态污点分析相结合的精确分析桩,实现对Android应用程序中存在的受本地代码影响的恶意行为的分析。(4).在基准程序集上,对本文工具与现有工具的分析准确性进行了评价。使用由包含本地代码的5096个实际应用程序和1109个恶意应用程序组成的应用程序集,在检测效果方面对本论文方案进行评价,通过与原始Droid Safe工具的对比,说明了本文方案在多种敏感信息流类别上显著提高了检测数量;通过与JN-SAF工具的对比,分析了本文方案与JN-SAF采用的基于摘要的数据流分析在检测能力上的差异。

关键词： Android移动安全本地代码静态分析污点分析信息流分析

来源：评论

学校读者我要写书评

暂无评论

主机数据泄漏防护技术研究

主机数据泄漏防护技术研究

引用

作者：张国华南京大学

学位级别：硕士

随着信息化建设的快速发展,数据信息的使用场景越来越复杂,数据在从创建到销毁的生命周期各个阶段都面临着不同的泄漏风险。传统的数据泄漏防护解决方案可以有效解决其中某些数据泄漏问题,但这些方案多是针对数据生命周期某个阶段的防... 详细信息

随着信息化建设的快速发展,数据信息的使用场景越来越复杂,数据在从创建到销毁的生命周期各个阶段都面临着不同的泄漏风险。传统的数据泄漏防护解决方案可以有效解决其中某些数据泄漏问题,但这些方案多是针对数据生命周期某个阶段的防护需求建立相应的防护机制,没有形成统一的有机整体,一旦某个环节出现问题,将导致整个泄漏防护失败。另外,非可信环境给数据泄漏防护带来了新的挑战。本文从数据客体的角度出发,分析了数据从创建到销毁的整个生命周期中的安全防护需求。针对数据在使用过程中必经三大系统组件的特点,通过对Windows内存结构、存储结构和网络结构中的信息流分析,提出了一个主机数据泄漏防护解决方案,从而尽量保证主机数据在生命周期各个阶段的安全。本文的主要贡献和创新如下： 1.总结了数据泄漏常见场景,其中大部分由内部威胁引起。分析了目前存在的一些解决方案,包括访问控制和加密等,虽然它们能防止某些场景的数据泄漏,但仍存在泄漏风险。 2.从数据角度出发,将主机中的数据以生命周期划分为七个阶段：创建、到达、接收、存储、处理、转移、删除。分析了数据生命周期每个阶段可能发生的数据泄漏威胁,并对数据使用过程中的泄漏风险进行了详细分析,最后找出它们的主要泄漏点：内存访问、文件操作和网络通信。 3.对进程内存空间进行信息流分析,发现泄漏主要发生于进程间通信和其它进程直接读取本进程内存,提出一个基于硬件虚拟化辅助技术的应用程序内存防护方法。 4.对文件操作进行信息流分析,分析文件数据在存储栈中转移时可能遇到的泄漏威胁,在介绍常见保护方法优缺点后,提出一个基于文件过滤驱动和虚拟磁盘驱动双重保护的方案。 5.对网络通信信息流进行分析,分析网络数据包从应用层程序传输到物理层网卡中可能遇到的泄漏威胁。在比较常用网络数据包保护方法后,利用Windows最新网络框架特点,提出了一个从上到下多重保护网络数据包安全的方案。 6.提出一个主机数据泄漏防护系统解决方案,结合网络保护模块、内存防护模块、文件保护模块和用户行为监控模块来防止数据在生命周期各个阶段的泄漏。

关键词：数据泄漏防护信息流分析内存防护文件保护网络数据包保护用户行为监控

来源：评论

学校读者我要写书评

暂无评论

基于深度学习的安卓应用程序中信息流测试系统及方法

基于深度学习的安卓应用程序中信息流测试系统及方法

引用

作者：张洁李晓红 300072 天津市南开区卫津路92号

本发明公开了一种基于深度学习的安卓应用程序中信息流测试系统及方法，包括输入部、信息流分析模块和输出部；输入部用于为该系统输入使用了深度学习的应用程序；信息流分析模块用于理解和测试基于深度学习的安卓应用程序中的信息流，... 详细信息

标准号: CN115481398A

本发明公开了一种基于深度学习的安卓应用程序中信息流测试系统及方法，包括输入部、信息流分析模块和输出部；输入部用于为该系统输入使用了深度学习的应用程序；信息流分析模块用于理解和测试基于深度学习的安卓应用程序中的信息流，对全局控制流图的节点集合和边集合进行清洗和编码处理；在所述信息流分析模块中，以预处理之后的全局调用图作为接口，依序执行单点回溯算法和敏感信息泄露检测算法；所述输出部用于信息流分析报告与敏感信息泄露检测报告两种报告的输出。本发明有效检测基于深度学习的安卓应用程序中深度学习模型在推理过程中是否将用户敏感信息在信息流中泄露，实际检测能力优于传统的静态分析方法。

关键词：信息流分析应用程序信息流敏感信息泄露检测输出算法学习预处理用户敏感信息编码处理测试系统节点集合静态分析全局控制推理过程系统输入有效检测边集合传统的单点调用回溯清洗泄露测试检测全局

来源：评论

学校读者我要写书评

暂无评论

基于代码重写的动态污点分析

引用

信息技术与网络安全 2022年第2期41卷 33-38页

作者：梁威洪倩中原工学院彼得堡航空学院河南郑州450007 江西省第五人民医院江西南昌330046

当前,Web技术更新速度很快,JavaScript(JS)语言应用日益广泛,但同时也出现了许多安全风险,特别是现在的Web应用程序响应速度要求越来越高,更加剧了Web安全威胁。为此,研究了基于代码重写的动态JavaScript污点分析,借助重写JavaScript在... 详细信息

当前,Web技术更新速度很快,JavaScript(JS)语言应用日益广泛,但同时也出现了许多安全风险,特别是现在的Web应用程序响应速度要求越来越高,更加剧了Web安全威胁。为此,研究了基于代码重写的动态JavaScript污点分析,借助重写JavaScript在代码运行过程中标记并跟踪敏感数据,检测数据泄漏并及时反馈。与传统动态污点分析方法不同,该方法无需依赖JS引擎,可以应用于各种浏览器,能高效精准地标记、跟踪、检测敏感数据泄露,提高Web安全性。

关键词：代码重写 JavaScript 动态污点信息流分析 Web安全

来源：评论

学校读者我要写书评

暂无评论

C~3系统设计的系统工程方法

引用

中国管理科学 1988年第3期 6-14页

作者：张最良军事科学院军事运筹分析研究所

C~3系统是一个大规模的复杂系统。我军和外军的实践经验都说明,这样大规模的系统一下子是建不起来的,只可能通过不断改进现有系统的部分环节来渐进地完成系统建设。这就带来一个问题,即在 C~3系统的某一建设阶段,当进行局部环节设计时,... 详细信息

C~3系统是一个大规模的复杂系统。我军和外军的实践经验都说明,这样大规模的系统一下子是建不起来的,只可能通过不断改进现有系统的部分环节来渐进地完成系统建设。这就带来一个问题,即在 C~3系统的某一建设阶段,当进行局部环节设计时,如何瞻前顾后,考虑各部分的相互联系,照顾整个系统的效能?这个问题依靠设计

关键词：系统设计灵敏度分析数值分析系统工程方法 C~3 方程实体信息流分析结构性方法构模技术属性值静态影响生存能力参数变化

来源：评论

学校读者我要写书评

暂无评论

MP-UNIX的故障恢复系统

引用

计算机工程与应用 1984年第1期 48-53页

作者：海黎黎华北计算技术研究所

MP-UNIX是将UNIX经改造和扩充移植到一个典型的紧耦合多机系统上的操作系统。本文将讨论它的故障恢复处理部分,并以原子动作概念为基础,提出一种同时适用于科学计算系统和数据处理系统故障恢复的系统结构描述,给出一个故障恢复方案及其... 详细信息

MP-UNIX是将UNIX经改造和扩充移植到一个典型的紧耦合多机系统上的操作系统。本文将讨论它的故障恢复处理部分,并以原子动作概念为基础,提出一种同时适用于科学计算系统和数据处理系统故障恢复的系统结构描述,给出一个故障恢复方案及其实现方法。

关键词：进程间通讯故障恢复原子分子信息流分析动作概念原子操作四元组 UNIX

来源：评论

学校读者我要写书评

暂无评论

大型海洋工程装备协同设计模式研究

引用

机电技术 2014年第5期37卷 126-128,138页

作者：陈国洋尹导吴欠欠李淼许虓宁上海振华重工(集团)股份有限公司上海200241 上海交通大学机械与动力工程学院上海200240

提出了一种面向大型海洋工程装备协同化研制的模式。首先进行组织分析、情景分析、层次分析,找到协同要素,明确各专业人员之间的关系;然后进行互动分析、用于协同的流程分析,构建完整的协同场景。将初步设计、详细设计、生产设计、制造... 详细信息

提出了一种面向大型海洋工程装备协同化研制的模式。首先进行组织分析、情景分析、层次分析,找到协同要素,明确各专业人员之间的关系;然后进行互动分析、用于协同的流程分析,构建完整的协同场景。将初步设计、详细设计、生产设计、制造等4个阶段中涉及到的各部门、专业人员协同起来,以实现同专业、多终端的协同设计和不同专业、同步数据的交互设计,完成海洋工程装备的研制,实现数据的及时同步和更新共享,并用示例加以验证,说明这种模式会降低出错率,提高信息化管理水平。

关键词：海洋工程装备协同设计情景分析互动分析信息流分析

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：