基于建模的软件脆弱性研究

来源 :南京大学 | 被引量 : 0次 | 上传用户:d42953533
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件脆弱性是产生安全威胁的重要原因,是信息安全研究的重点问题之一。对脆弱性的研究是预防、检测和消除脆弱性的依据和基础,可以帮助人们理解系统中的安全问题,为提高系统的安全性提供建议。本文立足于脆弱性本身的研究,着重研究脆弱性的建模、分类以及脆弱性数据库的构建与应用等问题:   (1)从脆弱性建模、脆弱性分类两个角度讨论脆弱性研究的现状。通过对现有工作进行了总结和比较分析,提炼出影响脆弱性建模、分类研究发展的主要因素,分析其面临的主要问题和发展方向。   (2)提出一种结构化和图形化的脆弱性模型(脆弱性PFV图模型)及其建模方法。以脆弱性检测和预防为目的确定脆弱性属性特征的抽象层次和提取原则,以PFV图为脆弱性特征的组织形式构造脆弱性模型,并对该模型进行了形式化的描述和分析,以建模步骤和算法的形式描述建模方法。   (3)建立一个基于脆弱性PFV图建模的脆弱性分类框架。通过对脆弱性PFV图进行扩展,构造脆弱性类别的PFV图模型及模型匹配规则,并以此为基础建立一个具有灵活性和可扩展性的脆弱性分类框架。该框架可以支持多种脆弱性分类法,提供结构化和标准化的分类标准描述方法,以及精确的可自动化的分类规则。   (4)研究脆弱性及脆弱性类别的PFV图模型对脆弱性检测和预防的指导作用,提出一个以脆弱性建模为核心的脆弱性研究框架。将脆弱性PFV图建模所揭示的特征与脆弱性的检测方法及预防策略相联系,分析不同脆弱性所适合的检测方法;研究通过消除和阻止脆弱性特征的途径和手段预防脆弱性的产生,从而指导脆弱性的检测和预防策略。脆弱性研究框架以此为基础,以建模为核心,融合脆弱性分类、描述语言制定等其他方面的研究工作,提高分析结果的重用率。   (5)设计和实现脆弱性多维数据库,构造设计该库的进一步扩展和应用方案。该数据库在兼容脆弱性常规信息的基础上,融合属性特征等细粒度的信息,结构化存储脆弱性的建模结果。通过对库中数据的统计分析揭示脆弱性属性特征的相关规律,并基于该库的扩展,设计脆弱性自动分类器及检测建议生成器等应用方案。
其他文献
快速发展的3D应用技术给相关产业提供了难得的发展机遇,同时也提出了不少挑战性的问题。其中如三维重建一直是计算机图形学领域的一个研究热点,但鲜有研究试图重建物体的语义信
近年来,由于社交网络,即时通讯工具的普及,大量的文本数据涌入我们的生活。如何利用文本挖掘技术,从海量“堆积如山”的文本数据中更快速寻找到有价值的信息,成为各行各业的需求。
互联网和计算机网络正在为企业的全球化和集中化发挥着推动作用。尽管互联网和计算机网络在许多方面取得成功,但是在许多领域也存在着效率低下的问题。其中最严重,同时也是研究
由于软件规模的不断扩大和运行环境的逐渐复杂,软件安全漏洞问题正日益加剧,并不断威胁到政治、经济、国防和社会安全等重要领域。软件安全漏洞检测是对软件安全漏洞进行预防和
关于产品质量问题的研究由来已久,可靠性是产品质量的固有特性之一,是产品质量的重要方面。无论是硬件产品、软件产品还是软硬件结合的复杂系统产品,正确评估产品的可靠性是评估
搜索算法是逻辑证明中的经典方法,广泛用于直觉主义逻辑,古典逻辑等多种逻辑系统。Kripke模型是一个非常简单而有效的模型,它能对解释直觉主义逻辑的语义给予合理的解释。  
如今,Web已经成为信息量最大、应用范围最广的传播媒体。但面对着Web中的海量数据,人们依然无法解决知识匮乏的问题。Web新闻的主题检测研究为人们提供了一种由数据管理向知识
海量音频数据检索技术的迅速发展,对已有的特征选择算法提出了严峻的挑战。迫切需要适应音乐数据集的准确性和运行效率等综合性能较好的特征选择算法以及机器学习方法。本文
安全操作系统的设计和实现过程中对形式化方法有很高的要求。在各种形式化验证方法中,模型检验以其自动化程度高并且能够提供验证反例帮助纠错而受到人们的关注。如何定义和选
基于内存的安全漏洞一直是计算机主机系统安全的主要原因。在过去的十年中出现了许多用于防御基于内存安全漏洞攻击的技术。主要可以分为两类,一类是针对代码本身的静态方法,主