發(fā)布時(shí)間：2017-04-19 20:31

  本文關(guān)鍵詞：基于Pi演算的IPSec協(xié)議并行化研究，，由筆耕文化傳播整理發(fā)布。

【摘要】：隨著信息安全問題日益突出,網(wǎng)絡(luò)協(xié)議的高效性和安全性成為科學(xué)研究的熱點(diǎn)。因此在現(xiàn)有安全標(biāo)準(zhǔn)的框架下,科研人員將更多精力投入于網(wǎng)絡(luò)安全協(xié)議的研究,提高其在實(shí)際應(yīng)用中的性能。IPSec協(xié)議的提出旨在對(duì)開放式系統(tǒng)互聯(lián)模型中網(wǎng)絡(luò)層部分提供整套的安全服務(wù),但其制定者互聯(lián)網(wǎng)工程任務(wù)組在協(xié)議標(biāo)準(zhǔn)的兩代更迭中并未給出部署方式。由于IPSec協(xié)議簇包含眾多協(xié)議和標(biāo)準(zhǔn),當(dāng)前有許多實(shí)現(xiàn)方式,因此研究方向趨向于在實(shí)際應(yīng)用中,在不改變效果的前提下達(dá)到更高效率。Pi演算因其自身具備表示進(jìn)程間消息傳遞的能力,可對(duì)程序或系統(tǒng)的現(xiàn)有理論進(jìn)行精細(xì)化建模,并能在描述的過程中通過進(jìn)程間的并行,達(dá)到應(yīng)用效率上的提升,實(shí)現(xiàn)基于Pi演算的IPSec協(xié)議并行化。本文將IPSec協(xié)議標(biāo)準(zhǔn)中的框架、協(xié)商協(xié)議和加密算法與Pi演算相結(jié)合,主要工作如下:1)定義了一種基于Pi演算的IPSec協(xié)議框架并行模型,使用與Pi演算對(duì)應(yīng)性較好的Pict語言實(shí)現(xiàn)了該模型,并與使用C語言實(shí)現(xiàn)的傳統(tǒng)IPSec協(xié)議框架在運(yùn)行時(shí)間上和內(nèi)存使用量上做了對(duì)比,并對(duì)實(shí)驗(yàn)結(jié)果進(jìn)行分析;2)針對(duì)1)中未詳細(xì)展開討論的IKEv2協(xié)議進(jìn)行了安全性和效率上的分析和改進(jìn),定義了一種基于Pi演算的IKEv2協(xié)議并行模型,并給出基于弱互模擬的形式化證明,使用Pict語言實(shí)現(xiàn)了該并行模型,使用C語言實(shí)現(xiàn)了其對(duì)比實(shí)驗(yàn)?zāi)Ｐ?對(duì)處理多次協(xié)商請(qǐng)求時(shí)的實(shí)驗(yàn)結(jié)果進(jìn)行分析;3)針對(duì)2)中所應(yīng)用到的DES加密算法,在不改變加密效果的前提下,定義了一種基于Pi演算的DES加密算法并行模型,使用Pict語言實(shí)現(xiàn)該模型,并與使用C語言實(shí)現(xiàn)的傳統(tǒng)DES加密算法在運(yùn)行時(shí)間上作對(duì)比,對(duì)實(shí)驗(yàn)結(jié)果進(jìn)行了分析。結(jié)合本文工作,得出的結(jié)論是:三個(gè)并行模型相較于原串行模型在不改變功能和效果的前提下,執(zhí)行性能均有所提升。這為今后IPSec協(xié)議在實(shí)際應(yīng)用中更高效地實(shí)現(xiàn)提供依據(jù)。
【關(guān)鍵詞】：Pi演算 IPSec協(xié)議 IKEv2協(xié)議 DES算法
【學(xué)位授予單位】：吉林大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2016
【分類號(hào)】：TP393.07
【目錄】：

