本文關(guān)鍵詞：計(jì)算模型下的SSHV2協(xié)議認(rèn)證性自動(dòng)化分析，，由筆耕文化傳播整理發(fā)布。

【摘要】：安全內(nèi)殼(SSH)協(xié)議可以實(shí)現(xiàn)本地主機(jī)與遠(yuǎn)程節(jié)點(diǎn)的網(wǎng)絡(luò)文件傳輸、遠(yuǎn)程登錄、遠(yuǎn)程命令執(zhí)行及其他應(yīng)用程序的安全執(zhí)行,其在保障網(wǎng)絡(luò)安全方面發(fā)揮著重要作用。針對(duì)第二代安全內(nèi)殼(SSHV2)協(xié)議的安全性進(jìn)行研究,介紹SSHV2協(xié)議體系結(jié)構(gòu),解析出認(rèn)證消息的消息結(jié)構(gòu),基于計(jì)算模型應(yīng)用概率多項(xiàng)式進(jìn)程演算,即Blanchet演算,對(duì)SSHV2安全協(xié)議進(jìn)行形式化建模,并應(yīng)用安全協(xié)議自動(dòng)化分析工具CryptoVerif分析其認(rèn)證性,結(jié)果表明,在計(jì)算模型下SSHV2安全協(xié)議具有認(rèn)證性。
【作者單位】： 中南民族大學(xué)計(jì)算機(jī)科學(xué)學(xué)院;
【關(guān)鍵詞】： 第二代安全內(nèi)殼協(xié)議 安全協(xié)議 計(jì)算模型 認(rèn)證性 CryptoVerif工具 自動(dòng)化分析
【基金】：湖北省自然科學(xué)基金資助項(xiàng)目“安全協(xié)議代碼的安全性自動(dòng)化驗(yàn)證及軟件工具開(kāi)發(fā)”(2014CFB249);湖北省自然科學(xué)基金資助項(xiàng)目“有限射影幾何方法研究高緯線性碼的漢明重量”(2014CFB440) 國(guó)家民族事務(wù)委員會(huì)自然科學(xué)基金資助項(xiàng)目“面向位置服務(wù)的隱私保護(hù)理論與方法研究”(12ZNZ009)
【分類(lèi)號(hào)】：TP393.04
【正文快照】： 中文引用格式:牛樂(lè)園,楊伊彤,王德軍,等.計(jì)算模型下的SSHV2協(xié)議認(rèn)證性自動(dòng)化分析[J].計(jì)算機(jī)工程,2015,41(10):148-154.英文引用格式:Niu Leyuan,Yang Yitong,Wang Dejun,et al.Automatic Analysis on Authentication of SSHV2Protocol in Computational Model[J].Computer Eng

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前4條

1 李延松;江國(guó)華;;一種改進(jìn)SSH協(xié)議主機(jī)認(rèn)證方法[J];電子科技;2013年02期

2 唐鄭熠;李祥;;Dolev-Yao攻擊者模型的形式化描述[J];計(jì)算機(jī)工程與科學(xué);2010年08期

3 鄭清雄;;基于Spi演算的安全協(xié)議驗(yàn)證[J];計(jì)算機(jī)應(yīng)用與軟件;2011年03期

4 陳偉;楊伊彤;牛樂(lè)園;;改進(jìn)的OAuth2.0協(xié)議及其安全性分析[J];計(jì)算機(jī)系統(tǒng)應(yīng)用;2014年03期

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

1 邵飛;基于概率進(jìn)程演算的安全協(xié)議自動(dòng)化分析技術(shù)研究[D];中南民族大學(xué);2011年

2 朱玉娜;密碼協(xié)議符號(hào)分析方法的計(jì)算可靠性研究[D];解放軍信息工程大學(xué);2008年

3 曹瑋;基于SSH協(xié)議的WebShell系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];北京交通大學(xué);2012年

【共引文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前8條

1 吳名歡;程小輝;;物聯(lián)網(wǎng)中安全通信協(xié)議的形式化分析[J];桂林理工大學(xué)學(xué)報(bào);2013年02期

2 吳名歡;程小輝;;基于CSP的物聯(lián)網(wǎng)David數(shù)字圖書(shū)館協(xié)議的改進(jìn)與形式化分析[J];計(jì)算機(jī)科學(xué);2014年01期

3 吳名歡;程小輝;李雄偉;;利用CSP方法對(duì)IEEE 802.11w形式化分析[J];計(jì)算機(jī)應(yīng)用研究;2015年05期

4 楊春龍;;SSH協(xié)議在資源監(jiān)控系統(tǒng)數(shù)據(jù)傳輸中的應(yīng)用[J];軟件;2013年09期

5 牛樂(lè)園;;TLS1.2協(xié)議安全性分析[J];軟件導(dǎo)刊;2015年05期

6 楊伊彤;;基于SAML2.0的單點(diǎn)登錄模型及其安全性研究[J];軟件導(dǎo)刊;2015年10期

7 趙夢(mèng)龍;唐鄭熠;;基于連續(xù)ARQ協(xié)議的隱蔽洪水攻擊[J];計(jì)算機(jī)技術(shù)與發(fā)展;2012年10期

