状态自动机

作品数：233被引量：688H指数：12
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：黄凯明早克热·卡德尔彭坤杨董群峰陈俊亮更多>>
相关机构：西安电子科技大学北京邮电大学清华大学中国科学院更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划陕西省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于形式化方法的航空电子系统检测被引量：11
《软件学报》2015年第2期181-201,共21页李睿 连航 马世龙 黎涛 
国家自然科学基金(61003016;61300007;61305054);科技部基本科研业务费重点科技创新类项目(YWF-14-JSJXY-007);软件开发环境国家重点实验室自主探索基金(SKLSDE-2012ZX-28;SKLSDE-2014ZX-06)
随着航空型号的快速发展,航空电子系统的数字化程度越来越高,软件在其中所占的比例越来越大.对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础.通过分析航空电子系统软件体系结构,对航空电子系统进行形式...
关键词：模型检测 系统形式化 航空电子系统 软件配置项 有限状态自动机 
存储有效的多模式匹配算法和体系结构被引量：10
《软件学报》2013年第7期1650-1665,共16页嵩天 李冬妮 汪东升 薛一波 
国家自然科学基金(60803002;61272510;60833004;60970002);国家高技术研究发展计划(863)(2012AA010905);北京市重点学科建设项目;北京市自然科学基金(4122069)
多模式匹配是基于内容检测的网络安全系统的重要功能，同时，它在很多领域具有广泛的应用．实际应用中，高速且性能稳定的大规模模式匹配方法需求迫切，尤其是能够在线实时处理网络包的匹配体系结构．介绍了一种存储有效的高速大规模模...
关键词：模式匹配 网络安全 网络入侵检测 有限状态自动机 大规模 
基于对象的软件行为模型被引量：20
《软件学报》2011年第11期2716-2728,共13页傅建明 陶芬 王丹 张焕国 
国家自然科学基金(90718005);国家高技术研究发展计划(863)(2007AA01Z411)
以传统有限自动机(finite state automata,简称FSA)为基础,从系统调用参数中解析出系统对象,提出了一种基于系统对象的软件行为模型(model of software behavior based on system objects,简称SBO).该模型的行为状态由软件所关联的所有...
关键词：入侵检测 软件行为 有限状态自动机 系统对象 系统调用 
深度包检测中一种高效的正则表达式压缩算法被引量：29
《软件学报》2009年第8期2214-2226,共13页徐乾 鄂跃鹏 葛敬国 钱华林 
国家高技术研究发展计划(863)No.2007AA01Z214;CNIC青年基金No.0714071101~~
提出一种基于确定的有穷状态自动机(deterministic finite automaton,简称DFA)的正则表达式压缩算法.首先,定义了膨胀率DR(distending rate)来描述正则表达式的膨胀特性.然后基于DR提出一种分片的算法RECCADR(regular expressions cut a...
关键词：正则表达式 确定的有穷状态自动机(deterministic finite automaton 简称DFA) 深度包检测(deep packet inspection 简称DPI) 多模式匹配算法 入侵检测 
多模式匹配算法及硬件实现被引量：42
《软件学报》2006年第12期2403-2415,共13页李伟男 鄂跃鹏 葛敬国 钱华林 
国家自然科学基金No.90412011;中国科学院院长基金No.KGCX2-YW-106~~
介绍了多模式匹配的算法和硬件实现方法.首先介绍了两种常用的多模式匹配算法——Aho-Corasick基于自动机的算法和Wu-Manber基于hash的后缀匹配加移位跳跃的算法以及相关的改进算法.并通过实验对各种多模式匹配算法的时空复杂度进行了...
关键词：多模式匹配 AHO-CORASICK算法 有限状态自动机 WU-MANBER算法 FPGA(现场可编程门阵列) TCAM(三态内容寻址存储器) bloom filter 
一种时间复杂度最优的精确串匹配算法被引量：25
《软件学报》2005年第5期676-683,共8页贺龙涛 方滨兴 余翔湛 
国家高技术研究发展计划863;国家"九五"国防预研基金~~
现有的串匹配算法通常以模式长度作为滑动窗口大小.在窗口移动后,往往会丢弃掉一些已扫描正文的信息.提出了LDM(linear DAWG matching)串匹配算法,该算法将正文分为[n/m]个相互重叠、大小为2m?1的扫描窗口.在每个扫描窗口内,算法批量地...
关键词：后缀自动机 有限状态自动机 LDM算法 串匹配 复杂度分析 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部