• 摘要4-6
• Abstract6-11
• 第1章 引言11-17
• 1.1 研究背景11-14
• 1.1.1 國內(nèi)外網(wǎng)絡(luò)安全協(xié)議和標(biāo)準(zhǔn)現(xiàn)狀11-13
• 1.1.2 國內(nèi)外主流并行編程語言和方案13-14
• 1.2 研究意義及主要工作14-15
• 1.3 論文組織結(jié)構(gòu)15-16
• 本章小結(jié)16-17
• 第2章 IPSEC協(xié)議和PI演算簡介17-24
• 2.1 IPSEC協(xié)議簡介17-21
• 2.1.1 IPSec協(xié)議的體系結(jié)構(gòu)17-18
• 2.1.2 IPSec協(xié)議中幾個(gè)重要的概念18-21
• 2.2 PI演算簡介21-23
• 2.2.1 Pi演算的語法定義21-22
• 2.2.2 Pi演算的操作語義22-23
• 本章小結(jié)23-24
• 第3章 基于PI演算的IPSEC協(xié)議框架并行模型24-41
• 3.1 LINUX2.6 下IPSEC協(xié)議框架流程簡介24-26
• 3.2 基于PI演算的IPSEC協(xié)議框架并行模型26-35
• 3.3 對(duì)IPSEC協(xié)議框架并行模型進(jìn)行高級(jí)語言程序描述35-37
• 3.3.1 Pict語言程序描述35-36
• 3.3.2 C語言功能實(shí)現(xiàn)36-37
• 3.4 實(shí)驗(yàn)對(duì)比分析37-40
• 3.4.1 程序運(yùn)行時(shí)間、內(nèi)存使用量對(duì)比37-40
• 3.4.2 實(shí)驗(yàn)結(jié)論40
• 本章小結(jié)40-41
• 第4章 基于PI演算的IKEV2協(xié)議并行模型41-54
• 4.1 IKEV2協(xié)議協(xié)商過程簡介41-42
• 4.2 使用PI演算對(duì)IKEV2協(xié)議并行模型建模42-49
• 4.3 對(duì)IKEV2協(xié)議并行模型進(jìn)行高級(jí)語言程序描述49-50
• 4.3.1 Pict語言編程描述49-50
• 4.3.2 C語言功能實(shí)現(xiàn)50
• 4.4 實(shí)驗(yàn)對(duì)比分析50-53
• 4.4.1 程序運(yùn)行時(shí)間對(duì)比50-52
• 4.4.2 實(shí)驗(yàn)結(jié)論52-53
• 本章小結(jié)53-54
• 第5章 基于PI演算的DES加密算法并行化54-82
• 5.1 DES加密算法簡介54
• 5.2 使用PI演算對(duì)DES加密算法建模54-74
• 5.3 對(duì)DES加密算法進(jìn)行高級(jí)語言程序描述74-77
• 5.3.1 Pict語言編程描述74-76
• 5.3.2 C語言功能實(shí)現(xiàn)76-77
• 5.4 實(shí)驗(yàn)對(duì)比分析77-81
• 5.4.1 程序運(yùn)行時(shí)間對(duì)比77-81
• 5.4.2 實(shí)驗(yàn)結(jié)論81
• 本章小結(jié)81-82
• 第6章 結(jié)語82-84
• 6.1 本文工作總結(jié)82-83
• 6.2 未來工作展望83-84
• 參考文獻(xiàn)84-87
• 作者簡介及在學(xué)期間所取得的科研成果87-88
• 致謝88

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 田世昌,王艷萍;具有非線性PI特性的模糊控制器[J];鄭州紡織工學(xué)院學(xué)報(bào);1997年04期

2 石玉界;范和平;;聚酰亞胺(PI)/無機(jī)納米復(fù)合材料的研究及其在覆銅板上的應(yīng)用[J];覆銅板資訊;2008年03期

3 劉建;;變?cè)鲆孀赃m應(yīng)PI(D)控制系統(tǒng)的穩(wěn)定性[J];青島科技大學(xué)學(xué)報(bào)(自然科學(xué)版);1990年02期

4 劉綿祝;135TPI軟盤磁頭制作技術(shù)[J];航天工藝;1994年01期

5 朱曉東;;利用PI數(shù)據(jù)庫對(duì)湖州地區(qū)并網(wǎng)小電廠的潮流進(jìn)行實(shí)時(shí)監(jiān)測[J];浙江電力;2007年S1期

6 吳啟祥,胥布工,彭達(dá)洲,林慶華,吳仕浩;基于微分先行PI的主動(dòng)隊(duì)列管理算法[J];計(jì)算機(jī)應(yīng)用;2004年11期

