检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

一种基于状态融合的协议状态机推断方法

解放军理工大学学报（自然科学版） 2015年第4期16卷 322-329页

作者：王辰吴礼发洪征赖海光庄洪林解放军理工大学指挥信息系统学院江苏南京210007

针对现有协议状态机推断方法忽视协议系统输入输出报文之间的内在关系,导致自动化程度较低等问题,提出一种基于状态融合的协议状态机推断方法。首先采集会话样本,将会话过程的输入输出报文序列抽象为符号序列;然后采用扩展前缀树转换器(... 详细信息

针对现有协议状态机推断方法忽视协议系统输入输出报文之间的内在关系,导致自动化程度较低等问题,提出一种基于状态融合的协议状态机推断方法。首先采集会话样本,将会话过程的输入输出报文序列抽象为符号序列;然后采用扩展前缀树转换器(EPTT)构建初始状态机,通过各状态对相同输入符号序列的状态转换和输出响应评判其相似度,依据相似度的高低搜寻候选状态对并尝试对其融合,同时有针对性地构造测试用例以验证此次融合的正确性。上述流程反复执行,直到没有可融合的状态。结果表明,该方法自动化程度较高,推断出的结果与真实协议状态机高度吻合。

关键词：状态融合协议状态机推断方法

在线全文

学校读者我要写书评

暂无评论

基于状态相关字段的二进制协议状态机推断

计算机工程 2019年第7期45卷 126-133页

作者：闫小勇李青莫有权信息工程大学信息系统工程学院

在通信协议规范中,报文的格式类型与状态类型不存在一一映射关系,通过聚类较难将格式类型相同、状态类型不同的报文分离。为此,提出一种基于状态相关字段的二进制私有协议状态机推断方法。根据最长公共子序列距离进行状态相关字段识别,... 详细信息

在通信协议规范中,报文的格式类型与状态类型不存在一一映射关系,通过聚类较难将格式类型相同、状态类型不同的报文分离。为此,提出一种基于状态相关字段的二进制私有协议状态机推断方法。根据最长公共子序列距离进行状态相关字段识别,以获取协议会话的行为逻辑相似性。构建基于邻接表的初始状态机,对其进行异常会话去除与相似状态合并,从而降低协议状态机的规模。在TCP协议和SMB协议数据集上的测试结果表明,该方法能够有效推断二进制私有协议状态机,其准确率与召回率均较高。

关键词：协议状态机二进制协议最长公共子序列距离邻接表异常会话去除相似状态合并

在线全文

学校读者我要写书评

暂无评论

基于状态标注的协议状态机逆向方法

计算机应用 2013年第12期33卷 3486-3489,3498页

作者：黄笑言陈性元祝宁唐慧林信息工程大学郑州450004

协议状态机可以描述一个协议的行为,帮助理解协议的行为逻辑。面向文本类协议,首先利用统计学方法提取表示报文类型的语义关键字;然后利用邻接矩阵描述报文类型之间的时序关系,基于时序关系进行协议状态标注,构建出协议的状态转换图。... 详细信息

协议状态机可以描述一个协议的行为,帮助理解协议的行为逻辑。面向文本类协议,首先利用统计学方法提取表示报文类型的语义关键字;然后利用邻接矩阵描述报文类型之间的时序关系,基于时序关系进行协议状态标注,构建出协议的状态转换图。实验表明,该方法可以正确地描述出报文类型的时序关系,抽象出准确的状态机模型。

关键词：协议逆向协议语义协议会话协议状态机邻接矩阵

在线全文

学校读者我要写书评

暂无评论

基于协议状态机遍历的模糊测试优化方法

计算机工程与应用 2020年第4期56卷 82-91页

作者：张洪泽洪征周胜利冯文博中国人民解放军陆军工程大学指挥控制工程学院南京210000 浙江警察学院计算机与信息技术系杭州310000

针对现有的协议模糊测试技术存在报文重复交互、输入盲目等问题,提出一种基于协议状态迁移遍历的模糊测试优化方法。该方法将协议状态迁移遍历问题转化为中国邮路问题,求解遍历所有协议状态迁移的最短路径,并依据该最短路径对各个状态... 详细信息

针对现有的协议模糊测试技术存在报文重复交互、输入盲目等问题,提出一种基于协议状态迁移遍历的模糊测试优化方法。该方法将协议状态迁移遍历问题转化为中国邮路问题,求解遍历所有协议状态迁移的最短路径,并依据该最短路径对各个状态迁移进行测试。在测试过程中,通过分析协议实体在执行测试用例后的响应报文,动态调整后续的报文输入,进而避免无效交互。同时利用UIO序列判断协议实体状态是否发生异常迁移,及时检测协议逻辑漏洞。实验结果表明,该模糊测试优化方法可以显著提高测试效率与漏洞挖掘能力。

关键词：模糊测试协议状态机协议状态迁移中国邮路问题 UIO序列

在线全文

学校读者我要写书评

暂无评论

基于协议状态机的物联网协议模糊测试研究

基于协议状态机的物联网协议模糊测试研究

作者：盛嘉杰南京邮电大学

学位级别：硕士

随着物联网技术的发展,人们越来越关注物联网协议的安全性。由于市场上部分的物联网协议的规范文档并未公开,并且协议本身并没有经历过大量测试与改进,这使得物联网协议经常存在一些漏洞,给物联网网络空间带来了严重的安全隐患。为了保... 详细信息

随着物联网技术的发展,人们越来越关注物联网协议的安全性。由于市场上部分的物联网协议的规范文档并未公开,并且协议本身并没有经历过大量测试与改进,这使得物联网协议经常存在一些漏洞,给物联网网络空间带来了严重的安全隐患。为了保证物联网协议的安全性,对物联网协议漏洞进行检测与排查是必要的。协议状态机作为描述协议实体的交互行为,它能精确刻画协议的各个状态,但是现有的协议状态生成方法没有考虑到单条会话与多条会话对最终的协议状态机生成的影响。模糊测试作为一种高效的测试手段,被广泛应用在漏洞检测中,但是在协议状态机领域上的测试用例生成方法,并没有充分覆盖状态迁移路径。因此,本文针对物联网协议在协议状态机和测试用例生成存在的问题,分别提出了基于会话的物联网协议状态机推断方法和基于物联网协议状态机的测试用例生成方法。最后设计并实现了物联网协议模糊测试原型系统,具体工作如下:(1)提出了基于会话的物联网协议状态机推断方法。在协议状态机领域,针对如今研究方法忽视了多条报文字段之间的关系以及每条报文字段之间的关系,也未涉及状态之间的相关性对后续模糊测试用例生成指导作用的问题,本文方法结合单个会话与多个会话之间的关系,提取出协议关键字,再依据协议状态机模型以及十字链表的数据结构,生成协议状态机。实验结果表明,本文所提方法在会话数量急速增长的过程中,也能保持较高的精确度。(2)提出了基于物联网协议状态机的测试用例生成方法。针对现有的解决方案并没有充分覆盖状态迁移路径,也未涉及状态之间的相关性对后续模糊测试用例生成指导作用的问题,本文方法在搜索迁移状态路径上,考虑到所有的协议状态,而不是只考虑到中间状态;然后,对方法生成的搜索迁移状态路径进行优化;其次,计算出协议状态机上的状态相关性,简化了测试用例的数目;最后,利用前缀树的方式,生成了测试用例。实验结果表明,此方法能在更少的时间内,生成的测试用例异常数更多,在一定程度上优化了测试用例的生成。(3)设计并实现了物联网协议模糊测试原型系统。本文设计的原型系统基于B/S结构,系统的各个模块部分具有高内聚低耦合特性,有利于系统的后续发展。原型系统的建立能有效的验证协议状态机生成方法和测试用例生成方法的合理性和可行性。

关键词：协议状态机模糊测试测试用例物联网协议

EPA协议状态机与服务的一致性测试方法研究

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

电信快报（网络与通信） 2009年第4期 42-45页

作者：吴艳彬鲜继清郭艳荣谢昊飞重庆邮电大学自动化学院重庆市400065

介绍了EPA协议一致性测试系统的体系结构,研究了状态机与服务的一致性测试原理与测试方法。根据EPA协议的特点,提出了一种把状态机一致性测试与服务的一致性测试相结合的测试方法,这种测试方法的优点是能用最少的测试案例达到最大的测... 详细信息

介绍了EPA协议一致性测试系统的体系结构,研究了状态机与服务的一致性测试原理与测试方法。根据EPA协议的特点,提出了一种把状态机一致性测试与服务的一致性测试相结合的测试方法,这种测试方法的优点是能用最少的测试案例达到最大的测试完备性,降低测试系统的开发复杂度。最后以系统管理状态机与系统管理服务的测试为例,展示这种测试方法的测试过程以及结果。

关键词： EPA协议服务协议状态机一致性测试

在线全文

学校读者我要写书评

暂无评论

一种基于域知识的协议状态机主动推断算法

计算机科学 2015年第12期42卷 233-239页

作者：王辰吴礼发洪征郑成辉庄洪林解放军理工大学指挥信息系统学院南京210007

现有基于L*算法的协议状态机主动推断方法忽略了协议特有的域知识,将协议报文抽象为相互独立、无意义的符号,并完全随机地生成测试样本进行状态机等价判定,导致产生大量的无效询问和测试样本,在真实网络环境下推断效率较低。在L+M算法... 详细信息

现有基于L*算法的协议状态机主动推断方法忽略了协议特有的域知识,将协议报文抽象为相互独立、无意义的符号,并完全随机地生成测试样本进行状态机等价判定,导致产生大量的无效询问和测试样本,在真实网络环境下推断效率较低。在L+M算法的基础上提出了一种基于域知识的协议状态机主动推断算法L+N,其改进主要体现在:依据会话样本集提取各报文之间的强顺序约束关系来过滤无效的输出询问,构建会话样本集对应的扩展前缀树接受器(Extended Prefix Tree Accepter,EPTA)对输出询问进行预响应,提出了一种基于正例样本变异的等价询问近似判定算法以提升寻找反例的效率。实验结果表明,L+N算法能够大幅提高推断效率,并且具有与L+M算法相同的推断准确度。

关键词： L^*算法协议状态机主动推断域知识推断效率

在线全文

学校读者我要写书评

暂无评论

基于网络轨迹的协议逆向技术研究进展

软件学报 2022年第1期33卷 254-273页

作者：王占丰程光马玮骏张嘉玮孙中豪胡超东南大学计算机科学与工程学院江苏南京211189 东南大学网络空间安全学院江苏南京211189 南京莱克贝尔信息技术有限公司江苏南京210007 国家计算机网络应急技术处理协调中心北京100020 解放军陆军工程大学指挥控制工程学院江苏南京210007

协议逆向广泛应用于入侵检测系统、深度包检测、模糊测试、僵尸网络检测等领域.首先给出了协议逆向工程的形式化定义和基本原理,然后针对网络运行轨迹的协议逆向方法和工具从协议格式提取和协议状态机推断两个方面对现有的协议逆向方法... 详细信息

协议逆向广泛应用于入侵检测系统、深度包检测、模糊测试、僵尸网络检测等领域.首先给出了协议逆向工程的形式化定义和基本原理,然后针对网络运行轨迹的协议逆向方法和工具从协议格式提取和协议状态机推断两个方面对现有的协议逆向方法进行了详细分析,阐释其基本模块、主要原理和特点,最后从多个角度对现有算法进行了比较,对基于网络流量的协议逆向技术的发展趋势进行了展望和分析.

关键词：协议逆向工程多序列比对语法推断语义推断协议状态机

在线全文

学校读者我要写书评

暂无评论

基于网络流量的私有协议逆向技术综述

计算机研究与发展 2023年第1期60卷 167-190页

作者：李峻辰程光杨刚芹东南大学网络空间安全学院南京211189 计算机网络和信息集成教育部重点实验室(东南大学) 南京211189 网络空间国际治理研究基地(东南大学) 南京211189 紫金山实验室南京211102

协议逆向技术是分析私有协议的重要途径,基于少量或零先验知识推断私有协议的约束与规范.在恶意应用监管、协议模糊测试、脆弱性检测、通信行为理解等方面均具有较高的实用价值.网络流量表征协议规范,承载协议固有特征,因此基于网络流... 详细信息

协议逆向技术是分析私有协议的重要途径,基于少量或零先验知识推断私有协议的约束与规范.在恶意应用监管、协议模糊测试、脆弱性检测、通信行为理解等方面均具有较高的实用价值.网络流量表征协议规范,承载协议固有特征,因此基于网络流量的私有协议逆向技术更适用于发现、分析并监管网络上的私有协议.在梳理现有的基于网络流量的私有协议逆向技术基础上,首先提出包括预推理、协议格式推断、语义分析以及协议状态机推理4步骤的基于网络流量的私有协议逆向技术框架,并阐述各个步骤的主要任务,提出面向研究方法本质的分类结构;其次,详细阐述各个私有协议逆向技术的方法流程,从适用协议类型、方法内核、推断算法等多个角度进行对比分析,提供现有基于网络流量的私有协议逆向技术系统概述;最后,归纳总结现有技术存在的问题以及主要影响因素,并对私有协议逆向技术的未来研究方向与应用场景进行展望.

关键词：网络流量私有协议逆向技术格式推断语义分析协议状态机