检索结果-南通市图书馆

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

基于信息流策略的污点传播分析及动态验证

软件学报 2011年第9期22卷 2036-2048页

作者：黄强曾庆凯南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

基于流和上下文敏感的SSA(static single assignment)信息流分析技术,提出了一种细粒度、可扩展的污点传播检测方法.利用控制流和数据流的相关信息,跟踪污染数据及其传播路径,可以检测缓冲区溢出、格式化串漏洞等程序脆弱性.分析过程在... 详细信息

基于流和上下文敏感的SSA(static single assignment)信息流分析技术,提出了一种细粒度、可扩展的污点传播检测方法.利用控制流和数据流的相关信息,跟踪污染数据及其传播路径,可以检测缓冲区溢出、格式化串漏洞等程序脆弱性.分析过程在潜在问题点自动插装动态验证函数,在无需用户干预的情况下保证了程序的运行时安全.在GCC编译器的基础上实现了分析系统,实验结果表明,该方法具有较高的精确度和时空效率.

关键词：脆弱性信息流污点传播动态验证静态单一赋值

Web SQLIA漏洞的静态污点分析和动态验证研究与实现

在线全文

学校读者我要写书评

暂无评论

Web SQLIA漏洞的静态污点分析和动态验证研究与实现

作者：范威威江西师范大学

学位级别：硕士

污点分析,作为一种信息流分析的实现形式,建立来自不可信方法和参数的值是否可以流动进入安全敏感操作的分析模型,以此来找到Web应用中潜在的安全漏洞。污点分析分为静态污点分析和动态污点分析,可以发现很多Web应用程序中的常见漏洞,比... 详细信息

污点分析,作为一种信息流分析的实现形式,建立来自不可信方法和参数的值是否可以流动进入安全敏感操作的分析模型,以此来找到Web应用中潜在的安全漏洞。污点分析分为静态污点分析和动态污点分析,可以发现很多Web应用程序中的常见漏洞,比如:SQL注入、XSS攻击,因而受到研究界和业界的广泛关注。结合静态分析与动态验证,本文提出了一种基于中间代码级的SQLIA漏洞的检测和验证的解决方案。首先将Web应用程序的Java和Jsp源代码转换成统一的中间代码形式-Jimple,接着通过全局静态分析获取程序的Source集合和Sink集合,然后将Source分为原生和非原生两类,并将非原生Source映射至对应的原生Source,保证了Source的可靠性。接着结合同方法、Request、Session和方法调用信息,初步判定Source和Sink之间的潜在执行路径,有效地排除了不可能的执行路径,很好地避免了路径爆炸问题。然后对相应的Source、Sink之间的路径集合进行活跃变量分析,通过活跃变量的污点传播来确定对应路径。同时,完成了静态污点分析的自动化分析工具TASAT。最后基于动态插桩和动态污点传播来完成路径的验证,完成静态分析与动态验证相结合的污点分析方法。针对开源Web项目的测试结果表明了该方法的有效性。

关键词：静态污点分析污点传播活跃变量分析插桩动态验证

基于UML交互模型的Java程序的动态验证

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于UML交互模型的Java程序的动态验证

作者：张圣杰南京大学

学位级别：硕士

在软件工程日趋发展的今天,随着系统规模的不断扩大,软件应用越来越广泛,软件开发过程也越来越灵活。与此同时,软件的开发难度也越来越大,软件的质量难以得到保障。在模型驱动的软件开发过程中,系统分析人员通过对需求进行理解分析,设... 详细信息

