【摘要】：目前,互聯(lián)網(wǎng)的核心是TCP/IP協(xié)議,該技術(shù)的設(shè)計(jì)初衷是針對(duì)端到端的主機(jī)通信。但隨著互聯(lián)網(wǎng)的高速發(fā)展,互聯(lián)網(wǎng)用戶的數(shù)量爆炸式增長(zhǎng)的同時(shí),網(wǎng)絡(luò)數(shù)據(jù)內(nèi)容也在急劇膨脹,它的自身缺陷會(huì)導(dǎo)致靈活性低、易擁塞、擴(kuò)展性低等問(wèn)題,以至于無(wú)法應(yīng)對(duì)日益增長(zhǎng)的大規(guī)模數(shù)據(jù)內(nèi)容分發(fā)。為了解決這些問(wèn)題,國(guó)際上有兩種主流的方法:一種是不斷改進(jìn)現(xiàn)有的IPv4協(xié)議使其過(guò)渡到IPv6協(xié)議;另一種是從根本上去解決問(wèn)題,即采用全新的互聯(lián)網(wǎng)體系架構(gòu)信息中心網(wǎng)絡(luò)(Information Centric Networking,ICN)。ICN中最具代表性的就是命名數(shù)據(jù)網(wǎng)絡(luò)(Name Data Networking,NDN),經(jīng)過(guò)多年研究,它在全球各地網(wǎng)絡(luò)研究者的努力下逐步發(fā)展,從眾多ICN研究項(xiàng)目中脫穎而出,被認(rèn)為是當(dāng)前最有發(fā)展前景的方案之一。在命名數(shù)據(jù)網(wǎng)絡(luò)中,用戶關(guān)注的重點(diǎn)不在于內(nèi)容的位置,而在于內(nèi)容本身,即以數(shù)據(jù)消費(fèi)為驅(qū)動(dòng)。命名數(shù)據(jù)網(wǎng)絡(luò)提供了基于數(shù)據(jù)本身的安全機(jī)制和相當(dāng)靈活的路由策略,同時(shí)提高資源重復(fù)利用率。本文采用形式化方法開(kāi)展了對(duì)命名數(shù)據(jù)網(wǎng)絡(luò)的建模與驗(yàn)證,我們主要著重于命名數(shù)據(jù)網(wǎng)絡(luò)在無(wú)線網(wǎng)絡(luò)上的應(yīng)用、內(nèi)容訪問(wèn)控制和路由協(xié)議三個(gè)方面進(jìn)行深入研究。首先,研究了命名數(shù)據(jù)網(wǎng)絡(luò)在無(wú)線網(wǎng)絡(luò)中的應(yīng)用,提出了命名數(shù)據(jù)網(wǎng)絡(luò)的安全無(wú)線網(wǎng)絡(luò)演算(SCWN),在演算中刻畫它的特殊機(jī)制。然后,分別使用邏輯化分析和模型檢測(cè)的方法對(duì)命名數(shù)據(jù)網(wǎng)絡(luò)內(nèi)容訪問(wèn)控制解決方案進(jìn)行分析和建模,檢驗(yàn)它是否能保證關(guān)鍵密鑰和數(shù)據(jù)的安全性。最后,應(yīng)用時(shí)間自動(dòng)機(jī)對(duì)NLSR路由協(xié)議進(jìn)行建模、分析和驗(yàn)證。本文的主要內(nèi)容與貢獻(xiàn)包括:·本文提出了命名數(shù)據(jù)網(wǎng)絡(luò)的安全無(wú)線網(wǎng)絡(luò)演算(SCWN)。它引入了命名數(shù)據(jù)網(wǎng)絡(luò)中特殊轉(zhuǎn)發(fā)機(jī)制和數(shù)據(jù)緩存機(jī)制,同時(shí)也加入了新的通道安全機(jī)制來(lái)支持網(wǎng)絡(luò)的安全性。SCWN演算從進(jìn)程層面和網(wǎng)絡(luò)層面對(duì)無(wú)線網(wǎng)絡(luò)進(jìn)行刻畫,并加入一些特殊參數(shù),進(jìn)一步描述了無(wú)線節(jié)點(diǎn)對(duì)Interest包和Data包的不同處理,以及普通通道和受保護(hù)通道的隔離通信。本文把SCWN演算應(yīng)用到了LFBL協(xié)議中,成功刻畫了該協(xié)議,并用圖論的方法提供了對(duì)性質(zhì)的驗(yàn)證方案�！け疚难芯苛岁P(guān)于命名數(shù)據(jù)網(wǎng)絡(luò)的內(nèi)容訪問(wèn)控制解決方案。采用了兩種方法來(lái)對(duì)該解決方案進(jìn)行分析和驗(yàn)證。第一種是邏輯化分析方法,通過(guò)對(duì)BAN邏輯進(jìn)行拓展,得到改進(jìn)的BAN邏輯,并將此應(yīng)用于命名數(shù)據(jù)網(wǎng)絡(luò)的內(nèi)容訪問(wèn)控制解決方案。本文首先用邏輯公式描述該解決方案的前提,然后把該解決方案的過(guò)程步驟也用邏輯公式刻畫,最后把該解決方案的安全目標(biāo)也轉(zhuǎn)化為邏輯公式。之后采用改進(jìn)的BAN邏輯的推理規(guī)則,來(lái)判斷是否能從該解決方案的過(guò)程步驟推導(dǎo)出其安全目標(biāo)。發(fā)現(xiàn)存在一些安全目標(biāo)無(wú)法被推導(dǎo),即存在安全漏洞。于是增加了符合實(shí)際的新假設(shè)來(lái)支持安全目標(biāo)的推導(dǎo),從而提高了內(nèi)容訪問(wèn)控制解決方案的安全性�！け疚睦^續(xù)針對(duì)命名數(shù)據(jù)網(wǎng)絡(luò)的內(nèi)容訪問(wèn)控制解決方案,采用了第二個(gè)形式化方法——模型檢測(cè)。使用通信順序進(jìn)程(CSP),對(duì)該解決方案中的讀取者、寫入者和訪問(wèn)控制管理器這些實(shí)體的行為進(jìn)行建模。為了模擬真實(shí)情況,在模型中加入入侵者、被入侵的讀取者和被入侵的寫入者。使用線性時(shí)態(tài)邏輯(LTL)對(duì)一些安全相關(guān)的性質(zhì)進(jìn)行描述,而后借助模型檢測(cè)工具PAT對(duì)其進(jìn)行驗(yàn)證。在這過(guò)程中,我們發(fā)現(xiàn)了一些無(wú)法驗(yàn)證通過(guò)的性質(zhì),進(jìn)而對(duì)模型進(jìn)行符合實(shí)際的改進(jìn),支持了性質(zhì)的驗(yàn)證。·本文使用時(shí)間自動(dòng)機(jī)對(duì)命名數(shù)據(jù)網(wǎng)絡(luò)的NLSR路由協(xié)議進(jìn)行建模。針對(duì)每個(gè)路由節(jié)點(diǎn)上維護(hù)的LSDB是否同步進(jìn)行驗(yàn)證。采用支持時(shí)間自動(dòng)機(jī)的模型驗(yàn)證工具UPPAAL對(duì)命名數(shù)據(jù)網(wǎng)絡(luò)的轉(zhuǎn)發(fā)機(jī)制和NLSR協(xié)議的同步機(jī)制進(jìn)行了實(shí)現(xiàn),并驗(yàn)證了模型相關(guān)性質(zhì)。之后測(cè)試了多個(gè)網(wǎng)絡(luò)拓?fù)鋱?chǎng)景,找出了兩個(gè)無(wú)法完成同步的特殊場(chǎng)景,給出對(duì)應(yīng)的解決方案,進(jìn)而提高了協(xié)議的魯棒性。
【圖文】：

圖 6.5 NLSR 模型基本性質(zhì)的驗(yàn)證結(jié)果A B0 0A B0 0Produce N1Interest Name Interfaces/sync-prefix/1000 0PIT of Router A and B:Interest Name InterfacesPIT of Router A and B:①②(a) 節(jié)點(diǎn)A和B相互發(fā)送SyncInterest包。(b) 節(jié)點(diǎn)A產(chǎn)生了名字 N1并更新了自己的名字集合。然后根據(jù)他們?cè)?a)中各自的PIT，，按順序完成 SyncData包的返回。A B0 0Interest Name Interfaces/sync-prefix/1111 0PIT of Router A :(c) 節(jié)點(diǎn)B產(chǎn)生名字N2和N3。節(jié)點(diǎn)A和B相互發(fā)送Sync Interest包。Produce N2and N3Interest Name Interfaces/sync-prefix/1100 0PIT of Router B:Digest=1000 Digest=1000Digest=1100 Digest=1100Digest=1100 Digest=1111圖 6.6 NLSR 模型第一個(gè)測(cè)試場(chǎng)景中路由器 A 和 B 之間的通信關(guān)系 。表 6.2 NLSR 模型測(cè)試場(chǎng)景中出現(xiàn)的名字集合和摘要的關(guān)系
【學(xué)位授予單位】：華東師范大學(xué)
【學(xué)位級(jí)別】：博士
【學(xué)位授予年份】：2018
【分類號(hào)】：TP393.0

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 周振元;;聯(lián)通基礎(chǔ)數(shù)據(jù)網(wǎng)絡(luò)優(yōu)化分析[J];數(shù)字通信世界;2017年05期

2 文輝;RADCOM和DATAKOM攜手確保數(shù)據(jù)網(wǎng)絡(luò)合法偵聽(tīng)[J];現(xiàn)代電信科技;2000年05期

3 森杰;ATM進(jìn)入企業(yè)數(shù)據(jù)網(wǎng)絡(luò)(下)[J];電子技術(shù);1998年03期

4 陳進(jìn);公共數(shù)據(jù)網(wǎng)絡(luò)[J];中國(guó)金融電腦;1996年05期

5 楊旭;;基于5G的大數(shù)據(jù)網(wǎng)絡(luò)架構(gòu)分析[J];科技資訊;2017年17期

6 ;Comm Works公司為Verizon Wireless公司提供數(shù)據(jù)網(wǎng)絡(luò)設(shè)備[J];電信技術(shù);2002年03期

7 孟碧波，朱亦兵;一種廠站實(shí)時(shí)數(shù)據(jù)網(wǎng)絡(luò)系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[J];華中電力;1994年05期

8 許睿;;關(guān)于電力綜合數(shù)據(jù)網(wǎng)絡(luò)的優(yōu)化建設(shè)[J];中國(guó)新通信;2016年24期

9 吉陽(yáng);;還得說(shuō)數(shù)據(jù)網(wǎng)絡(luò)[J];互聯(lián)網(wǎng)周刊;1999年15期

10 ;ATM和IP數(shù)據(jù)網(wǎng)絡(luò)業(yè)務(wù)的發(fā)展[J];通訊世界;1998年11期

相關(guān)會(huì)議論文 前10條

1 熊小明;周民立;;電信基礎(chǔ)數(shù)據(jù)網(wǎng)絡(luò)的現(xiàn)狀及發(fā)展分析[A];中國(guó)通信學(xué)會(huì)信息通信網(wǎng)絡(luò)技術(shù)委員會(huì)2005年年會(huì)論文集[C];2005年

2 林勇;;高職院校“數(shù)據(jù)網(wǎng)絡(luò)組建與維護(hù)”課程標(biāo)準(zhǔn)設(shè)計(jì)探索[A];《同行》2015年9月（下）[C];2015年

3 趙偉;范開(kāi)元;;一種實(shí)現(xiàn)統(tǒng)一數(shù)據(jù)網(wǎng)絡(luò)管理的方法[A];2016電力行業(yè)信息化年會(huì)論文集[C];2016年

4 劉志剛;;IP數(shù)據(jù)網(wǎng)絡(luò)的雙出口建設(shè)[A];河南省通信學(xué)會(huì)2005年學(xué)術(shù)年會(huì)論文集[C];2005年

5 馬蘊(yùn)穎;;等級(jí)化維護(hù)理念在江蘇省基礎(chǔ)數(shù)據(jù)網(wǎng)絡(luò)中的實(shí)現(xiàn)[A];江蘇省通信學(xué)會(huì)2004年學(xué)術(shù)年會(huì)論文集[C];2004年

6 楊曉朋;李雄;董棟;常穎;;TRUNK技術(shù)在IP數(shù)據(jù)網(wǎng)絡(luò)中的應(yīng)用[A];2009通信理論與技術(shù)新發(fā)展——第十四屆全國(guó)青年通信學(xué)術(shù)會(huì)議論文集[C];2009年

7 戴南;王月粉;陳竹;;地質(zhì)科學(xué)數(shù)據(jù)網(wǎng)絡(luò)的虛擬化技術(shù)應(yīng)用[A];地球物理信息監(jiān)測(cè)與計(jì)算技術(shù)應(yīng)用研討活動(dòng)論文摘要[C];2015年

8 盧靖;;廣西電力業(yè)務(wù)在通信傳輸、數(shù)據(jù)網(wǎng)絡(luò)上的實(shí)現(xiàn)方式[A];廣西電機(jī)工程學(xué)會(huì)第七屆青年學(xué)術(shù)交流會(huì)論文集[C];2002年

9 王晟;;入侵檢測(cè)系統(tǒng)在鐵路數(shù)據(jù)網(wǎng)絡(luò)的應(yīng)用分析與安全功能測(cè)評(píng)[A];全國(guó)聲學(xué)設(shè)計(jì)創(chuàng)新技術(shù)與文化建筑聲學(xué)工程學(xué)術(shù)會(huì)議論文集[C];2018年

10 高冬花;;武漢體育中心體育館弱電系統(tǒng)設(shè)計(jì)[A];建筑電氣設(shè)計(jì)與研究——湖北省/武漢市建筑電氣專業(yè)委員會(huì)二○○九年年會(huì)論文集[C];2009年

相關(guān)重要報(bào)紙文章 前10條

1 本報(bào)記者 周玉婷;韶山為民營(yíng)企業(yè)做大做強(qiáng)“鋪好路”[N];湘潭日?qǐng)?bào);2019年

2 ;融合的語(yǔ)音和數(shù)據(jù)網(wǎng)絡(luò)體系（一）[N];人民郵電;2001年

3 記者 楊怡;重慶移動(dòng)全面整治數(shù)據(jù)網(wǎng)絡(luò)[N];人民郵電;2003年

4 記者 雷洪斌;吉林移動(dòng)打造精品數(shù)據(jù)網(wǎng)絡(luò)見(jiàn)成效[N];人民郵電;2003年

5 單麗 哈錦東;話音數(shù)據(jù)網(wǎng)絡(luò)雙管齊下[N];人民郵電;2004年

6 陳雪強(qiáng);重慶移動(dòng)著力打造電信級(jí)數(shù)據(jù)網(wǎng)絡(luò)[N];人民郵電;2005年

7 楊怡;重慶移動(dòng)打造電信級(jí)數(shù)據(jù)網(wǎng)見(jiàn)成效[N];人民郵電;2005年

8 記者 彭芳;Avaya強(qiáng)化數(shù)據(jù)網(wǎng)絡(luò)[N];中國(guó)計(jì)算機(jī)報(bào);2001年

9 閆冰;有效管理數(shù)據(jù)網(wǎng)絡(luò)[N];網(wǎng)絡(luò)世界;2009年

10 本報(bào)記者 陳翔;差異化,數(shù)據(jù)網(wǎng)絡(luò)新方向[N];中國(guó)計(jì)算機(jī)報(bào);2010年

相關(guān)博士學(xué)位論文 前1條

1 費(fèi)媛;命名數(shù)據(jù)網(wǎng)絡(luò)的形式化建模與驗(yàn)證[D];華東師范大學(xué);2018年

相關(guān)碩士學(xué)位論文 前10條

1 李偉博;基于命名數(shù)據(jù)網(wǎng)絡(luò)的車聯(lián)網(wǎng)數(shù)據(jù)傳輸策略研究[D];哈爾濱工業(yè)大學(xué);2018年

2 蘇君祥;命名數(shù)據(jù)網(wǎng)絡(luò)中基于內(nèi)容和端口狀態(tài)的轉(zhuǎn)發(fā)策略研究[D];中國(guó)科學(xué)技術(shù)大學(xué);2017年

3 郭浩然;一種基于鏈路差異性的命名數(shù)據(jù)網(wǎng)絡(luò)反污染攻擊方法[D];中國(guó)科學(xué)技術(shù)大學(xué);2017年

4 隋亞昆;大數(shù)據(jù)網(wǎng)絡(luò)時(shí)代推進(jìn)群眾路線的原則及對(duì)策研究[D];河北農(nóng)業(yè)大學(xué);2015年

5 馮揚(yáng)文;論中小型企業(yè)園區(qū)數(shù)據(jù)網(wǎng)絡(luò)建設(shè)與分析[D];復(fù)旦大學(xué);2008年

6 周津揚(yáng);命名數(shù)據(jù)網(wǎng)絡(luò)中IFA的檢測(cè)與防御研究[D];北京交通大學(xué);2016年

7 易愛(ài)平;基于命名數(shù)據(jù)網(wǎng)絡(luò)的分布式推理研究[D];湖南科技大學(xué);2014年

8 楊偉宏;命名數(shù)據(jù)網(wǎng)絡(luò)擁塞控制策略的研究[D];哈爾濱工業(yè)大學(xué);2016年

9 周子健;命名數(shù)據(jù)網(wǎng)絡(luò)下的移動(dòng)性支持和數(shù)據(jù)同步應(yīng)用[D];中國(guó)科學(xué)技術(shù)大學(xué);2015年

10 李偉;車載命名數(shù)據(jù)網(wǎng)絡(luò)中的傳輸機(jī)制研究[D];重慶郵電大學(xué);2016年

本文編號(hào)：2657062