本文關鍵詞：基于SPIN的Andrew Secure RPC協(xié)議并行攻擊模型檢測　出處：《計算機科學》2015年07期 　論文類型：期刊論文

  更多相關文章： Andrew Secure RPC協(xié)議 模型檢測 SPIN 組合身份建模 并行攻擊

【摘要】：Andrew Secure RPC協(xié)議具有身份認證和秘鑰交換功能,其因簡潔明了而被廣泛應用于對稱密鑰加密體系中。模型檢測技術具有高度自動化的優(yōu)點,在協(xié)議安全性驗證領域得到廣泛應用,但模型檢測方法只能檢測到一輪協(xié)議會話中存在的攻擊,難以檢測到多輪并行會話中存在的并行攻擊。針對Andrew Secure RPC協(xié)議運行環(huán)境中存在的并行性與可能出現(xiàn)的安全隱患,提出了組合身份建模方法。該方法運用著名的SPIN模型檢測工具,對Andrew Secure RPC協(xié)議進行模型檢測,從而得到攻擊序列圖,成功發(fā)現(xiàn)并行反射攻擊和類缺陷攻擊。上述組合身份建模方法為復雜環(huán)境下協(xié)議的模型檢測提供了新的方向。
【作者單位】： 華東交通大學軟件學院;
【分類號】：TP393.08
【正文快照】： 到稿日期:2014-06-25返修日期:2014-09-14本文受國家自然科學基金(61163005),計算機軟件新技術國家重點實驗室開放課題(KFKT2012B18),江西省高校科技落地計劃項目(KJLD13038),江西省自然科學基金(2010GZS0150,20132BAB201033)資助。安全協(xié)議是以密碼學為基礎的消息交換協(xié)議,其

【相似文獻】

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

1 高靜;曹子寧;;基于空間邏輯和計算樹邏輯的模型檢測[A];2009年中國高校通信類院系學術研討會論文集[C];2009年

2 許梅;曹子寧;;基于謂詞μ演算和空間邏輯的模型檢測算法研究[A];2009年中國高校通信類院系學術研討會論文集[C];2009年

3 何青;駱翔宇;蘇開樂;;對弈必勝策略的符號化模型檢測[A];2006年全國理論計算機科學學術年會論文集[C];2006年

4 王飛明;胡元闖;董榮勝;;模型檢測中狀態(tài)爆炸及其優(yōu)化策略研究[A];廣西計算機學會2008年年會論文集[C];2008年

5 陳道喜;張廣泉;陳冬火;;NSPK協(xié)議的Spin模型檢測[A];2008年全國開放式分布與并行計算機學術會議論文集(下冊)[C];2008年

6 邢立國;張光甫;劉薇;胥維昌;金一和;;人皮膚模型評價殺菌類農(nóng)藥腐蝕/刺激性研究[A];2014線粒體毒性與基于毒性通路的安全性評價新策略學術研討會暨中國毒理學會毒理學替代法與轉(zhuǎn)化毒理學專業(yè)委員會成立大會論文集[C];2014年

7 張明玉;;我國對外開放、通貨膨脹與經(jīng)濟增長相關關系的模型檢測[A];面向21世紀的科技進步與社會經(jīng)濟發(fā)展（下冊）[C];1999年

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

1 江華;界程演算模型檢測[D];貴州大學;2008年

2 林榮德;移動界程演算及模型檢測應用的關鍵問題研究[D];華南理工大學;2010年

3 劉劍;傳值進程與移動進程的模型檢測方法[D];中國科學院研究生院（軟件研究所）;2005年

4 劉志鋒;模型檢測中關鍵技術的研究及其應用[D];南京大學;2011年

5 朱維軍;時間區(qū)間時序邏輯模型檢測：理論、算法及應用[D];西安電子科技大學;2011年

6 陳冬火;超協(xié)調(diào)時序邏輯及其模型檢測方法[D];中國科學院研究生院（成都計算機應用研究所）;2006年

7 田聰;命題投影時序邏輯的判定性、復雜性、表達性及模型檢測[D];西安電子科技大學;2010年

8 黃宏濤;基于懶惰切片的模型檢測技術研究[D];哈爾濱工程大學;2012年

9 劉金卓;基于符號化模型檢測的軟件演化過程模型驗證[D];云南大學;2013年

10 吳駿;多Agent聯(lián)盟規(guī)范系統(tǒng)研究[D];南京大學;2011年

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

1 張衍志;符號化模型檢測算法的研究[D];吉林大學;2009年

2 黎吾平;模型檢測在軟件方面的應用[D];吉林大學;2008年

3 吳小娟;并行完備模型檢測技術的研究[D];電子科技大學;2013年

4 姜志敏;模型檢測在配置中的應用[D];吉林大學;2010年

5 金怡愛;基于模型檢測方法的規(guī)劃[D];吉林大學;2005年

6 施小純;基于反例搜索的啟發(fā)式模型檢測算法的研究[D];中國科學院研究生院（軟件研究所）;2004年

7 陳亞軍;模型檢測在安全協(xié)議形式化驗證中的應用[D];電子科技大學;2012年

8 殷朝冉;測試目的引導的模型檢測方法與技術研究[D];北方工業(yè)大學;2015年

9 高靜;面向環(huán)境演算系統(tǒng)的模型檢測算法的研究[D];南京航空航天大學;2009年

10 廉智超;模型檢測在模型診斷領域中的應用[D];吉林大學;2007年

，

本文編號：1310502