协议状态机

作品数：25被引量：57H指数：6
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：洪征吴礼发郑成辉赖海光李华波更多>>
相关机构：解放军理工大学华为技术有限公司中国人民解放军战略支援部队信息工程大学国家电网有限公司更多>>
相关期刊：《计算机教育》《计算机与现代化》《义乌工商职业技术学院学报》《西安电子科技大学学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划江苏省自然科学基金河南省高等学校创新人才培养工程更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于深度优先搜索的模糊测试用例生成方法被引量：3
《计算机科学》2021年第12期85-93,共9页李毅豪 洪征 林培鸿 
国家重点研发计划(2017YFB0802900)。
模糊测试是挖掘网络协议漏洞的重要方法之一。现有的模糊测试方法存在覆盖路径不完全、效率低下等问题。为了解决这些问题,文中提出了基于深度优先搜索的模糊测试用例生成方法,该方法将状态机转换成有向无回路图,以获得状态迁移路径,并...
关键词：模糊测试 漏洞挖掘 有状态协议 协议状态机 深度优先搜索 
一种基于域知识的协议状态机主动推断算法被引量：4
《计算机科学》2015年第12期233-239,共7页王辰 吴礼发 洪征 郑成辉 庄洪林 
国家自然科学基金项目(611032253);江苏省自然科学基金项目(BK2011115)资助
现有基于L*算法的协议状态机主动推断方法忽略了协议特有的域知识,将协议报文抽象为相互独立、无意义的符号,并完全随机地生成测试样本进行状态机等价判定,导致产生大量的无效询问和测试样本,在真实网络环境下推断效率较低。在L+M算法...
关键词：L^＊算法 协议状态机 主动推断 域知识 推断效率 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部