在软件工程日趋发展的今天,随着系统规模的不断扩大,软件应用越来越广泛,软件开发过程也越来越灵活。与此同时,软件的开发难度也越来越大,软件的质量难以得到保障。在模型驱动的软件开发过程中,系统分析人员通过对需求进行理解分析,设计相应的模型,通过模型精化,最终期望能由模型自动生成代码。在现阶段,模型主要是帮助软件设计与开发人员理解、分析系统,尚不能够完全由模型直接生成可用代码,代码仍需由软件设计与开发人员在对模型进行分析理解后人工编写补充,这就可能引起模型与代码间存在不一致的情况。因此,保证实现模型与代码间的一致性,具有重要的意义。本文在统一建模语言(UML)2.0交互概观图和顺序图的指导下,构建直观且富有表现力的基于场景的规约,并提出了用于UML交互模型与Java程序动态验证的方法,用于异常一致性和强制一致性验证。异常一致性规约要求在程序执行过程中从不发生由给定交互概观图所描述的禁止的场景,而强制一致性规约要求如果在程序执行过程中发生了由给定顺序图描述的参考场景,则程序执行轨迹也必须立即遵守由给定交互概观图所描述的场景。如何正确、高效地提取模型与代码中的关键信息,以及如何有效地判断模型与代码的一致性,是本文研究的重点内容。本文所描述的动态验证的方法主要由三个步骤组成。首先,分析解析UML交互模型,提取交互概观图与顺序图中对象交互的关键信息;然后,对待验证的Java程序进行插桩,以便跟踪记录程序执行过程中对象的交互事件;最后,在给定基于场景的规约中,设计一致性验证算法,检查程序执行轨迹与UML交互模型中的消息是否一致,完成基于UML交互模型与Java程序的动态验证。本方法集成在了 UML建模工具UMLet中,为建模和验证的一体化提供了工具保障。

关键词： UML交互模型插桩动态验证模型驱动开发场景规约

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

储层裂缝的地球化学判识方法及动态验证

石油天然气学报 2011年第4期33卷 7-10,16页

作者：何文祥高春宁马超亚马清长江大学地球化学系油气资源与勘探技术教育部重点实验室(长江大学) 湖北荆州434023 长庆油田公司第七采油厂陕西吴旗717606 长江大学地球化学系湖北荆州434023

特低渗透储层依靠压裂产生的裂缝才能生产。为了研究裂缝的分布,采用气相色谱指纹法分析对比不同原油样品的指纹特征,依据指纹相似则井间存在裂缝,指纹差异则井间存在渗流遮挡的原则,对白209区块延长组长6特低渗透储层裂缝分布进行研究... 详细信息

特低渗透储层依靠压裂产生的裂缝才能生产。为了研究裂缝的分布,采用气相色谱指纹法分析对比不同原油样品的指纹特征,依据指纹相似则井间存在裂缝,指纹差异则井间存在渗流遮挡的原则,对白209区块延长组长6特低渗透储层裂缝分布进行研究,并与动态分析结果进行对比,两者具有一致性。研究表明,地球化学色谱指纹法是对传统方法的补充,研究结果对油田生产具有指导作用。

关键词：特低渗透储层裂缝地球化学色谱指纹动态验证

在线全文

学校读者我要写书评

暂无评论

可信计算动态验证优化建模

武汉理工大学学报 2010年第20期32卷 169-173页

作者：余跃余发江孔亚楠武汉大学计算机学院武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室武汉430072

目前的可信计算平台只验证应用程序的静态散列值,不能防止恶意代码对应用程序的动态攻击。提出了一个基于静态分析的可信计算动态验证行为建模方法,并且设计了一种修改后的Floyd查找算法,用于找出并删除FSA中所有的空循环路径,优化模型... 详细信息

目前的可信计算平台只验证应用程序的静态散列值,不能防止恶意代码对应用程序的动态攻击。提出了一个基于静态分析的可信计算动态验证行为建模方法,并且设计了一种修改后的Floyd查找算法,用于找出并删除FSA中所有的空循环路径,优化模型。经过实验证明,算法无论是在时间效率上,还是在空间复杂度上都优于目前常用的基于图论的算法。

关键词：可信计算动态验证行为建模空循环路径优化

渭北油田2井区长3油层组储层构型分析及动态验证

在线全文

学校读者我要写书评

暂无评论

长江大学学报（自科版）（中旬） 2015年第12期12卷 12-14,2页

作者：王珏何文祥马超亚油气资源与勘探技术教育部重点实验室(长江大学)长江大学地球环境与水资源学院湖北武汉430100 中石油长庆油田分公司第七采油厂陕西延安717606

为了改善渭北油田自投产以来出现的油井生产效果差、部分井组注采对应率不高的问题,需提高对渭北油田储层砂体间连通性的认识。以Miall构型划分方案为基础,结合目的层位长3油层组油藏沉积规律,提出了三角洲前缘储层内部构型的7级划分方... 详细信息

