主  题

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

主  题

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

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

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

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

关键词: 系统理论过程分析 / 软件安全需求 / 形式化方法 / 模型检验

下载(165)| 被引(0)

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

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

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

关键词: 系统理论过程分析方法 / 软件安全 / 形式化 / 模型检验

下载(205)| 被引(5)

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

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

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

关键词: 军用指挥控制软件 / 分析与验证技术 / 模型检验 / 静态分析

下载(96)| 被引(3)

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

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

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

关键词: 实时软件 / 硬实时 / 进程代数 / 时间通信顺序进程

下载(91)| 被引(0)

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

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

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

关键词: 动态可信分析 / 层次行为模型 / 行为模型挖掘 / 异常行为监测

下载(581)| 被引(6)

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

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

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

关键词: 模型检验 / 软件可信分析 / 有限状态机 / 可信软件

下载(116)| 被引(2)

软件分析技术进展  CNKI文献

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

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

关键词: 软件分析 / 静态分析 / 动态分析 / 软件质量

下载(1890)| 被引(253)

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

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

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

关键词: 模型检验 / 源程序分析 / 软件故障

下载(166)| 被引(4)

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

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

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

关键词: 模型检验 / 软件分析 / 控制流程图 / NuSMV

下载(589)| 被引(10)

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

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

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

关键词: 静态分析 / 模型检验 / 漏洞挖掘 / 软件安全

下载(370)| 被引(13)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状