在網(wǎng)絡(luò)安全中，很多基于協(xié)議的安全技術(shù)都以協(xié)議規(guī)范說明為基礎(chǔ)。比如為了提高防御粒度，新一代的防火墻和入侵檢測系統(tǒng)利用協(xié)議規(guī)范進(jìn)行深度包檢測和狀態(tài)行為檢測，從而能高效、精確地識別出惡意傳輸；高交互型蜜罐系統(tǒng)基于協(xié)議規(guī)范可以生成各種腳本以監(jiān)聽各種遠(yuǎn)程請求，實現(xiàn)多種服務(wù)的仿真。

　　但是很多網(wǎng)絡(luò)私有協(xié)議沒有公開自己的規(guī)范說明，比如MicroSoft的網(wǎng)絡(luò)文件共享SMB（ Server Message Block）協(xié)議、Oracle數(shù)據(jù)庫訪問的TNS協(xié)議、各種IPTV和及時通信軟件使用的協(xié)議等。另外，即使對于公開規(guī)范的協(xié)議，不同廠商在軟件的具體實現(xiàn)時并沒有嚴(yán)格按照規(guī)范說明去設(shè)計，因此越來越多的研究人員通過協(xié)議逆向的方法自動獲取協(xié)議規(guī)范說明，以支撐其他網(wǎng)絡(luò)安全技術(shù)的實施。

　　協(xié)議規(guī)范定義了協(xié)議報文的格式和協(xié)議狀態(tài)機：前者規(guī)范了協(xié)議報文由哪些字段組成，每個字段的位置、類型和取值含義等；后者規(guī)定了協(xié)議報文的時序關(guān)系，體現(xiàn)出協(xié)議的行為邏輯。目前大多研究集中于反向推斷協(xié)議的格式，較少研究協(xié)議狀態(tài)機的逆向。事實上，逆向出協(xié)議狀態(tài)機可以描述一個協(xié)議的行為，幫助理解協(xié)議的行為邏輯，進(jìn)一步應(yīng)用到入侵檢測或蜜罐系統(tǒng)中，因此本文對協(xié)議狀態(tài)機逆向方法進(jìn)行研究。