IPv6過渡階段中的安全研究.pdf

1、隨著網(wǎng)絡(luò)技術(shù)的不斷發(fā)展，Internet現(xiàn)已逐步進(jìn)入到由IPv4向IPv6過渡的階段。作為一個(gè)網(wǎng)絡(luò)層協(xié)議，從IPv4到IPv6的過渡是在IP協(xié)議層進(jìn)行了更替和升級(jí)，對(duì)網(wǎng)絡(luò)架構(gòu)和其它層的協(xié)議以及應(yīng)用上并沒有太大的變化，因此在安全體系架構(gòu)上也沒有質(zhì)的變化。引入IPv6協(xié)議并不會(huì)從根本上解決由于IP協(xié)議開放性帶來的固有安全威脅。而隨著網(wǎng)絡(luò)由IPv4向IPv6的遷移，IPv6互聯(lián)網(wǎng)除了要面對(duì)協(xié)議本身的安全問題外，還要應(yīng)對(duì)遷移過程中存在的安全問題

2、。針對(duì)安全威脅，做好IPv6的同步安全策略尤為必要。
　　首先，本文通過對(duì)IPv6核心技術(shù)、遷移機(jī)制以及IPsec安全機(jī)制三個(gè)方面的研究，其中，IPv6核心技術(shù)包括IPv6報(bào)頭結(jié)構(gòu)、地址自動(dòng)配置、鄰居發(fā)現(xiàn)和路由技術(shù)四個(gè)方面;遷移機(jī)制包括雙棧機(jī)制、隧道技術(shù)和協(xié)議轉(zhuǎn)換;IPSec方面包括認(rèn)證報(bào)頭、ESP以及Internet密鑰交換三個(gè)方面。然后以此為基礎(chǔ)分析查找在引入IPv6之后所帶來的安全隱患，并從IPv6擴(kuò)展首部弱點(diǎn)、局域網(wǎng)安全隱

3、患以及遷移機(jī)制的安全隱患三個(gè)方面，剖析各個(gè)隱患的產(chǎn)生原因以及解決安全問題的可行性。在擴(kuò)展首部方面，具體包括逐跳選項(xiàng)首部、目的選項(xiàng)首部、分段首部等;在局域網(wǎng)安全方面，具體包括了無狀態(tài)地址自動(dòng)配置、重復(fù)地址檢測和鄰居發(fā)現(xiàn)三個(gè)問題。
　　其次，在前面的研究基礎(chǔ)上，針對(duì)三個(gè)方面存在安全問題，提出相應(yīng)的安全策略。比如針對(duì)擴(kuò)展首部問題提出在路由器上實(shí)施過濾擴(kuò)展首部的策略;針對(duì)局域網(wǎng)中鄰居發(fā)現(xiàn)、重復(fù)地址查詢所帶來的欺騙攻擊和私有擴(kuò)展地址等威脅，

4、提出制定服務(wù)質(zhì)量策略、有選擇地禁用私有擴(kuò)展地址功能等策略;針對(duì)雙協(xié)議棧網(wǎng)絡(luò)中的主機(jī)安全隱患問題，提出偵聽服務(wù)端口、檢查鄰居緩存、檢測隧道狀態(tài)等安全策略。
　　最后，通過對(duì)提出的安全策略的實(shí)施，來達(dá)到提高網(wǎng)絡(luò)安全的目的。同時(shí)，針對(duì)IPSec中ESP抽象過程以及IKEv2密鑰交換過程進(jìn)行改進(jìn)，并運(yùn)用形式化分析方法，通過模型檢測技術(shù)來檢驗(yàn)其安全性。其中對(duì)IPSec的安全驗(yàn)證包括數(shù)據(jù)報(bào)的保密性驗(yàn)證和完整性驗(yàn)證。主要通過模型檢測工具SPIN