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

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