發(fā)布時(shí)間：2022-01-01 21:29

　　本文首先介紹了一些網(wǎng)絡(luò)安全方面的知識(shí),說(shuō)明了防火墻的重要性,討論了防火墻規(guī)則優(yōu)化的一些研究成果。防火墻規(guī)則優(yōu)化問(wèn)題是當(dāng)前研究的熱點(diǎn),也有許多優(yōu)秀的研究成果,本文只針對(duì)防火墻規(guī)則集的大小進(jìn)行關(guān)注。本文跟蹤Rick McGeer等的最新研究成果,使用兩級(jí)邏輯綜合問(wèn)題解決防火墻規(guī)則最小化問(wèn)題,這個(gè)方法至今在國(guó)內(nèi)還沒(méi)有看到。將對(duì)規(guī)則集的TCAM的實(shí)施優(yōu)化策略形式化為一個(gè)數(shù)字邏輯的問(wèn)題。首先,將規(guī)則擴(kuò)展為多維體。然后,對(duì)規(guī)則的目標(biāo),找到明確的邏輯函數(shù)并與目標(biāo)相關(guān)聯(lián),作為一個(gè)多維體的集合。最后,使用兩級(jí)邏輯最小化問(wèn)題,即最小的序列覆蓋算法,來(lái)找到一個(gè)的最小集合。本文對(duì)經(jīng)典的ESPRESSO算法進(jìn)行了詳細(xì)的分析,對(duì)其處理過(guò)程有了一個(gè)比較深入的理解。本文使用加州大學(xué)伯克利分校開(kāi)發(fā)的ABC軟件,使用其實(shí)現(xiàn)的ESPRESSO算法來(lái)實(shí)現(xiàn)本文的研究問(wèn)題。通過(guò)實(shí)驗(yàn),驗(yàn)證了兩級(jí)邏輯綜合問(wèn)題解決防火墻規(guī)則最小化的可行性,并分析了其他一些相似算法,進(jìn)行對(duì)比。為以后的研究、改進(jìn)打下基礎(chǔ)。 

【文章來(lái)源】：南京理工大學(xué)江蘇省 211工程院校

【文章頁(yè)數(shù)】：85 頁(yè)

【學(xué)位級(jí)別】：碩士

【部分圖文】：

TCAM與SRAM算法速度比較

一個(gè)多維體。每個(gè)變量對(duì)應(yīng)一個(gè)坐標(biāo)軸，在這個(gè)坐標(biāo)軸上該變量可以取兩個(gè)值:0或1。本文用一個(gè)簡(jiǎn)單實(shí)例來(lái)展示如何將真值表映射到多維體。如表2.1所示是一個(gè)全加器進(jìn)位輸出的真值表，把它表示成多維體如圖2.2所示。這里用黑點(diǎn)代表開(kāi)狀態(tài)項(xiàng)集合中的元素，用白點(diǎn)代表關(guān)狀態(tài)項(xiàng)集合中的元素。表2.1全加器進(jìn)位輸出真值表 AAAAABBBCCCFFF 00000000000000 00000000111000 00000lll000OOO 00000lll111lll lllll000000000 lllll000llllll llllllll000lll llllllllllllll刃

3軟件的分析傾卜論文入文件，這里使用后綴為.PIa的輸入輸出文件。如圖3.1所示，這是一個(gè)后綴為.Pla的輸入文件，它實(shí)際上就是非簡(jiǎn)化表達(dá)式的所有最小項(xiàng)的列表。圓琴翼花輸入變量的個(gè)數(shù)，比如，“，b，“。13喻出變量的個(gè)數(shù)，比如，“，f。02”輸入變量名，以空格隔開(kāi)。 ilbabc”輸出函數(shù)名，以空格隔開(kāi)。 obSf”真值表中非零項(xiàng)的數(shù)目.ps蟆值表的行“一

【參考文獻(xiàn)】：
期刊論文
[1]淺析計(jì)算機(jī)網(wǎng)絡(luò)安全威脅及防范措施[J]. 鄭彬,王東,王元.  科技信息. 2010(24)
[2]防火墻規(guī)則優(yōu)化[J]. 查婷民,陸松年.  計(jì)算機(jī)應(yīng)用與軟件. 2008(12)

博士論文
[1]防火墻規(guī)則集關(guān)鍵技術(shù)研究[D]. 李林.電子科技大學(xué) 2009

碩士論文
[1]VHDL高級(jí)綜合系統(tǒng)中組合邏輯綜合的研究與實(shí)現(xiàn)[D]. 王文海.安徽大學(xué) 2004



本文編號(hào)：3562877