基于错误注入的组件安全性测试研究

来源 :华中科技大学 | 被引量 : 0次 | 上传用户:kizanliu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着基于组件的软件开发技术的出现,组件——特别是第三方组件的使用,大大提高了软件开发的效率。组件技术的基础是存在大量的组件,因此,组件的可靠性和安全性就显得尤为重要。然而有关组件的软件测试技术的研究还相对薄弱,组件的安全性测试更是软件测试理论一个新的研究方向,其理论和技术的研究对于促进组件技术的发展具有重要的理论价值和现实意义。由于不同于传统的软件模块,组件以第三方复用为目的进行开发,多数情况下源代码不可见,对组件尤其是第三方组件只能采用基于“黑盒”的安全性测试方法。在当今黑盒安全性测试领域,错误注入技术作为一种模拟攻击和动态执行分析的有效技术,在软件测评和系统安全性分析方面具有明显的优势。它根据软件代码运行所产生的行为而不是简单地从其结构来研究软件的安全漏洞,这种方法有利于发现那些通过静态结构分析所无法发现的新的潜在安全漏洞来源。SDFI(Static and Dynamic Fault Injection)是一种基于错误注入技术的针对组件特别是第三方组件的安全性测试方法。SDFI建立在安全漏洞分类学研究的基础之上,给出一种组件安全错误注入测试模型FIM(Fault Injection Model)。FIM针对组件运行前和运行时两个不同时机,选择两种不同的错误注入检测方法——接口参数错误注入和动态环境错误注入,从而达到有针对性地高效率测试组件安全漏洞的目的。SDFI分别针对接口参数错误注入及动态环境错误注入测试用例“组合爆炸”问题,给出相应的EEC(Exceptional Elements Coverage)和DSW(Division and Sorting by Weight)测试用例约减算法。在研究项目COM组件安全测试系统CSTS(Component Security Testing System)中,设计和实现了自动化错误注入子系统,并使用第三方COM组件进行测试,验证了SDFI的有效性。
其他文献
随着信息时代的到来,各种信息资源越来越丰富,尤其是互联网资源。为了能够从这些海量数据中获取所需要的各种各样信息,需要高效的信息检索系统,它是人们获取所需信息的钥匙。
三维网格模型编辑方法在计算机辅助几何设计和计算机动画等领域具有重要的作用。由于自由变形技术和多分辨率编辑技术对模型的几何细节处理存在一定的问题,因此产生了新的几何
随着计算机技术的日臻成熟,越来越多的关键数据被存储在计算机系统中,因此数据的安全性至关重要。近年来,容灾尤其是跨网络远距离容灾得到了业内人士越来越多的重视和认可。
随着数字科技的迅速发展,从图像中提取文本信息的研究越来越受到人们的关注。图像中的文本能够提供有用的信息,是描述图像内容的关键,这些信息可以作为图像资料的自动注释、
随着电子技术,通信技术的快速发展,以及互联网的广泛应用,嵌入式系统逐渐成为计算机行业的热点。随着人们对于信息产品功能要求的不断提高,基于单片机裸机的嵌入式系统已经越
图像检测与配准作为图像分析和模式识别的基础,其中涉及到图像处理、信号处理、自动控制等多种技术。其核心在于构造合适的图像分析算法。本文以人脸检测和医学图像配准为例,
软件发布规划存在认知和计算困难等问题。多种不确定性因素使问题很难描述和解决。运用进化方法求解是减轻这些困难的一种途径。为此探讨了这个过程中的形式化描述,提供了一
由于市场竞争的加剧和顾客需求的快速变化,制造企业,特别是汽车制造企业对产品结构定义和产品配置提出新的需求。现在有很多产品配置软件,也有很多有关产品配置的算法,但大多
随着国内外学者们研究的深入以及科技的迅猛发展,如今时态数据库技术的应用与研究越来越变得活跃,成为非常热门的研究领域之一。包含历史信息又同时包含当前信息的数据库可以称
当今因特网各种宽带网络的持续高速发展,把网络拥塞控制这一研究课题带到我们面前,在这一研究领域涌现了好多优秀的理论和实践成果。而卫星通信技术的发展尤其是宽带卫星网络