已閱讀1頁，還剩61頁未讀， 繼續(xù)免費閱讀
版權(quán)說明：本文檔由用戶提供并上傳，收益歸屬內(nèi)容提供方，若內(nèi)容存在侵權(quán)，請進(jìn)行舉報或認(rèn)領(lǐng)
文檔簡介
1、層次移動IPv6（Hierachical MobileIPv6，HMIPv6）是在MIPv6（移動IPv6）的基礎(chǔ)上針對MN（移動結(jié)點）在小范圍內(nèi)快速移動所作出的一種改進(jìn)技術(shù)。HMIPv6針對MIPv6將全局性的大范圍移動與一個區(qū)域內(nèi)的小范圍的移動都用一種方式處理，對移動結(jié)點MN在小范圍內(nèi)快速移動切換時更新報文頻繁問題提出了解決方法。HMIPv6對網(wǎng)絡(luò)進(jìn)行了層次化的劃分，HMIPv6在每個區(qū)域內(nèi)引入了一個新的實體--移動錨點（MAP），
2、使得移動結(jié)點的移動分為“宏移動”和“微移動”兩種情況，改進(jìn)了最基本的MIPv6切換方案，減少了移動過程中的丟包率和傳輸延時，提高了通信質(zhì)量。
對HMIPv6進(jìn)行形式化驗證不僅可以給出協(xié)議的一種形式化的規(guī)范描述，并且可以為后續(xù)協(xié)議改進(jìn)提供了基礎(chǔ)模型，便于協(xié)議改進(jìn)的分析，并為軟件的實現(xiàn)提供了可信性保障。本文采用“基于事件”的分析方法對HMIPv6協(xié)議進(jìn)行屬性提取，并采用了層次化方法和“通用模塊”思想，構(gòu)建了著色Petri網(wǎng)（C
溫馨提示
- 1. 本站所有資源如無特殊說明，都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等，如果需要附件，請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙，網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽，若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間，僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理，對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯，并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容，請與我們聯(lián)系，我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- HMIPv6協(xié)議形式化建模及測試?yán)煞椒ㄑ芯?pdf
- IPv6鄰居發(fā)現(xiàn)協(xié)議的形式化驗證.pdf
- 安全協(xié)議形式化驗證方法的研究.pdf
- 基于時間著色Petri網(wǎng)的SIP協(xié)議形式化驗證與分析.pdf
- 基于屬性的層次移動IPv6(HMIPv6)協(xié)議的驗證.pdf
- 帶參協(xié)議形式化驗證的研究.pdf
- 基于Petri網(wǎng)的UML狀態(tài)圖的形式化驗證.pdf
- 安全協(xié)議的形式化驗證技術(shù)研究.pdf
- 基于π演算的WSN路由協(xié)議形式化驗證的方法研究.pdf
- HMIPv6切換協(xié)議的研究與改進(jìn).pdf
- 基于模型檢測的SET協(xié)議形式化驗證與改進(jìn).pdf
- 可信信道協(xié)議的設(shè)計與形式化驗證.pdf
- 基于反射Petri網(wǎng)的ASBS系統(tǒng)形式化驗證相關(guān)技術(shù)研究.pdf
- 混合系統(tǒng)的形式化驗證.pdf
- 基于串空間模型的安全協(xié)議形式化驗證方法的研究.pdf
- 基于NuSMV的AUML模型形式化驗證.pdf
- 802.11i中安全協(xié)議的形式化驗證
- 基于Petri網(wǎng)的無線Mesh網(wǎng)蟲洞攻擊檢測及形式化驗證.pdf
- 非否認(rèn)協(xié)議的UC可靠的形式化驗證.pdf
- 基于模型檢測的電子商務(wù)協(xié)議形式化驗證方法研究.pdf
評論
0/150
提交評論