堆溢出自動(dòng)生成的研究與實(shí)現(xiàn).pdf

1、堆溢出是指超長(zhǎng)的數(shù)據(jù)復(fù)制到動(dòng)態(tài)分配的內(nèi)存塊，導(dǎo)致超越邊界并覆蓋內(nèi)存塊的管理結(jié)構(gòu)或內(nèi)容。它是緩沖區(qū)溢出的一種形式，攻擊者可以利用覆蓋的地方使程序流程發(fā)生跳轉(zhuǎn)并執(zhí)行攻擊者指定的指令來(lái)達(dá)到攻擊的目的。堆溢出攻擊是一種重要而有效的計(jì)算機(jī)網(wǎng)絡(luò)攻擊。研究堆溢出自動(dòng)生成技術(shù)，可以為計(jì)算機(jī)網(wǎng)絡(luò)對(duì)抗(CNO)提供關(guān)鍵的攻擊手段。 本文分析并研究堆溢出技術(shù)和堆溢出代碼自動(dòng)生成描述語(yǔ)言，主要內(nèi)容包括： 首先，指出目前堆溢出技術(shù)存在的問(wèn)題。即關(guān)

2、于生成堆溢出代碼并予以利用方面的研究，主要是集中于研究不同的系統(tǒng)和不同溢出類(lèi)型下的攻擊技術(shù)和方法等幾個(gè)方面，尚沒(méi)能給出通用的自動(dòng)化生成方法。可利用的堆溢出代碼都需根據(jù)具體不同的方法手工編寫(xiě)。在堆溢出描述方面的研究還缺少公認(rèn)的形式語(yǔ)言。 其次，針對(duì)上述存在的問(wèn)題，本文通過(guò)分析堆溢出的控制信息以及相關(guān)的利用或攻擊類(lèi)型，抽象出堆溢出代碼的一種構(gòu)造規(guī)律，據(jù)此建立自動(dòng)生成堆溢出代碼的自動(dòng)機(jī)模型，并予以形式證明其生成邏輯的可達(dá)性。