GE IS200VSVOH1BDC 模拟跟踪消息处理的协议实现

GE IS200VSVOH1BDC  模拟跟踪消息处理的协议实现

协议是描述消息格式和消息交换方式的规则集:协议状态机。相应地，协议逆向工程问题可以分为两个子问题:消息格式和状态机逆向工程。

传统上，消息格式是通过繁琐的手动过程进行逆向工程的，这涉及对协议实现如何处理消息的分析，但是最近的研究提出了许多自动解决方案。[22][23][24]通常，自动方法通过使用各种聚类分析或者它们模拟跟踪消息处理的协议实现。

对协议状态机的逆向工程的研究较少。一般来说，协议状态机可以通过以下过程来学习离线学习，它被动地观察通信，并试图建立接受所有观察到的消息序列的最通用的状态机，以及在线学习，它允许交互生成消息的探测序列并监听对这些探测序列的响应。一般来说，小状态机的离线学习被认为是因不能用多项式算法而使问题无法解决的,[25]但是在线学习可以在多项式时间内完成。[26]Comparetti等人已经证明了一种自动离线方法。[24]和Cho等人的在线方法。[27]

典型协议的其他组件，如加密和哈希函数，也可以自动进行逆向工程。通常，自动方法跟踪协议实现的执行，并试图检测保存未加密分组的存储器中的缓冲器