一种软件设计安全性评估的自动化辅助方法及实现

来源 :中国科学院大学 | 被引量 : 0次 | 上传用户:a200638012
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
安全性作为软件系统的重要属性,越来越受到人们的重视。经验表明,在软件开发周期中,问题发现得越早,解决问题的花销往往越小。因此,需要尽可能早地对安全性进行评估,发现潜在的安全漏洞,并进行有效的防御和处理。   目前业界的安全性评估,主要是通过一些公认的安全性评估标准,对软件产品进行安全性评级。这些安全性标准一般由政府安全部门或权威安全机构颁布,主要服务的对象是政府和军队的项目,以及通信、金融等大型项目,往往不适合中小型企业的一般软件产品。此外,这些评估标准的评估对象是信息产品。因此,这类评估一般是在产品完成后才会进行,而无法在软件开发生命周期的早期进行。   研究表明,软件系统中的安全性问题约有一半是因为设计上的缺陷所导致的。因此软件设计的安全性评估对于建立一个安全可靠的软件系统有着重要意义。当前主流的针对软件设计的安全性评估方法是进行专家评审,这类方法往往耗时长,代价高。同时,由于依靠专家判断,结果的客观性及准确性常常受到专家主观意见的影响。此外,相对于不断增长的安全性问题,经验丰富的专家成为了稀缺资源。这也为评估增加了难度和成本。   相对于稀缺的专家资源,通用知识将历史数据和专家经验进行了封装和传播,更易获取和利用,近年来越来越多地被使用在安全性评估领域。此外,在安全性评估过程中,可以通过对通用知识的使用来进行自动化地对比和判断,减少对专家判断的需求,从而减少评估结果中的主观性,提高评估结果的准确性。   在前期工作中,我们提出了以攻击模式的通用知识作为评估依据的安全性评估方法。此方法使用自然语言处理技术对软件设计和攻击模式进行建模,通过模型的对比分析获得软件设计中潜在的安全性漏洞。不过,该方法只支持自然语言描述的软件设计文档,在应用上受到了限制。此外,该方法每个模型中只表示一次交互行为,因此会将一条设计或攻击建模成多个模型,忽略了同一条设计或攻击中多次行为之间的关系,从面对准确性造成了一定影响。   通过对前期工作中评估方法的扩展和改进,本文提出了一种针对软件设计的UML顺序图的安全性评估方法。此方法通过对UML顺序图进行建模分析,最终获得软件设计中潜在的安全性漏洞,从而提高了原评估方法的可应用性。同时,通过模型的重新定义和算法的改进,提高了准确性。最后,为了实现评估方法的自动化,我们开发了相应的辅助工具,并通过在一个实际项目上的应用分析,证明了本方法的有效性。
其他文献
现如今人们的生活已经进入了移动互联网高速发展的时代,用户操作手机App的行为模式也与用户使用电脑的行为模式有所不同。如何对当前的用户操作手机App的行为模式进行分析和预
图像凭借其直观丰富的视觉呈现和低廉的传输代价,在信息传播过程中获得了广泛的应用。然而,网络中图像的不当使用现象,如非法散布、篡改等,也给版权保护、网络监管等任务带来了不
学位
随着互联网、物联网、云计算、电子商务等技术的发展,企业的运行状态、人们的行为方式和消费习惯等各方面都被以数据信息的形式记录下来。这些数据信息往往蕴含着巨大的价值,引
随着互联网的快速发展,即时通讯工具成为人们生活、工作必不可少的信息交流工具之一。目前国内外主要的即时通讯工具如腾讯QQ、微软MSN、谷歌的Google Talk、中国移动飞信等,
有报告指出,2015年数字游戏市场的实际销售收入达到1407.0亿元人民币,同比增长22.9%。其中,移动游戏市场的实际销售收入达到514.6亿元人民币,同比增长87.2%。移动游戏市场的份额集
近年来,网络技术已经应用到名个技术领域和整个社会的各个方面.许多高校都已经或正在组建自己的校园网.该设计以克拉玛依文理学院为代表,就校园网的总体规划谈了自己的打破常
我国空间科学研究事业的蓬勃发展,为开展空间材料科学研究提供了更大的平台。从我国空间材料科学研究发展历程可以看出,制约我国空间材料科学研究的关键因素之一是缺乏先进的空
随着社会经济和技术的不断发展,传统的视频监控作为一种保障安全的辅助手段,已经无法满足人们对于安全性的需求。特别是对于银行、大型超市、机场、地铁及重要政府部门等场所
在当前岩石力学与工程学科的科研与实践中,信息技术得到了广泛深入应用,为国家大型工程建设的实施奠定了基础。然而随着岩石工程领域信息化建设的深入,由于数据标准的缺乏和信息