状态空间爆炸

作品数：32被引量：97H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：刘志锋周从华王昌达李宣东范素娟更多>>
相关机构：南京大学江苏大学清华大学电子科技大学更多>>
相关期刊：《计算机仿真》《计算机工程与设计》《清华大学学报（自然科学版）》《计算机工程与应用》更多>>
相关基金：国家自然科学基金江苏省自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于局部攻击图的最小关键漏洞集分析方法
《计算机工程与设计》2024年第6期1607-1614,共8页沈霄梦 徐丙凤 何高峰 
国家自然科学基金青年科学基金项目(61802192、61702282);南京航空航天大学科研基地创新(理工类)基金项目(NJ2020022)。
为缓解攻击图应用在工业互联网安全防护中的状态空间爆炸问题,提出一种基于局部攻击图的最小关键漏洞集分析方法。提出一种以重要资产节点为目标的局部攻击图生成算法,通过裁剪不可达目标节点的攻击路径缓解状态空间爆炸问题;基于局部...
关键词：工业互联网 攻击图 关键漏洞集 状态空间爆炸 网络安全 局部攻击图生成 安全防御 
基于故障树和马尔可夫的安全级DCS可靠性分析方法
《科技视界》2024年第17期71-75,共5页杜枢 严明宇 何迅 黄山 马党伟 
针对传统马尔可夫模型存在的状态空间爆炸问题,结合模型在核安全级DCS系统的应用情况,提出了一种遏制状态空间爆炸发生的方法。该方法根据系统可靠性要求选取合适的模块状态,借助故障树模型简化了系统架构,从而最大限度地减少了系统状...
关键词：马尔可夫 DCS 故障树 状态空间爆炸 
适用于形式化验证的断言优化方法
《中国电子科学研究院学报》2023年第2期166-175,188,共11页李东方 刘诗宇 王纪 王志昊 闫皓 
国防基础科研计划资助项目(XX2020204B028)
在实际工业验证场景中,形式化验证的局限性主要体现在因为状态空间爆炸导致验证结果不明确。断言编码方式始终是直接影响到形式化验证结果的主要因素,而目前已有的断言优化方法并未以断言与状态空间大小的关系分析为基础。文中针对影响...
关键词：断言优化 形式化验证 状态空间爆炸 影响锥模型 长序列模型 
采用CPAChecker的动态程序验证被引量：3
《西安电子科技大学学报》2019年第1期33-38,共6页段钊 刘锟龙 
国家自然科学基金(61732013)
针对模型检测中状态空间爆炸问题,在CPAChecker的抽象谓词检测方法的基础上,提出了一种基于动态执行的检测方法.首先,根据程序的控制流程图,对程序进行静态检测。在静态检测的过程中,根据分支语句的确定性,利用动态执行的方法来加快检...
关键词：模型检测 抽象精化 动态执行 程序验证 状态空间爆炸 
面向测试生成的ASM模型约简研究被引量：1
《计算机工程与科学》2018年第6期1084-1092,共9页杨羊 何柳柳 尚颖 李征 
国家自然科学基金(61170082;61472025;61672085);教育部新世纪优秀人才计划项目(NCET-12-0757)
基于模型的Web应用程序测试是软件测试的一个重要方法。ASM模型从源码解析的角度,基于Web应用程序表示层建立模型,描述了Web应用程序的交互性、动态性和低耦合性。基于ASM模型的测试用例生成,考虑用户的非预期行为,在主要路径的基础上,...
关键词：ASM模型 状态空间爆炸 模型约简 测试用例空间约减 
基于展开的状态空间搜索方法
《电子技术与软件工程》2018年第10期47-48,共2页王博 代飞 黄苾 
云南省自然科学基金资助项目(2016FB102)
对于Petri网,与基于可达图的状态空间搜索方法相比,基于展开的状态空间搜索方法不需要考虑并发事件间的所有可能交织,可避免状态空间爆炸问题。通过例子,直观比较可达图和出现网的规模,由此说明基于展开的状态空间搜索不会产生状态空间...
关键词：PETRI网 展开 出现网 可达图 状态空间爆炸 
基于时序关系的系统失效可达图生成方法
《计算机科学》2017年第12期169-174,共6页范亚琼 陈海燕 
十三五重点基础科研项目(JCKY2016206B001);江苏省六大人才高峰项目(XXRJ-004);软件新技术与产业化协同创新中心资助
针对状态事件故障树生成系统可达图过程中存在的状态空间爆炸问题,提出了一种基于时序关系的系统失效可达图生成方法。通过分析触发和被触发类型事件的时序关系,对存在时序关系的事件进行排序,根据时序关系获得系统构件间的所有不可同...
关键词：状态事件故障树 时序关系 系统失效可达图 状态空间爆炸 
软件模型检测中状态爆炸问题的解决方法被引量：2
《现代计算机（中旬刊）》2017年第1期35-38,共4页屈媛媛 杜伊 
在软件模型检测中,系统所对应的状态数会随着系统大小成指数级增长,即状态空间爆炸问题。为了研究近年来该问题的解决方法,按照系统综述的方法,归类整理近年来对近年来解决状态空间爆炸的方法,并对每类方法的应用、限制以及该领域的未...
关键词：状态空间爆炸 模型检测 文献综述 
软件漏洞静态检测模型及检测框架被引量：4
《计算机科学》2016年第5期80-86,116,共8页王涛 韩兰胜 付才 邹德清 刘铭 
基于任务的木马关联行为识别研究(61272033);移动网络行为的多态聚类及其演化研究(61272405);云计算安全基础理论与方法研究(2014CB340600)资助
软件漏洞静态分析是信息安全领域的重点研究方向,如何描述漏洞及判别漏洞是漏洞静态分析的核心问题。提出了一种用于描述和判别漏洞的漏洞静态检测模型。首先对软件漏洞的属性特征进行形式化定义,并对多种软件漏洞和其判定规则进行形式...
关键词：静态分析 漏洞检测 形式化描述 状态空间爆炸 中间表示 
基于符号EVBDD的安全多方计算
《计算机科学》2016年第4期127-133,共7页徐周波 俞强生 古天龙 宁黎华 
国家自然科学基金(61100025;61262030;61363030);广西自然科学基金(2014GXNSFAA118354);广西高等学校高水平创新团队;卓越学者计划资助
决策函数的有效表示是安全多方计算研究中的热点问题。符号描述技术是表示决策函数的一种新方法。针对基于代数决策图(ADD)的决策函数表示中出现的叶子节点规模膨胀以及导致协议面临的状态空间爆炸问题,引入边值二叉决策图(EVBDD)技术,...
关键词：安全多方计算 决策函数 边值二叉决策图 状态空间爆炸 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部