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

发布时间：2018-08-02 15:19

【摘要】：针对现有协议状态机推断方法忽视协议系统输入输出报文之间的内在关系,导致自动化程度较低等问题,提出一种基于状态融合的协议状态机推断方法。首先采集会话样本,将会话过程的输入输出报文序列抽象为符号序列;然后采用扩展前缀树转换器(EPTT)构建初始状态机,通过各状态对相同输入符号序列的状态转换和输出响应评判其相似度,依据相似度的高低搜寻候选状态对并尝试对其融合,同时有针对性地构造测试用例以验证此次融合的正确性。上述流程反复执行,直到没有可融合的状态。结果表明,该方法自动化程度较高,推断出的结果与真实协议状态机高度吻合。
[Abstract]:A protocol state machine inference method based on state fusion is proposed to solve the problem that the existing protocol state machine inference methods ignore the inherent relationship between the input and output packets of the protocol system and lead to low degree of automation. The input and output message sequence of the session process is abstracted into a symbol sequence, and then the initial state machine is constructed by using the extended prefix tree converter (EPTT). The similarity is evaluated by the state transformation and output response of each state to the same input symbol sequence, and the candidate state pair is searched according to the similarity and the fusion of the candidate state pair is attempted. At the same time, test cases are constructed to verify the correctness of the fusion. The above process is repeated until there is no state of convergence. The results show that the degree of automation of the method is high, and the inferred results are in good agreement with the real protocol state machine.
【作者单位】： 解放军理工大学指挥信息系统学院;
【基金】：江苏省自然科学基金资助项目(BK2011115,BK20131069)
【分类号】：TP393.08

【参考文献】

相关期刊论文 前5条

1 刘豫;王明华;苏璞睿;冯登国;;基于动态污点分析的恶意代码通信协议逆向分析方法[J];电子学报;2012年04期

2 李伟明;张爱芳;刘建财;李之棠;;网络协议的自动化模糊测试漏洞挖掘方法[J];计算机学报;2011年02期

3 刘攀;缪淮扣;曾红卫;刘阳;;基于FSM的测试理论、方法及评估[J];计算机学报;2011年06期

4 田园;李建斌;张振;;一种逆向分析协议状态机模型的有效方法[J];计算机工程与应用;2011年19期

5 肖明明;余顺争;;基于文法推断的协议逆向工程[J];计算机研究与发展;2013年10期

【共引文献】

相关期刊论文 前10条

1 董成基;齐杏林;吕静;赵志宁;;飞行控制软件测试用例生成技术[J];兵工自动化;2012年09期

2 张钊;唐文;温巧燕;;一种基于长度语义约束的报文格式挖掘方法[J];北京邮电大学学报;2012年06期

3 苏成悦;李文杰;庄伟林;;基于FSM的短距离家居通讯协议的分析及应用[J];广东工业大学学报;2013年02期

4 黄俊强;宋超臣;;一种多方联动的信息系统漏洞应对方案[J];信息安全与技术;2014年06期

5 李桢;徐海水;;基于不确定性的并发正确性测试方法的改进[J];广东工业大学学报;2014年03期

6 谢昊飞;苏德龙;肖尚青;郝飞飞;;基于FSM的WIA-PA协议测试序列自动生成技术研究[J];计算机光盘软件与应用;2014年24期

7 赵悦;程子傲;董宇;;网络协议自动化逆向分析技术研究[J];硅谷;2015年03期

8 孟凡治;刘渊;张春瑞;李桐;;基于状态相关字段识别的未知二进制协议状态机逆向方法[J];电讯技术;2015年04期

9 潘t，

本文编号：2159851