本文關(guān)鍵詞：基于NPLAB的Kerberos V5協(xié)議的形式化分析

  更多相關(guān)文章： 安全協(xié)議 NPLAB 形式化分析 Kerberos V

【摘要】：安全協(xié)議是建立在密碼學(xué)基礎(chǔ)上的協(xié)議,提供主體的身份識別和認(rèn)證、會話密鑰的管理和分配等各種安全服務(wù)。NPLAB是一款網(wǎng)絡(luò)通信協(xié)議設(shè)計(jì)軟件,它使用HLPSL語言對安全協(xié)議進(jìn)行建模,采用形式化分析方法分析安全協(xié)議,并給出其安全性和可能的攻擊路徑。以Kerberos V5協(xié)議為例,對NPLAB的使用進(jìn)行說明,分析協(xié)議的安全性。
【作者單位】： 北京電子科技學(xué)院;
【關(guān)鍵詞】： 安全協(xié)議 NPLAB 形式化分析 Kerberos V
【基金】：中央高�；究蒲袠I(yè)務(wù)費(fèi)專項(xiàng)資金資助 項(xiàng)目編號:328201538~~
【分類號】：TN918.4
【正文快照】： 引言安全協(xié)議是建立在密碼學(xué)基礎(chǔ)上的協(xié)議,在分布式系統(tǒng)和電子商務(wù)等各種網(wǎng)絡(luò)環(huán)境中提供各種安全服務(wù),例如:可以通過安全協(xié)議進(jìn)行信息認(rèn)證、在實(shí)體之間安全分配會話密鑰、確保信息安全和完整、防止竊取和篡改等等。在通信中使用安全協(xié)議,是為了達(dá)到一定的安全屬性,包括:秘密性

【參考文獻(xiàn)】

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

1 林春平;;OLSR協(xié)議的AVISPA分析研究[J];計(jì)算機(jī)安全;2010年08期

【共引文獻(xiàn)】

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

1 張宏濱;;基于AVISPA的Yahalom協(xié)議形式化分析[J];數(shù)據(jù)通信;2013年02期

2 秦寧元;付安民;陳守國;;基于AVISPA的快速切換認(rèn)證協(xié)議FHAM的安全建模與檢測[J];信息網(wǎng)絡(luò)安全;2014年05期

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

1 郭肇毅;基于模型檢測的形式化協(xié)議驗(yàn)證[D];電子科技大學(xué);2012年

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

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

1 洪帆;洪亮;付才;;一種安全的移動自組網(wǎng)鏈路狀態(tài)路由協(xié)議:SOLSR[J];計(jì)算機(jī)科學(xué);2005年11期

【相似文獻(xiàn)】

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

1 黃天戍,王海燕;Kerberos系統(tǒng)的分析和改進(jìn)方案[J];計(jì)算機(jī)應(yīng)用;2003年03期

2 張鳳梅,洪運(yùn)國;Kerberos系統(tǒng)的分析和改進(jìn)方案[J];遼寧稅務(wù)高等專科學(xué)校學(xué)報(bào);2003年04期

3 姜平,戴闖,孫靜;實(shí)現(xiàn)Kerberos的優(yōu)化認(rèn)證[J];電腦開發(fā)與應(yīng)用;2004年04期

4 李毅 ,王道平;Kerberos原理及應(yīng)用[J];信息網(wǎng)絡(luò)安全;2004年03期

5 徐勇 ,李征,張玨;Kerberos身份認(rèn)證的分析和改進(jìn)[J];微計(jì)算機(jī)信息;2004年10期

6 馬佩勛;李杰;;Kerberos協(xié)議及其授權(quán)擴(kuò)展的研究與設(shè)計(jì)[J];計(jì)算機(jī)技術(shù)與發(fā)展;2006年05期

7 戈軍;;基于Kerberos身份認(rèn)證的分析和改進(jìn)[J];沈陽工程學(xué)院學(xué)報(bào)(自然科學(xué)版);2006年03期

8 張娜;;Kerberos與盲簽名的結(jié)合[J];計(jì)算機(jī)應(yīng)用與軟件;2006年11期

9 曹世華;;Active Directory和Kerberos的校園網(wǎng)絡(luò)統(tǒng)一認(rèn)證的實(shí)現(xiàn)[J];杭州師范學(xué)院學(xué)報(bào)(自然科學(xué)版);2007年04期

10 李翔;晁愛農(nóng);;Kerberos協(xié)議的應(yīng)用與改進(jìn)[J];微計(jì)算機(jī)信息;2008年36期

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

1 姚傳茂;;一種新的Kerberos認(rèn)證系統(tǒng)改進(jìn)方案[A];全國第20屆計(jì)算機(jī)技術(shù)與應(yīng)用學(xué)術(shù)會議（CACIS·2009）暨全國第1屆安全關(guān)鍵技術(shù)與應(yīng)用學(xué)術(shù)會議論文集（上冊）[C];2009年

