【摘要】：針對SOSEMANUK流密碼已有攻擊方法復雜度過高的不足,提出并討論了一種基于故障信息的猜測確定攻擊方法.首先利用代數方法構建密碼在比特層面的等效代數方程組,然后向密碼注入隨機單字故障,在深入分析故障傳播特征的基礎上,將故障信息表示成代數方程組并猜測密碼部分內部狀態(tài),使用CryptoMinisat解析器求解代數方程組恢復密碼初始內部狀態(tài).實驗結果表明:對密碼首輪加密進行攻擊,恢復密碼全部初始內部狀態(tài)所需的故障注入次數為20次,計算復雜度為O(296),對密碼前兩輪加密進行攻擊,無須猜測密碼內部狀態(tài),僅注入10個單字故障即可恢復密碼全部初始內部狀態(tài).與已有結果相比,新方法攻擊復雜度顯著降低.
[Abstract]:Aiming at the high complexity of the existing SOSEMANUK stream cipher attack method, this paper proposes and discusses a method of guessing and determining attack based on fault information. The algebraic method is used to construct the equivalent algebraic equations of cryptography at the bit level, and then the random word fault is injected into the cipher. The fault information is expressed as algebraic equations and the internal state of cryptographic part is conjectured. The CryptoMinisat parser is used to solve the algebraic equations to restore the initial internal state of cryptography. The experimental results show that the number of fault injection required to restore all the initial internal states of the cipher is 20, and the computational complexity is O (296). The first two rounds of encryption are attacked without the need to guess the internal state of the cipher. Only 10 word failures can be injected to restore all initial internal states of the password. Compared with the existing results, the attack complexity of the new method is significantly reduced.
【作者單位】： 解放軍軍械工程學院信息工程系;浙江大學信息與電子工程學系;北方電子設備研究所;
【基金】：國家自然科學基金資助項目(61173191,61272491,61309021) 中央高�；究蒲袠I(yè)務費專項資金資助項目(2015QNA5005)
【分類號】：TN918.2

【相似文獻】

相關期刊論文 前10條

1 孫天竹,吳小兵;采用故障注入技術提高系統(tǒng)可靠性[J];信息技術;2004年06期

2 傅力;總線上的實時非干預可再現故障注入模式[J];計算機工程與設計;2004年12期

3 王妍,徐葉茂;嵌入式計算機系統(tǒng)中的故障注入技術[J];艦船電子工程;2005年05期

4 譚玲,曲峰,董劍,楊孝宗;基于軟件故障注入的容錯性能評測技術[J];計算機工程與科學;2005年11期

5 彭俊杰;黃慶成;洪炳熔;李瑞;袁成軍;;一種用于星載系統(tǒng)可靠性評測的軟件故障注入工具[J];宇航學報;2005年06期

6 蔣支運;陳欣;;軟件實現的無人機故障注入系統(tǒng)[J];哈爾濱工業(yè)大學學報;2006年11期

7 雷煒;歐毓毅;;基于故障注入的安全測試方法綜述[J];現代計算機(專業(yè)版);2012年11期

8 胡嘉偉;江建慧;;一種面向軟件可靠性評估的故障注入機制的設計與實現[J];計算機輔助設計與圖形學學報;2012年06期

9 李志宇;黃考利;連光耀;;基于半實物仿真的故障注入系統(tǒng)設計[J];計算機測量與控制;2013年03期

10 李志宇;黃考利;連光耀;;基于測試性設計的軟件故障注入研究綜述[J];計算機測量與控制;2013年05期

相關會議論文 前10條

1 王勇;王婷婷;;基于故障注入的信息系統(tǒng)安全漏洞檢測技術研究[A];全國計算機安全學術交流會論文集（第二十三卷）[C];2008年

2 胡嘉偉;江建慧;;一種面向軟件可靠性評估的故障注入機制的設計與實現[A];第十四屆全國容錯計算學術會議(CFTC'2011)論文集[C];2011年

3 李迎霞;龍翔;高小鵬;;串行總線故障注入系統(tǒng)的設計與實現[A];2007北京地區(qū)高校研究生學術交流會通信與信息技術會議論文集（上冊）[C];2008年

4 孔霞;董劍;曲峰;楊孝宗;;面向容錯服務器的軟件故障注入工具的研制[A];第十屆全國容錯計算學術會議論文集[C];2003年

5 佟向鵬;王文鳳;;基于故障注入的系統(tǒng)測試方法及應用[A];全面建成小康社會與中國航空發(fā)展——2013首屆中國航空科學技術大會論文集[C];2013年

6 譚蘭芳;譚慶平;徐建軍;李建立;;面向星載容錯系統(tǒng)測評的故障注入技術研究及算法[A];2008通信理論與技術新進展——第十三屆全國青年通信學術會議論文集（上）[C];2008年

7 劉偉娜;張翱;楊宏濤;張展;錢軍;;消息驅動的故障注入自動化測試平臺[A];第十四屆全國容錯計算學術會議(CFTC'2011)論文集[C];2011年

8 周玉宇;尚利宏;呂紫旭;;基于虛擬機的單粒子翻轉故障注入方法[A];第六屆中國測試學術會議論文集[C];2010年

9 錢軍;左德承;苗百利;楊孝宗;;基于JTAG的故障注入研究[A];第五屆中國測試學術會議論文集[C];2008年

10 田增;朱英;巨鵬錦;曹華;;基于VPI的故障注入驗證環(huán)境[A];第十五屆計算機工程與工藝年會暨第一屆微處理器技術論壇論文集（A輯）[C];2011年

相關博士學位論文 前4條

1 潘慶和;軟件故障注入關鍵技術研究[D];哈爾濱工業(yè)大學;2011年

2 李愛國;分布式軟件故障注入及軟件脆弱點檢測方法研究[D];哈爾濱工業(yè)大學;2007年

3 徐光俠;分布式實時系統(tǒng)的軟件故障注入及可靠性評測方法研究[D];重慶大學;2011年

4 仉俊峰;星載計算機系統(tǒng)可靠性評測方法的研究[D];哈爾濱工業(yè)大學;2007年

相關碩士學位論文 前10條

1 仲廣沛;基于FPGA的故障注入技術的研究[D];哈爾濱工業(yè)大學;2015年

2 麻彥東;面向虛擬化系統(tǒng)的故障注入平臺的研究與設計[D];哈爾濱工業(yè)大學;2015年

3 周劍斌;一種基于部分掃描鏈的針對故障注入攻擊的密碼芯片安全測試方法[D];電子科技大學;2015年

4 楊道寧;SRAM型FPGA單粒子效應故障注入測試方法關鍵技術研究[D];國防科學技術大學;2013年

5 孟憲凱;面向航天應用軟件的源代碼級軟加固技術研究[D];國防科學技術大學;2014年

6 徐楠;基于故障注入的數控裝備測試技術研究[D];長春工業(yè)大學;2016年

7 柴森;云計算系統(tǒng)故障注入平臺的研究與設計[D];哈爾濱工業(yè)大學;2016年

8 劉清;船舶控制系統(tǒng)故障模擬及診斷裝備的研究[D];湖南大學;2015年

9 李娟;基于故障注入的軟件安全測試技術研究[D];中國科學技術大學;2009年

10 劉偉娜;面向安騰架構的高端容錯機故障注入平臺的設計與實現[D];哈爾濱工業(yè)大學;2010年

，

本文編號：2145821