为了改善渭北油田自投产以来出现的油井生产效果差、部分井组注采对应率不高的问题,需提高对渭北油田储层砂体间连通性的认识。以Miall构型划分方案为基础,结合目的层位长3油层组油藏沉积规律,提出了三角洲前缘储层内部构型的7级划分方案;并结合岩心及测井资料,在充分认识单河道砂体发育特征的基础上,提出了河道砂体在垂向上的叠置关系模式及侧向上的单一砂体接触模式,通过实际生产动态对该构型划分模式进行了验证。

关键词：渭北油田储层构型单河道边界动态验证

基于生成图的工作流多过程动态时序一致性验证方法

在线全文

学校读者我要写书评

暂无评论

电子学报 2009年第10期37卷 2181-2186,2192页

作者：杜彦华范玉顺北京科技大学机械工程学院北京100083 清华大学自动化系北京100084

提出了基于生成图的多过程动态时序一致性验证方法.首先从多过程的时间工作流网构建生成图,以图形化方式表达实例可能经过的路径和时间信息.在动态检测时,依据已经完成活动对生成图进行部分更新,再利用图中节点相关信息进行时间约束的验... 详细信息

提出了基于生成图的多过程动态时序一致性验证方法.首先从多过程的时间工作流网构建生成图,以图形化方式表达实例可能经过的路径和时间信息.在动态检测时,依据已经完成活动对生成图进行部分更新,再利用图中节点相关信息进行时间约束的验证.该方法可以解决资源约束情况下多过程时序一致性动态验证问题,而且能定位模型中出问题的路径,指导用户进行工作流时序异常处理或优化工作流模型;另一方面,生成图可供多个时序约束进行验证使用,具有较好的可重用性.

关键词：时间工作流网生成图时序约束多过程动态验证

在线全文

学校读者我要写书评

暂无评论

应用注采井动态相关性验证三维地震解释成果

大庆石油地质与开发 2013年第4期32卷 98-102页

作者：王维国大庆油田有限责任公司第一采油厂黑龙江大庆163001

三维地震解释成果虽然比二维地震精度有很大提高,但是受人员和设备等多方面因素影响,对于小尺度地质微构造解释仍然存在一定程度误差。如何科学验证三维地震解释成果,使其有效地应用到油田开发实践中,是急需攻克的现实课题。以萨中油田... 详细信息

三维地震解释成果虽然比二维地震精度有很大提高,但是受人员和设备等多方面因素影响,对于小尺度地质微构造解释仍然存在一定程度误差。如何科学验证三维地震解释成果,使其有效地应用到油田开发实践中,是急需攻克的现实课题。以萨中油田开发地震资料处理解释相对完善的北一区断东开发区块为例,在三维地震解释基础上,对于新发现认识的小断层、小褶曲等微构造,系统地应用水聚两驱井注采动态相关性分析法加以交叉验证,分析判断其存在的确定性,进而部署油水井综合调整措施挖掘剩余油,同时类比了脉冲试井、示踪剂测井等验证方法。此方法具有实用性、经济性、可靠性,可在萨中开发区其他区块以及老区精细地震勘探类似油田推广应用。

关键词：三维地震注采相关性动态验证萨中油田

在线全文

学校读者我要写书评

暂无评论

列车轮对轴温探测设备的动态验证

企业技术开发（中旬刊） 2012年第5期31卷 132-133页

作者：许宏舟上海轨道交通维护保障中心上海200233

列车轮对轴温探测设备对保证列车安全运行发挥着越来越重要的作用。文章在总结该设备静态标定验证的基础上,根据列车运行的实际状况,分析了静态标定验证方法的不足。研究并设计了对轮对轴温探测设备的动态验证方法,以此作为传统轮对轴... 详细信息

列车轮对轴温探测设备对保证列车安全运行发挥着越来越重要的作用。文章在总结该设备静态标定验证的基础上,根据列车运行的实际状况,分析了静态标定验证方法的不足。研究并设计了对轮对轴温探测设备的动态验证方法,以此作为传统轮对轴温探测设备标定验证方法的补充,以高效、经济的手段确保轴温探测设备在使用中的精准性与有效性。

关键词：轮对轴承轴温探测静态标定动态验证