8 陳偉;楊伊彤;牛樂(lè)園;;改進(jìn)的OAuth2.0協(xié)議及其安全性分析[J];計(jì)算機(jī)系統(tǒng)應(yīng)用;2014年03期

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

1 李林;基于計(jì)算密碼學(xué)的無(wú)線網(wǎng)絡(luò)協(xié)議自動(dòng)化分析研究[D];中南民族大學(xué);2011年

2 邵飛;基于概率進(jìn)程演算的安全協(xié)議自動(dòng)化分析技術(shù)研究[D];中南民族大學(xué);2011年

3 趙國(guó)威;安全協(xié)議形式化自動(dòng)驗(yàn)證工具AVISPA的研究[D];吉林大學(xué);2013年

4 高福來(lái);一種計(jì)算集群作業(yè)預(yù)調(diào)度系統(tǒng)模型的設(shè)計(jì)與實(shí)現(xiàn)[D];華南理工大學(xué);2014年

5 馮志偉;網(wǎng)絡(luò)安全設(shè)備聯(lián)動(dòng)策略的研究與應(yīng)用[D];華北電力大學(xué);2014年

6 楊春龍;國(guó)產(chǎn)系統(tǒng)軟件監(jiān)控系統(tǒng)中數(shù)據(jù)采集功能的設(shè)計(jì)與實(shí)現(xiàn)[D];北京郵電大學(xué);2014年

【二級(jí)參考文獻(xiàn)】

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

1 陳連波;;WEB信息系統(tǒng)測(cè)試技術(shù)研究[J];電腦知識(shí)與技術(shù);2009年04期

2 張杰,戴英俠;SSH協(xié)議的發(fā)展與應(yīng)用研究[J];計(jì)算機(jī)工程;2002年10期

3 馬懷磊;郭華;莊雷;;基于模型檢測(cè)的不可靠環(huán)境下電子商務(wù)協(xié)議分析[J];計(jì)算機(jī)工程與科學(xué);2007年10期

4 龍士工,王巧麗,李祥;密碼協(xié)議的Promela語(yǔ)言建模及分析[J];計(jì)算機(jī)應(yīng)用;2005年07期

5 鄭清雄;;基于Spi演算的安全協(xié)議驗(yàn)證[J];計(jì)算機(jī)應(yīng)用與軟件;2011年03期

6 胡集儀;;使用JSON改進(jìn)WEB數(shù)據(jù)傳輸[J];科技信息;2008年35期

7 薛銳;雷新鋒;;安全協(xié)議:信息安全保障的靈魂——安全協(xié)議分析研究現(xiàn)狀與發(fā)展趨勢(shì)[J];中國(guó)科學(xué)院院刊;2011年03期

8 卿斯?jié)h;安全協(xié)議20年研究進(jìn)展[J];軟件學(xué)報(bào);2003年10期

9 李文兵;馬世龍;;基于Dojo的Web組件框架[J];計(jì)算機(jī)工程與設(shè)計(jì);2007年23期

10 劉怡文,李偉琴,馮登國(guó);密碼協(xié)議的一種基于組合推理的模型驗(yàn)證[J];通信學(xué)報(bào);2003年09期

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

1 陳蛟;一種基于AJAX技術(shù)的Web應(yīng)用框架的設(shè)計(jì)與實(shí)現(xiàn)[D];北京郵電大學(xué);2008年

2 薛喜平;基于Struts與Hibernate的教師資源管理系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];北京交通大學(xué);2009年

3 朱玉娜;密碼協(xié)議符號(hào)分析方法的計(jì)算可靠性研究[D];解放軍信息工程大學(xué);2008年

4 馬春波;基于模板技術(shù)的J2EE應(yīng)用代碼自動(dòng)化生成工具的設(shè)計(jì)與開(kāi)發(fā)[D];復(fù)旦大學(xué);2009年

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前7條

1 朱文也;祝躍飛;劉楠;陳晨;;TA4SP的認(rèn)證性擴(kuò)展[J];計(jì)算機(jī)工程;2010年02期

2 肖茵茵;蘇開(kāi)樂(lè);;電子商務(wù)支付協(xié)議認(rèn)證性的SVO邏輯驗(yàn)證[J];計(jì)算機(jī)工程與應(yīng)用;2014年08期

3 余磊;顧維娜;王猛;;基于串空間極小元理論的改進(jìn)Woo-Lam協(xié)議的認(rèn)證性分析[J];電腦編程技巧與維護(hù);2010年04期

4 趙華偉;秦靜;;一種可分析保密性與認(rèn)證性的模態(tài)邏輯[J];計(jì)算機(jī)工程;2007年20期

5 蘇偉;徐開(kāi)勇;孫磊;;基于XML的移動(dòng)Web Service應(yīng)用研究[J];信息工程大學(xué)學(xué)報(bào);2008年02期

6 溫雅敏;龔征;;一個(gè)新型不可關(guān)聯(lián)秘密握手方案[J];計(jì)算機(jī)工程;2013年03期

7 ;[J];;年期

  本文關(guān)鍵詞：計(jì)算模型下的SSHV2協(xié)議認(rèn)證性自動(dòng)化分析，由筆耕文化傳播整理發(fā)布。

本文編號(hào)：493430