智能移動(dòng)終端無線鏈路協(xié)議模糊測試系統(tǒng)的研究與實(shí)現(xiàn).pdf

1、隨著移動(dòng)通信技術(shù)的發(fā)展，智能移動(dòng)終端得到了廣泛的使用。與此同時(shí)，智能移動(dòng)終端的安全問題也逐漸凸顯出來，通過智能移動(dòng)終端中的軟件漏洞進(jìn)行攻擊已經(jīng)成為攻擊者實(shí)施攻擊的常用手段。因此，對智能移動(dòng)終端進(jìn)行軟件漏洞的挖掘就顯得尤為重要。智能移動(dòng)終端的設(shè)計(jì)架構(gòu)中，包含應(yīng)用處理器和基帶處理器兩個(gè)部分，現(xiàn)有智能移動(dòng)終端軟件漏洞挖掘的研究主要著眼于應(yīng)用處理器操作系統(tǒng)以及操作系統(tǒng)上的應(yīng)用軟件，忽略了基帶處理器片上系統(tǒng)(SOC)中無線鏈路協(xié)議棧軟件的漏洞挖掘

2、。針對上述問題，本文提出并實(shí)現(xiàn)了一個(gè)智能移動(dòng)終端無線鏈路協(xié)議模糊測試系統(tǒng)，該系統(tǒng)利用智能移動(dòng)終端與移動(dòng)通信網(wǎng)絡(luò)之間的無線鏈路接口，在無線鏈路基站側(cè)向智能移動(dòng)終端發(fā)送畸形測試消息，實(shí)現(xiàn)無線鏈路協(xié)議棧軟件的漏洞挖掘。本文具體的工作內(nèi)容如下:
　　1.提出了一種基于有限狀態(tài)機(jī)的測試序列生成方法。該方法使用有限狀態(tài)機(jī)模型描述無線鏈路協(xié)議，根據(jù)有限狀態(tài)機(jī)描述的協(xié)議狀態(tài)轉(zhuǎn)換過程生成模糊測試所需的測試序列。該方法生成的測試序列能夠覆蓋無線鏈路協(xié)

3、議的深層協(xié)議狀態(tài)，有較高的測試覆蓋率。
　　2.提出了一種畸形測試消息生成方法。該方法首先通過對無線鏈路協(xié)議消息的分析，定位協(xié)議消息的脆弱點(diǎn)，并利用漏洞庫的指導(dǎo)對脆弱消息單元進(jìn)行賦值，生成第一階段的畸形測試消息;在第一階段生成的畸形測試消息觸發(fā)協(xié)議棧軟件漏洞后，通過對漏洞樣本消息的變異生成第二階段的畸形測試消息。該方法可減少無線鏈路協(xié)議畸形測試消息的生成量，提高畸形測試消息的檢測通過率。
　　3.設(shè)計(jì)并實(shí)現(xiàn)了針對GSM無線鏈