安全软件开发环境中安全测试工具的设计与实现

来源 :天津大学 | 被引量 : 0次 | 上传用户:shlices
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了满足软件对安全性和可靠性越来越高的需求,微软提出了可信计算的理念,并通过在传统软件开发生命周期的各个阶段增加一系列的针对安全的关注和改进,提出了安全开发生命周期,形成遵照这一软件开发流程的安全软件工程。针对该开发流程的测试阶段,本文研究了如何提供一个自动化或者半自动化的安全测试工具,用来检测程序中潜在的安全漏洞。本文基于现有的安全软件测试方法,提出一种基于攻击模式的软件安全测试方法。首先,基于UML顺序图对攻击模式进行建模,从模型中提取攻击路径并获取攻击路径的相关特征,依据特征确定在程序执行时哪些信息需要被收集,同时进行代码植入。其次,生成随机测试数据,由数据驱动植入代码后的程序执行,并记录程序运行时的执行路径。最后,将攻击路径和执行路径进行匹配,根据匹配结果报告存在的安全漏洞,并进一步提供相应的缓和策略。在此之上,本文设计并实现了一个安全测试工具,功能模块包括攻击路径模块,自动代码植入模块和测试执行及路径匹配模块。该工具用Eclipse开发平台上的插件技术实现,并进一步集成到整个安全软件开发环境中。该安全测试工具给测试人员提供了相对自动化的工具支持,降低了安全测试对测试人员的技术与经验的依赖,提高了开发速度。将其作为安全软件开发环境中的一部分,为构建安全可靠的软件起到了很好的作用。
其他文献
数字水印技术是一种有效的数字产品版权保护和数据安全维护技术,是信息隐藏技术研究领域的一个重要分支,数字水印技术将特定信息嵌入数字产品中,是一种新型的版权保护机制,借
尽管朴素贝叶斯分类算法足够简单,它仍表现出了极好的分类性能。然而作为其核心思想的条件独立性假设,在真实应用中却很少能够被满足。基于单依赖分类器的聚合算法作为对朴素
现有的OCR (Optical character recognition,光学字符识别)技术可以将印刷体文档中的文字高速、自动地输入计算机,取得很好的识别效果。然而脱机手写汉字,由于形状千差万别,
随着计算机硬件和图形技术的发展,特别是建模和渲染技术的快速发展,越来越多的三维模型应用到各个领域,这也促进了三维检索技术的研究。在这些技术中,其中基于视图的多特征检
对等网络以分布式的方式组织网络中的资源,相互间的数据交换不会受到中心服务器的限制。对等网络的主流查询算法采用分布式哈希表(DHT)技术,作为典型的基于DHT的对等网络算法
互联网络的不断发展,使得语音通信技术也得到了更为广泛的应用,并逐步由传统的PSTN网络转化为IP网络即VOIP。而这种演进结果,可以使运营商在成本更低的情况下,迅速推出新业务
H.264/MPEG4 AVC 是ITUTVCEG 和ISO/IEC MPEG 联合制定的国际视频编解码标准,编码中使用了离散小波变换DWT 方法,标准具有压缩效率高、网络适应能力强等特点,所以对在多媒体通信
移动Ad Hoc混合网络结构包括了平面结构和分簇结构。由于路由协议与结构的差异,已有的分簇或者平面结构的路由协议无法执行异构节点之间的路由管理与控制,两者之间的路由转换
随着网络技术和计算机技术的迅速发展,数据越来越多地以流(streaming)的形式出现。由于数据流具有突发、潜在无限等特性,在某个瞬间,流速可能会突然急剧加大从而导致短时间内
随着信息技术的发展与应用,信息安全的内涵也在不断的延伸,信息安全已经不仅仅指物理安全或通信双方的秘密信息传递,而扩展到消息的完整性、认证性、不可否认性等方面。其中