Protocol state machine reverse method based on labeling state

Abstract

Protocol state machine can describe the behavior of a protocol,which can help to understand the behavior logic of protocol. Oriented towards text protocols,a statistical method was firstly used to extract the semantic keyword of representative message type,and an adjacency matrix was used to describe the sequential relationship between the message types,based on which the protocol states were labeled and a state transition diagram was built. The experimental results show that the method can accurately describe the sequential relationship between the message types and abstract state machine model accurately.