基于有限狀態(tài)機(jī)引導(dǎo)的網(wǎng)絡(luò)協(xié)議模糊測試方法

摘要： 模糊測試技術(shù)能夠自動化挖掘軟件當(dāng)中的漏洞,然而目前針對網(wǎng)絡(luò)協(xié)議的模糊測試工具對于協(xié)議實(shí)現(xiàn)內(nèi)部狀態(tài)空間探索有限,導(dǎo)致覆蓋率較低.有限狀態(tài)機(jī)技術(shù)能夠?qū)W(wǎng)絡(luò)協(xié)議實(shí)現(xiàn)進(jìn)行全方位建模,以深入了解網(wǎng)絡(luò)協(xié)議實(shí)現(xiàn)的系統(tǒng)行為和內(nèi)部狀態(tài)空間.將有限狀態(tài)機(jī)技術(shù)和模糊測試技術(shù)相結(jié)合,提出一種基于有限狀態(tài)機(jī)引導(dǎo)的網(wǎng)絡(luò)協(xié)議模糊測試方法.以廣泛使用的TLS協(xié)議為研究對象,利用有限狀態(tài)機(jī)學(xué)習(xí)來對于TLS協(xié)議實(shí)... （共18頁）