造價(jià)通
更新時(shí)間:2024.12.29
AdHoc網(wǎng)絡(luò)接入機(jī)制及路由協(xié)議研究 (2)

格式:pdf

大小:781KB

頁(yè)數(shù): 63頁(yè)

Ad Hoc 網(wǎng)絡(luò)接入機(jī)制與路由協(xié)議研究 重慶大學(xué)碩士學(xué)位論文 學(xué)生姓名:翟建華 指導(dǎo)教師:張玉芳 教授 專 業(yè):計(jì)算機(jī)系統(tǒng)結(jié)構(gòu) 學(xué)科門類:工學(xué) 重慶大學(xué)計(jì)算機(jī)學(xué)院 二 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

編碼感知多跳無(wú)線網(wǎng)絡(luò)安全路由協(xié)議

格式:pdf

大?。?span class="single-tag-height">389KB

頁(yè)數(shù): 10頁(yè)

分析了網(wǎng)絡(luò)編碼系統(tǒng)DCAR"編碼+路由"發(fā)現(xiàn)過程存在的安全問題,提出了適用于編碼感知安全路由協(xié)議的安全目標(biāo),設(shè)計(jì)了基于DCAR的編碼感知安全路由協(xié)議DCASR,DCASR協(xié)議利用密碼學(xué)機(jī)制保證可信路由建立和正確編碼機(jī)會(huì)發(fā)現(xiàn)。為建模多跳無(wú)線網(wǎng)絡(luò)特征和分析路由協(xié)議安全性,引入線程位置和線程位置相鄰概念擴(kuò)展安全系統(tǒng)邏輯LS2,提出了分析路由協(xié)議安全性的邏輯LS2-RP。LS2-RP用線程鄰居集及鄰居集的變化描述多跳無(wú)線網(wǎng)絡(luò)的動(dòng)態(tài)拓?fù)潢P(guān)系,用廣播規(guī)則模型化多跳無(wú)線網(wǎng)絡(luò)廣播通信特征。最后,用LS2-RP協(xié)議編程語(yǔ)言描述了DCASR協(xié)議,用LS2-RP的謂詞公式和模態(tài)公式描述DCASR協(xié)議的安全屬性,用LS2-RP邏輯證明系統(tǒng)分析了DCASR協(xié)議的安全性,證明DCASR協(xié)議能夠滿足安全目標(biāo)。

熱門知識(shí)

路由協(xié)議

精華知識(shí)

路由協(xié)議

最新知識(shí)

路由協(xié)議
點(diǎn)擊加載更多>>

相關(guān)問答

路由協(xié)議
點(diǎn)擊加載更多>>
專題概述
路由協(xié)議相關(guān)專題

分類檢索: