分享到:

软件安全测试方法研究

软件安全测试是保证软件安全性的重要手段,系统地论述了软件安全性测  (本文共4页) 阅读全文>>

《电子世界》2017年14期
电子世界

国产软件安全测试方法探讨

进行软件的安全测试,是在将软件投入市场之前必不可少的重要前提条件之一,只有经过安全测试达到标准之后,才能够正式投入...  (本文共1页) 阅读全文>>

《电力信息化》2012年11期
电力信息化

基于SDL的软件安全测试方法研究

提出了一种基于软件安全开发生命周期(SDL)的软件安全测试方法,把现有单一的软件安全测试环节变为有计划的安全测试设计、安全编码测试...  (本文共4页) 阅读全文>>

《中国新通信》2017年11期
中国新通信

计算机软件安全检测技术探究

计算机系统的安全性是信息安全的重中之重。软件安全检测是软件研发过程中的关键环节,目的是及时找出软件的故障并对程序予以...  (本文共1页) 阅读全文>>

《科技视界》2015年22期
科技视界

软件安全测试方法探讨

软件安全检测是信息安全体系中必不可缺少的组成部分,测试方法越...  (本文共2页) 阅读全文>>

天津大学
天津大学

威胁模型驱动的软件安全评估与测试方法的研究

存在诸多漏洞的低质量软件成为计算机安全问题急速增长的主要原因之一。因此,如何在软件开发中保证其安全性已经成为广泛关注的研究问题。为了更加有效地开发安全可信的软件,应该在软件开发生命周期中尽早考虑安全问题。其中,如何通过评估与测试方法保障软件安全性成为亟待解决的关键问题。本文结合国家自然科学基金课题“基于攻击模式的可信软件的建模、度量与验证”,对威胁模型驱动的软件安全评估与测试方法的关键技术,包括威胁的表示与建模,威胁模型驱动的软件安全评估与测试,以及辅助软件安全评估与测试的攻击模式知识库,进行了深入的研究,主要研究成果包括以下几个方面:(1)研究了威胁表示和建模方法,提出一种统一威胁模型,采用AND/OR树形式化地表示针对计算机系统的威胁,建模了攻击者实现威胁的潜在攻击方法,奠定了威胁模型驱动的软件安全评估与测试方法的基础。统一威胁模型提供了一种通用的威胁表示法,缩小了功能模型和缓和方案之间的差距,建立起软件功能和安全之间的桥梁...  (本文共159页) 本文目录 | 阅读全文>>