Active inference of protocol state machines from incomplete message domains
Regular Papers|Updated:2026-01-12
|
Active inference of protocol state machines from incomplete message domains
Enhanced Publication
基于不完备消息域的协议状态机主动推断
“In the field of protocol reverse engineering, this paper introduces an innovative method for actively inferring protocol state machines using the minimally adequate teacher (MAT) framework. Expert established the Act_Infer system, which provides solutions to solve the problem of incomplete protocol state space caused by message loss.”
Maohua GUO, Yuefei ZHU, Jinlong FEI. Active inference of protocol state machines from incomplete message domains[J]. ENGINEERING Information Technology & Electronic Engineering, 2025, 26(12): 2529-2549.
DOI:
Maohua GUO, Yuefei ZHU, Jinlong FEI. Active inference of protocol state machines from incomplete message domains[J]. ENGINEERING Information Technology & Electronic Engineering, 2025, 26(12): 2529-2549. DOI: 10.1631/FITEE.2400487.
Active inference of protocol state machines from incomplete message domainsEnhanced Publication