导读:本文包含了状态机协议论文开题报告文献综述及选题提纲参考文献，主要关键词:协议栈,RRC,状态机
状态机协议论文文献综述
汪小军,祝颂东[1]（2018）在《一种协议栈RRC状态机的分析与实现》一文中研究指出无线资源控制(RRC)层是协议栈空口部分控制面的重要组成部分。文章首先介绍了RRC层的作用,之后提出了一种RRC状态机的实现原理,最后给出了状态机的实现并通过测试验证。(本文来源于《无线互联科技》期刊2018年23期）
闫小勇,李青,莫有权[2]（2019）在《基于状态相关字段的二进制协议状态机推断》一文中研究指出在通信协议规范中,报文的格式类型与状态类型不存在一一映射关系,通过聚类较难将格式类型相同、状态类型不同的报文分离。为此,提出一种基于状态相关字段的二进制私有协议状态机推断方法。根据最长公共子序列距离进行状态相关字段识别,以获取协议会话的行为逻辑相似性。构建基于邻接表的初始状态机,对其进行异常会话去除与相似状态合并,从而降低协议状态机的规模。在TCP协议和SMB协议数据集上的测试结果表明,该方法能够有效推断二进制私有协议状态机,其准确率与召回率均较高。(本文来源于《计算机工程》期刊2019年07期）
李敬,夏胜吾[3]（2018）在《基于有限状态机的某频段卫星移动通信协议栈RR层设计》一文中研究指出对下一代某频段卫星移动通信系统的通信协议栈进行介绍,由于需要支持庞大的用户容量以及跨波束的漫游和切换,其复杂度非常高。为了解决协议栈的开发问题,对现有的协议形式化技术进行分析,提出一种基于有限状态机的协议栈开发方法,并通过协议栈中RR子层的开发过程进行验证,实现结果表明该方法能有效地保证协议开发的正确性和完全性。(本文来源于《现代计算机(专业版)》期刊2018年29期）
王军[4]（2016）在《基于EDSM的二进制协议状态机逆向》一文中研究指出随着互联网的快速发展,网络应用中的协议技术研究也在迅速增加。计算机网络中的协议理解对维护网络安全具有重要的意义。但越来越多的网络协议属于私有协议,缺乏公开的规范文档。因此,协议逆向技术在协议分析领域具有重要的研究价值。协议逆向包括协议报文格式、语义逆向和协议状态机逆向两个方向。报文格式、语义逆向是对通过网络嗅探获取的协议报文或者通过动态污点分析获取的实体程序执行的指令流进行分析,挖掘报文的内部结构特征,并进一步推断字段之间的约束关系的过程。协议状态机逆向是在获取了报文内部结构信息的基础上,分析协议外部各个报文之间的时序约束关系,进而挖掘协议的行为特征的过程。本文中针对二进制协议格式固定,可能存在变长字段的特点,提出了基于多序列比对和基于值分布统计相结合的报文类型字段挖掘,利用多序列比对来识别变长字段,并对变长字段做剔除处理,再采用值分布统计的方法来挖掘报文类型字段。获得报文类型字段后,将网络嗅探获取的协议会话从报文序列流的形式转换成报文类型序列流的形式,以报文类型序列流作为状态机输入构建初始APTA树,并使用启发式算法对状态机状态进行标注,然后对相似的状态进行合并得到最终的DFA。推断出的状态机的性能很大程度上取决于状态合并的准确性以及合理性。由于EDSM算法具有准确度高、速度快、数据处理能力强等优点,所以本文采用了EDSM算法并进行改进来实现状态合并,并且给出了全新的评分机制。本文选取了TCP、SMB和DHCP叁种典型的二进制协议对状态机逆向系统进行实验。实验表明本系统对报文变长字段具有很好的识别能力,使用EDSM算法逆向的结果准确率和召回率相比于当前传统算法较高。同时与EXBAR算法进行了对比实验,实验结果表明:在初始样本数据较少的情况下,EDSM算法逆向的结果召回率比EXBAR算法略低,但是EDSM速度快;在初始样本数据较多的情况下,EXBAR算法运行时间极为漫长,甚至最后完全运算不出来,而EDSM算法依然能够保证在多项式时间内完成,并且数据的增加使得EDSM算法能够相对的避免早期的一些局部合并错误,使得最终的协议状态机比较精准。(本文来源于《哈尔滨工业大学》期刊2016-06-01）
王辰,吴礼发,洪征,郑成辉,庄洪林[5]（2015）在《一种基于域知识的协议状态机主动推断算法》一文中研究指出现有基于L*算法的协议状态机主动推断方法忽略了协议特有的域知识,将协议报文抽象为相互独立、无意义的符号,并完全随机地生成测试样本进行状态机等价判定,导致产生大量的无效询问和测试样本,在真实网络环境下推断效率较低。在L+M算法的基础上提出了一种基于域知识的协议状态机主动推断算法L+N,其改进主要体现在:依据会话样本集提取各报文之间的强顺序约束关系来过滤无效的输出询问,构建会话样本集对应的扩展前缀树接受器(Extended Prefix Tree Accepter,EPTA)对输出询问进行预响应,提出了一种基于正例样本变异的等价询问近似判定算法以提升寻找反例的效率。实验结果表明,L+N算法能够大幅提高推断效率,并且具有与L+M算法相同的推断准确度。(本文来源于《计算机科学》期刊2015年12期）
王辰,吴礼发,洪征,赖海光,庄洪林[6]（2015）在《一种基于状态融合的协议状态机推断方法》一文中研究指出针对现有协议状态机推断方法忽视协议系统输入输出报文之间的内在关系,导致自动化程度较低等问题,提出一种基于状态融合的协议状态机推断方法。首先采集会话样本,将会话过程的输入输出报文序列抽象为符号序列;然后采用扩展前缀树转换器(EPTT)构建初始状态机,通过各状态对相同输入符号序列的状态转换和输出响应评判其相似度,依据相似度的高低搜寻候选状态对并尝试对其融合,同时有针对性地构造测试用例以验证此次融合的正确性。上述流程反复执行,直到没有可融合的状态。结果表明,该方法自动化程度较高,推断出的结果与真实协议状态机高度吻合。(本文来源于《解放军理工大学学报(自然科学版)》期刊2015年04期）
姚姜源[7]（2015）在《基于扩展并行多组件状态机的网络协议测试研究》一文中研究指出基于形式化方法的协议一致性测试是确保协议可靠性的基本手段。当前,一些新型互联网协议中存在不同的并行组件,而传统形式化方法难以描述这些特点,本文针对基于扩展并行多组件状态机的网络协议测试进行了深入的研究。本文综述了相关的研究现状,指出单一组件模型难以描述多组件的协议,而现有的多组件模型也难以描述组件间共享数据的情况;软件定义网络是带有并行多组件的新型互联网协议的典型代表,但尚缺少采用形式化方法的黑盒测试。本文研究了扩展并行多组件状态机的建模框架,分别提出了叁种不同的扩展并行多组件状态机模型:为了描述并行组件间采用共享数据通信的情况,提出了读取外部变量的并行扩展有限状态机模型;为了描述多级流水线结构,提出了流水线扩展有限状态机模型,其同级组件间存在共享变量读写,跨级组件间存在单向消息传递;将消息传递与网络拓扑结合,提出了信息表扩展有限状态机模型。本文提出了基于定义使用路径的并行扩展有限状态机测试生成方法。首先生成内部变量的定义使用路径,然后使其可执行化并生成外部变量的定义使用路径。该方法是启发式方法,可用于变量无限取值的模型并避免状态空间爆炸。本文提出了基于可达图的并行扩展有限状态机层次化测试生成方法。该方法适用于变量取值有限的模型,其使用自底向上的可达图生成缓解状态空间爆炸,同时使用自顶向下的测试序列生成确保可执行。将前述两种测试生成方法分别应用于源地址验证协议测试,验证了方法的有效性。本文提出了流水线扩展有限状态机测试生成方法。首先将模型转换为数据图并找到数据路径;然后生成数据路径上的组件状态机的前导序列并组成测试序列。通过实验对比表明该方法能够生成系统覆盖模型的测试集,并有效控制了测试生成的时间和空间开销。将本方法应用于Open Flow交换机的一致性测试,发现了协议实现中的错误和协议中值得讨论的问题。本文提出了信息表扩展有限状态机测试生成方法。对于设计缺陷,用模型检测工具根据模型生成反例;对于实现错误,综合运用组件部分组合、拓扑对称化简和拓扑模拟执行生成扩展测试序列。该方法能够同时检测设计缺陷和实现错误,而且在与网络拓扑结合的同时,减缓状态空间爆炸的风险。(本文来源于《清华大学》期刊2015-05-01）
孟凡治,刘渊,张春瑞,李桐[8]（2015）在《基于状态相关字段识别的未知二进制协议状态机逆向方法》一文中研究指出协议状态机逆构技术是分析未知协议行为逻辑的基本方法,是网络安全、信息对抗领域的一个重要研究方向。针对截获的未知二进制协议的通信数据,提出了一种二进制协议状态机逆向方法,该方法能够根据通信数据逆构协议状态转移图。在该方法中,设计了针对通信数据帧的基于多序列比对的对应字段对齐算法以及基于字段统计量分析的协议状态相关字段提取算法,并根据提取出的协议状态相关字段构建状态转换模型。在地址解析协议(ARP)和传输控制协议(TCP)上的实验结果表明该方法能够有效逆构出协议的状态转换模型。(本文来源于《电讯技术》期刊2015年04期）
吴礼发,王辰,洪征,庄洪林[9]（2015）在《协议状态机推断技术研究进展》一文中研究指出介绍了协议逆向工程中协议状态机推断的研究进展。从状态机推断与正则语言学习的关系出发,分析了协议状态机推断的目标与需求;然后依据分析对象不同,将协议状态机推断分为基于指令序列和报文序列两大类,进一步将基于报文序列的状态机推断分为主动推断和被动推断两种;研究分析了各层面涉及到的方法与技术,并作出了评价与比较。最后对协议状态机推断研究的发展趋势进行了展望。(本文来源于《计算机应用研究》期刊2015年07期）
潘准洋,刘彩霞,刘树新[10]（2015）在《基于有限状态机的网络协议状态机制检测方法》一文中研究指出进行网络稳定性测试时,对网络协议状态机制进行检测可以有效提高测试的全面性。基于有限状态机思想提出了一种协议状态机制检测方法。建立待测协议特定消息发送实体的有限状态机模型,确定输入集合;测试并监测实体的状态转移情况,生成状态转移图;根据状态转移图判定该消息的状态机制,确定有状态协议消息的触发条件,对消息进行归纳分类实现协议状态机制的判定。搭建实验环境,验证了该方法的有效性。(本文来源于《计算机应用研究》期刊2015年04期）
状态机协议论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
在通信协议规范中,报文的格式类型与状态类型不存在一一映射关系,通过聚类较难将格式类型相同、状态类型不同的报文分离。为此,提出一种基于状态相关字段的二进制私有协议状态机推断方法。根据最长公共子序列距离进行状态相关字段识别,以获取协议会话的行为逻辑相似性。构建基于邻接表的初始状态机,对其进行异常会话去除与相似状态合并,从而降低协议状态机的规模。在TCP协议和SMB协议数据集上的测试结果表明,该方法能够有效推断二进制私有协议状态机,其准确率与召回率均较高。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
状态机协议论文参考文献
[1].汪小军,祝颂东.一种协议栈RRC状态机的分析与实现[J].无线互联科技.2018
[2].闫小勇,李青,莫有权.基于状态相关字段的二进制协议状态机推断[J].计算机工程.2019
[3].李敬,夏胜吾.基于有限状态机的某频段卫星移动通信协议栈RR层设计[J].现代计算机(专业版).2018
[4].王军.基于EDSM的二进制协议状态机逆向[D].哈尔滨工业大学.2016
[5].王辰,吴礼发,洪征,郑成辉,庄洪林.一种基于域知识的协议状态机主动推断算法[J].计算机科学.2015
[6].王辰,吴礼发,洪征,赖海光,庄洪林.一种基于状态融合的协议状态机推断方法[J].解放军理工大学学报(自然科学版).2015
[7].姚姜源.基于扩展并行多组件状态机的网络协议测试研究[D].清华大学.2015
[8].孟凡治,刘渊,张春瑞,李桐.基于状态相关字段识别的未知二进制协议状态机逆向方法[J].电讯技术.2015
[9].吴礼发,王辰,洪征,庄洪林.协议状态机推断技术研究进展[J].计算机应用研究.2015
[10].潘准洋,刘彩霞,刘树新.基于有限状态机的网络协议状态机制检测方法[J].计算机应用研究.2015