7 楊漢華;;永磁無刷直流電機(jī)PI調(diào)速器的研究[J];國外電子測量技術(shù);2010年12期

8 田家英;趙舫;;PI實(shí)時(shí)數(shù)據(jù)庫在供電企業(yè)中的應(yīng)用[J];繼電器;2006年15期

9 吳蓉;周慧忠;;PI數(shù)據(jù)庫在衢州電網(wǎng)負(fù)荷管理系統(tǒng)中的應(yīng)用[J];浙江電力;2006年06期

10 吳鳴鳴;錢海峰;;基于PI數(shù)據(jù)庫的低周減載實(shí)時(shí)監(jiān)控與優(yōu)化決策[J];浙江電力;2007年S1期

中國重要會(huì)議論文全文數(shù)據(jù)庫 前5條

1 李慧;;基于PI的廠級(jí)監(jiān)控信息系統(tǒng)[A];濟(jì)寧市技術(shù)創(chuàng)新與可持續(xù)發(fā)展論文選編[C];2005年

2 華景;徐桂英;王永驥;;一種改進(jìn)的PI型動(dòng)態(tài)矩陣控制算法及其應(yīng)用研究[A];1998年中國智能自動(dòng)化學(xué)術(shù)會(huì)議論文集（上冊(cè)）[C];1998年

3 李論;韓恩林;武德珍;;凝固浴條件對(duì)PI纖維結(jié)構(gòu)及性能影響的研究[A];2011年全國高分子學(xué)術(shù)論文報(bào)告會(huì)論文摘要集[C];2011年

4 毛艷;唐朔;;熱保護(hù)器檢測爐模糊-PI雙模控制研究[A];先進(jìn)制造技術(shù)論壇暨第二屆制造業(yè)自動(dòng)化與信息化技術(shù)交流會(huì)論文集[C];2003年

5 武安緒;張小濤;張永仙;;汶川地震前電離層磁異常的PI方法識(shí)別[A];中國地震學(xué)會(huì)空間對(duì)地觀測專業(yè)委員會(huì)2009年學(xué)術(shù)研討會(huì)論文摘要集[C];2009年

中國重要報(bào)紙全文數(shù)據(jù)庫 前2條

1 記者 方燁;預(yù)測稱9月P PI同比跌幅繼續(xù)收窄[N];經(jīng)濟(jì)參考報(bào);2013年

2 寇勇;我首創(chuàng)高效能PI隔膜技術(shù)[N];中國化工報(bào);2014年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 牟澤巍;氮離子輻照對(duì)PI和TiO_2/PI材料性能與結(jié)構(gòu)的影響[D];哈爾濱工業(yè)大學(xué);2015年

2 徐驍雯;基于柔性PI襯底的加熱型傳感器/陣列相關(guān)技術(shù)研究[D];華東師范大學(xué);2016年

3 于尹婧;TLR2在β_2GPI/抗β_2GPI復(fù)合物刺激小鼠腹腔巨噬細(xì)胞過程中的作用探討[D];江蘇大學(xué);2016年

4 惠子;基于Pi演算的IPSec協(xié)議并行化研究[D];吉林大學(xué);2016年

5 晉蓉;薩伽德的PI計(jì)算模型在科學(xué)哲學(xué)中的應(yīng)用[D];山西大學(xué);2006年

6 李文惠;Z臨床醫(yī)學(xué)研究所基于PI模式的戰(zhàn)略性績效管理體系研究[D];北京中醫(yī)藥大學(xué);2015年

7 洪流濤;PI實(shí)時(shí)數(shù)據(jù)庫在發(fā)電企業(yè)信息化中的應(yīng)用[D];河北工業(yè)大學(xué);2007年

8 劉少鋒;碳納米錐的PI指標(biāo)與PI多項(xiàng)式[D];蘭州大學(xué);2012年

9 李占峻;基于Pi演算的網(wǎng)格工作流形式化描述及有效性檢測[D];解放軍信息工程大學(xué);2009年

10 馮鵬輝;基于模糊PI的異步電機(jī)無速度傳感器矢量控制研究[D];湖南工業(yè)大學(xué);2013年

  本文關(guān)鍵詞：基于Pi演算的IPSec協(xié)議并行化研究，由筆耕文化傳播整理發(fā)布。

本文編號(hào)：317095