<p>Protocol reverse engineering plays a critical role for Vulnerability Discovery and Security Analysis. Protocol reverse engineering tools based on network traffic analyze captured communication data to infer protocol formats and semantics. However, these methods globally cluster messages and analyze each cluster separately, which causes the loss of valuable field information. To address this problem, we present <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\textbf{MDIplier}^*\)</EquationSource> </InlineEquation>, a protocol reverse engineering tool that leverages the hierarchical structure of protocol messages and performs customized analysis at each message layer. <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\textbf{MDIplier}^*\)</EquationSource> </InlineEquation> performs an iterative inference process. During each iteration, it identifies the message delimiter with our algorithm designed for layer separation and infers the format for each layer separately, optimizing the use of available field information. Meanwhile, we optimize the alignment algorithm and solve the question that MDIplier cannot analyze large-scale messages. Our evaluation of 11 widely used protocols shows that <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\textbf{MDIplier}^*\)</EquationSource> </InlineEquation> outperforms state-of-the-art methods. After optimization, its field inference achieves a perfection score 1.75<InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\times\)</EquationSource> </InlineEquation>, 2.3<InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\times\)</EquationSource> </InlineEquation>, 1.8<InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\times\)</EquationSource> </InlineEquation>, 7<InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\times\)</EquationSource> </InlineEquation>, and 3.5<InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\times\)</EquationSource> </InlineEquation> higher than those of Netplier, BinaryInferno, Netzob, FieldHunter, and Nemesys, respectively. Experimental analysis across protocols with diverse features demonstrates the feasibility of hierarchical format analysis and validates the effectiveness of our algorithm. Furthermore, the experiments on proprietary protocols used in three IoT devices demonstrate the effectiveness of <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\textbf{MDIplier}^*\)</EquationSource> </InlineEquation> in real-world scenarios.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Scalable hierarchical protocol format inference via feature-heuristic message delimiter

  • Bowen Hu,
  • Wenlong Zhang,
  • Yanyang Zhao,
  • Zhengxiong Luo,
  • Kai Liang,
  • Ronghua Shi,
  • Yu Jiang,
  • Heyuan Shi

摘要

Protocol reverse engineering plays a critical role for Vulnerability Discovery and Security Analysis. Protocol reverse engineering tools based on network traffic analyze captured communication data to infer protocol formats and semantics. However, these methods globally cluster messages and analyze each cluster separately, which causes the loss of valuable field information. To address this problem, we present \(\textbf{MDIplier}^*\) , a protocol reverse engineering tool that leverages the hierarchical structure of protocol messages and performs customized analysis at each message layer. \(\textbf{MDIplier}^*\) performs an iterative inference process. During each iteration, it identifies the message delimiter with our algorithm designed for layer separation and infers the format for each layer separately, optimizing the use of available field information. Meanwhile, we optimize the alignment algorithm and solve the question that MDIplier cannot analyze large-scale messages. Our evaluation of 11 widely used protocols shows that \(\textbf{MDIplier}^*\) outperforms state-of-the-art methods. After optimization, its field inference achieves a perfection score 1.75 \(\times\) , 2.3 \(\times\) , 1.8 \(\times\) , 7 \(\times\) , and 3.5 \(\times\) higher than those of Netplier, BinaryInferno, Netzob, FieldHunter, and Nemesys, respectively. Experimental analysis across protocols with diverse features demonstrates the feasibility of hierarchical format analysis and validates the effectiveness of our algorithm. Furthermore, the experiments on proprietary protocols used in three IoT devices demonstrate the effectiveness of \(\textbf{MDIplier}^*\) in real-world scenarios.