2 莫燕;張玉清;吳建耀;;對Kerberos協(xié)議的攻擊及對策研究[A];全國網(wǎng)絡(luò)與信息安全技術(shù)研討會’2004論文集[C];2004年

3 郭甜滋;毛楠;司志剛;陳麗;;Kerberos協(xié)議在單點(diǎn)登錄中的改進(jìn)及應(yīng)用[A];計(jì)算機(jī)研究新進(jìn)展（2010）——河南省計(jì)算機(jī)學(xué)會2010年學(xué)術(shù)年會論文集[C];2010年

4 韓江洪;馬學(xué)森;魏振春;;基于公鑰機(jī)制的Kerberos多區(qū)域分布式認(rèn)證[A];計(jì)算機(jī)技術(shù)與應(yīng)用進(jìn)展·2007——全國第18屆計(jì)算機(jī)技術(shù)與應(yīng)用（CACIS）學(xué)術(shù)會議論文集[C];2007年

5 鄧科峰;譚子軍;周先奉;;基于數(shù)字證書和Kerberos協(xié)議的身份認(rèn)證方案[A];全國第20屆計(jì)算機(jī)技術(shù)與應(yīng)用學(xué)術(shù)會議（CACIS·2009）暨全國第1屆安全關(guān)鍵技術(shù)與應(yīng)用學(xué)術(shù)會議論文集（上冊）[C];2009年

6 余強(qiáng);廖文浩;陳興蜀;;Kerberos化的Socks V5系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[A];第十八次全國計(jì)算機(jī)安全學(xué)術(shù)交流會論文集[C];2003年

7 張熙;谷利澤;李忠獻(xiàn);;基于USBKEY的Kerberos認(rèn)證協(xié)議的研究與實(shí)現(xiàn)[A];中國電子學(xué)會第十五屆信息論學(xué)術(shù)年會暨第一屆全國網(wǎng)絡(luò)編碼學(xué)術(shù)年會論文集（上冊）[C];2008年

8 田俊峰;畢志明;張晶;;一種基于公鑰的新型Kerberos域間認(rèn)證方案[A];2008年全國開放式分布與并行計(jì)算機(jī)學(xué)術(shù)會議論文集(上冊)[C];2008年

9 歷優(yōu)棟;;基于Kerberos在調(diào)度自動化的應(yīng)用[A];第十九屆輸配電研討會論文集[C];2011年

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

1 啟然;網(wǎng)絡(luò)認(rèn)證協(xié)議Kerberos淺析[N];網(wǎng)絡(luò)世界;2000年

2 陳耀光;Win2000的網(wǎng)絡(luò)安全機(jī)制[N];網(wǎng)絡(luò)世界;2001年

3 songwei;“多余”服務(wù)別忙關(guān)[N];電腦報(bào);2004年

4 ;工具百寶箱[N];中國計(jì)算機(jī)報(bào);2003年

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

1 何偉;基于改進(jìn)Kerberos認(rèn)證協(xié)議的遠(yuǎn)程訪問VPN密碼系統(tǒng)研究[D];浙江大學(xué);2003年

2 周倜;復(fù)雜安全協(xié)議的建模與驗(yàn)證[D];國防科學(xué)技術(shù)大學(xué);2008年

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

1 傅娜娜;勘探生產(chǎn)門戶統(tǒng)一身份認(rèn)證模型的研究與應(yīng)用[D];西安石油大學(xué);2015年

2 楊萍;Kerberos的安全性分析及其認(rèn)證模式的研究與改進(jìn)[D];天津理工大學(xué);2015年

3 潘澤波;基于指紋認(rèn)證的Kerberos認(rèn)證系統(tǒng)的設(shè)計(jì)[D];中南大學(xué);2008年

4 任敏;基于公鑰密碼的Kerberos認(rèn)證系統(tǒng)的研究[D];山東師范大學(xué);2006年

5 曹璞;基于公鑰密碼的Kerberos認(rèn)證協(xié)議研究[D];浙江工業(yè)大學(xué);2003年

6 姚傳茂;Kerberos認(rèn)證系統(tǒng)的研究與改進(jìn)[D];合肥工業(yè)大學(xué);2003年

7 葉璽臣;基于改進(jìn)型Kerberos協(xié)議的單點(diǎn)登錄技術(shù)研究[D];武漢輕工大學(xué);2013年

8 劉錚;基于改進(jìn)Kerberos協(xié)議的單點(diǎn)登錄系統(tǒng)研究與實(shí)現(xiàn)[D];重慶大學(xué);2010年

9 張松林;基于Kerberos的安全認(rèn)證模塊設(shè)計(jì)與實(shí)現(xiàn)[D];哈爾濱工業(yè)大學(xué);2010年

10 金晨光;基于Kerberos的計(jì)算機(jī)內(nèi)部網(wǎng)絡(luò)安全模型研究[D];西安電子科技大學(xué);2001年

，

本文編號：860949