最近在研究协议状态机，之前并没有接触过，写这篇文章记录一下协议状态机的要点。如果有什么错误的地方，还请各位大佬指正。

定义

有限状态机（finite-state machine，缩写FSM），又叫有限状态机自动机，简称状态机。是能够表示有限个状态以及这些状态之间的转移和动作等行为的数学模型。在计算机科学中，有限状态机被广泛用于建模应用行为、硬件电路系统设计、软件工程、编译器、网络协议和计算与语言的研究。本文主要研究的是协议状态机，协议状态机可以描述一个网络协议的行为，帮助理解协议的行为逻辑。

协议状态机的要素

一个协议状态机可以用一个六元组来表示，M = （Q、s_0、δ、λ、X、Y） 

Q：有限状态集合，其中包含协议中的不同协议状态

_{s_0 ：初始状态}

δ：状态转移函数，δ(s_i,x) = s_ j,x∈X，表示从s_i出发，输入x则转移的状态s_ j

λ：输出函数，y = λ(s_i,x),x∈X，表示从状态s_i出发，输入x则得到响应y ，y∈Y

X：输入字典

Y：输出字典，包含状态机会出现的所有响应

下面我们以SMTP协议为例子，具体的了解一下SMTP协议的状态机

SMTP协议

首先我们简单了解一下SMTP协议

SMTP（Simple Mail Transfer Protocol，简单邮件传输协议）是用来传输电子邮件的一个协议，基于TCP协议，主要用于系统之间的邮件信息传递，并提供有关的来信通知。

SMTP有两种工作情况：

• 用户使用客户机向发送方邮件服务器发送邮件
• 发送方邮件服务器向接受方邮件服务器发送邮件

SMTP是文本类协议：

SMTP是请求/响应协议，命令和响应都是基于ASCII文本，并且以CR和LF符结尾，响应包括一个表示返回状态的三位数字代码。

SMTP协议基于TCP：

SMTP是基于TCP协议的，并且在25号端口监听链接请求。

SMTP命令

SMTP是基于C/S模式的，所以通信过程实质上就是客户与服务器之间的请求和应答，这就涉及到一些请求和应答命令、状态码。下面是SMTP的一些基本命令集：

因为SMTP是文本类协议，所以一般这些命令在报文中都以可打印的ASCII码方式存在，我们可以根据这一点来提取出报文中的命令，将这些命令作为语义关键字，也就是SMTP协议状态机六元组中的输入X。

SMTP响应码

SMTP协议的通信过程

SMTP协议正常的通信过程可以分为三个部分：

建立连接：

1. 客户端通过25端口与服务端建立TCP连接，服务端返回应答码220，并提供服务端的域名；
2. 客户端收到应答码，发送HELO命令，启动SMTP会话，通过HELo命令，客户端向服务端提供标识信息；
3. 服务端响应应答码250，通知客户端建立会话成功。

邮件传送：

1. 客户端发送“MAIL ＦＲＯＭ”通知服务端发信人的邮箱与域名；
2. 服务端向客户端响应“250”；
3. 客户端发送“RCPT； TO”命令向服务端告知收信人的邮箱与域名；
4. 服务端向客户端响应“250”；
5. 客户端发送“DTAT”命令进行报文传送初始化；
6. 服务端响应“354”，表示可以进行邮件输入了；
7. 客户端发送报文内容，每行以CR与LF终止，报文以只有一个“.”的行终止；
8. 服务端向客户端响应“250”。

连接释放：

1. SMTP客户端发送“QUIT”命令；
2. 服务端响应“221”；
3. 关闭TCP连接。

 SMTP协议状态机

协议状态机的构建步骤可以用下面的流程图表示：

前面提到的SMTP命令都会出现在通信过程中的报文中，所我们把SMTP协议命令作为报文的协议关键字，然后包含对应的关键字的报文标记为不同类型的报文；吧SMTP状态码作为协议状态机的状态标记，不同的状态码代表不同的状态，根据SMTP命令和状码构建状态机，最后我得出了下面这个简单的SMTP协议状态机。

References

跟着白泽读论文丨Protocol state machine fuzzing of TLS*

013 Rust 网络编程，SMTP 介绍

SMTP状态码

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

SMTP协议状态机（有限状态机）

原文：https://www.cnblogs.com/s1awwhy/p/13657777.html