基于系统理论过程分析的软件安全性需求分析  CNKI文献

针对传统系统理论过程分析(STPA)方法缺乏自动化实现手段、自然语言结果分析存在歧义性的问题,提出一种基于STPA的软件安全性需求分析与验证方法。首先,提取软件安全性需求,并利用算法...

秦楠 马亮... 《计算机应用》 2020年11期 期刊

基于系统理论过程分析的安全关键软件安全性验...  CNKI文献

现代安全关键系统的功能实现越来越依赖于软件,这导致软件的安全性对系统安全至关重要,而软件的复杂性使得采用传统安全性分析方法很难捕获组件交互过程带来的危险。为保证安全关键系统的安全...

王鹏 吴康... 《计算机应用》 2019年11期 期刊

军用指挥控制软件可信性分析与验证技术  CNKI文献

随着武器装备信息化程度越来越高,军用指挥控制软件的可信性直接关系到装备整体效能的发挥。在对传统软件质量保证技术研究的基础上,结合军用指挥控制软件的特点,提出了基于形式化方法的软件分析

许婧祺 董龙明... 《火力与指挥控制》 2015年08期 期刊

硬实时软件建模与分析的进程代数方法  CNKI文献

针对硬实时软件缺乏有效的系统动态行为建模机制,提出了一种用于硬实时软件建模与分析的进程代数方法。首先在时间通信顺序进程的基础上扩展硬实时语义得到硬实时通信顺序进程;然后提出时间调度算法...

祝义 黄志球... 《计算机科学与探索》 2014年06期 期刊

软件行为动态分析关键技术研究  CNKI文献

随着信息技术深入发展,计算机软件在国民经济和国防建设各个领域被广泛应用,在现代信息社会中发挥着至关重要的作用。尽管当前社会越来越依赖软件信息系统,但是软件质量现状并不能令人满意。软件

万小敏 导师:毛晓光 国防科学技术大学 2013-09-01 博士论文

基于模型检验的软件可信分析模型  CNKI文献

随着软件在关键领域的应用日趋普遍,由于软件复杂性导致的各种问题层出不穷,为保证软件的可信性,探索软件可信的自动化分析与验证方法,文中基于模型检验方法提出了一种软件

韩葆 蔡勉 《计算机技术与发展》 2012年10期 期刊

软件分析技术进展  CNKI文献

软件分析技术的研究已有较长历史,相关成果也在软件生命周期的不同阶段中得到了广泛应用.软件生命周期中不同活动所需要的软件分析技术既不完全相同,又有许多交叠,且不同的分析技术之间...

梅宏 王千祥... 《计算机学报》 2009年09期 期刊

基于模型检验技术的源程序分析研究  CNKI文献

提出并实现了一种基于模型检验的源程序分析方法.该方法的主要步骤是将C/C++源代码转换为与控制流图等价的Kripke结构,用CTL公式描述源程序待验证的性质,通过使用NuSMV模型检验工具实施对源程序#~

叶俊民 张振方... 《微电子学与计算机》 2009年08期 期刊

基于模型检验的软件分析方法研究  CNKI文献

电脑的使用越来越普及,人们对电脑的依赖也越来越严重。电脑硬件由于发展时间较长,硬件的协议比较简单,其检测手段丰富、成熟,安全性要比电脑软件的安全性高一个等级,甚至更多。同时,生活信息化加深了人们对#~

张振方 导师:叶俊民 华中师范大学 2009-05-01 硕士论文

基于模型检验的软件安全静态分析研究  CNKI文献

软件安全静态分析是检测软件安全漏洞的一种手段。本文在总结现有的软件安全静态分析方法的基础上,将在硬件设计领域得到成功应用的模型检验方法引入到软件产品的检验

黄锦 陈晓苏... 《微计算机信息》 2007年30期 期刊