文献

J-GLOBAL ID：202002218682323597   整理番号：20A0676804

SATに基づくARX不可能差分とゼロ相関識別器の自動化検索【JST・京大機械翻訳】

SAT-Based Automatic Search for Impossible Differentials and Zero-Correlation Linear Approximations in ARX

著者 (4件)： Ren Jiongjiong (戦略支援部隊信息工程大学,河南鄭州,450001) ,  Zhang Shiwei (戦略支援部隊信息工程大学,河南鄭州,450001) ,  Li Manman (戦略支援部隊信息工程大学,河南鄭州,450001) ,  Chen Shaozhen (戦略支援部隊信息工程大学,河南鄭州,450001)
資料名： Dianzi Xuebao  (Dianzi Xuebao)
巻： 47  号： 12  ページ： 2524-2532  発行年： 2019年 
JST資料番号： C2504A  ISSN： 0372-2112  CODEN： TTHPAG  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： ARX(Addition,Rotation,Xor)アルゴリズムは、モジュール整数加算、異または加算と循環シフトの3種類の演算に基づき、ソフト・ハードウェアの高速実現に便利である。差分解析およびゼロ相関解析は,ARX攻撃の有効な方法であり,そして,攻撃の鍵は,より長い車輪数,より多くの数の不可能な差分およびゼロ相関識別器を捜すことである。現在、多くの探索方法では、非線形コンポーネントの性質を十分に考慮しておらず、よく、より正確な識別器を探索できない。SAT(Satisfiability)に基づくARXの不可能な差異とゼロ相関識別器の自動化探索アルゴリズムを提案した。ARXアルゴリズムコンポーネントの特性,特に通常モード加算とキーモードとの2つの非線形演算の差分と線形伝播の特性を分析することによって,高効率で単純なSAT拘束式を与えた。これに基づいて,SATモデルを識別子の探索のために確立した。応用として、本文は初めてChaskeyアルゴリズム13本の4輪不可能差分と1本の4輪ゼロ相関識別器を提供した。SPECK32アルゴリズム10本の6ラウンドゼロ相関識別器とSPECK48アルゴリズム15本の6輪ゼロ相関識別器を初めて与えた。短い時間内に,HIGHTアルゴリズムの17ラウンドの不可能な差分とゼロ相関識別器を与えた。既存の結果と比較して,識別器の数と探索識別器の時間は明らかに向上した。さらに、再パッケージソルバーSTPの出力インターフェースを通じて、自動化のSATとSMT分析モデルを作り、ARXアルゴリズムが特殊な入出力差分とマスク集合の下で、差分とゼロ相関識別器の車輪数の上界を不可能とすることができる。Data from Wanfang. Translated by JST.【JST・京大機械翻訳】

シソーラス用語： *弁別器 ,  基準モード ,  *自動化 ,  演算 ,  加算 ,  アルゴリズム ,  線形性 ,  ハードウェア
準シソーラス用語： 上界 ,  識別子 ,  高効率 ,  探索アルゴリズム , 【Automatic Indexing@JST】

分類 (2件)： レーダ  (ND13010H) ,  数値計算  (JE02000J)

タイトルに関連する用語 (6件)： SAT ,  差分 ,  相関 ,  識別器 ,  自動化 ,  検索