格式:pdf
大?。?span class="single-tag-height">781KB
頁數(shù): 63頁
Ad Hoc 網(wǎng)絡接入機制與路由協(xié)議研究 重慶大學碩士學位論文 學生姓名:翟建華 指導教師:張玉芳 教授 專 業(yè):計算機系統(tǒng)結構 學科門類:工學 重慶大學計算機學院 二 O一一年四月 Study on Access Mechanism and Routing Protocol of Ad Hoc Network A Thesis Submitted to Chongqing University in Partial Fulfillment of the Requirement for the Degree of Master of Engineering By Zhai Jianhua Supervised by Prof. Zhang Yufang Specialty:Computer Architecture College of Computer and Scienc
格式:pdf
大?。?span class="single-tag-height">389KB
頁數(shù): 10頁
分析了網(wǎng)絡編碼系統(tǒng)DCAR"編碼+路由"發(fā)現(xiàn)過程存在的安全問題,提出了適用于編碼感知安全路由協(xié)議的安全目標,設計了基于DCAR的編碼感知安全路由協(xié)議DCASR,DCASR協(xié)議利用密碼學機制保證可信路由建立和正確編碼機會發(fā)現(xiàn)。為建模多跳無線網(wǎng)絡特征和分析路由協(xié)議安全性,引入線程位置和線程位置相鄰概念擴展安全系統(tǒng)邏輯LS2,提出了分析路由協(xié)議安全性的邏輯LS2-RP。LS2-RP用線程鄰居集及鄰居集的變化描述多跳無線網(wǎng)絡的動態(tài)拓撲關系,用廣播規(guī)則模型化多跳無線網(wǎng)絡廣播通信特征。最后,用LS2-RP協(xié)議編程語言描述了DCASR協(xié)議,用LS2-RP的謂詞公式和模態(tài)公式描述DCASR協(xié)議的安全屬性,用LS2-RP邏輯證明系統(tǒng)分析了DCASR協(xié)議的安全性,證明DCASR協(xié)議能夠滿足安全目標。