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

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

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