文献

J-GLOBAL ID：202002237946641820   整理番号：20A1868259

巡回論理暗号に対するBeSAT行動SATベース攻撃【JST・京大機械翻訳】

BeSAT behavioral SAT-based attack on cyclic logic encryption

著者 (6件)： Shen Yuanqi (Northwestern University) ,  Li You (Northwestern University) ,  Rezaei Amin (Northwestern University) ,  Kong Shuyu (Northwestern University) ,  Dlott David (Northwestern University) ,  Zhou Hai (Northwestern University)
資料名： ACM Proceedings  (ACM Proceedings)
号： ASPDAC ’19  ページ： 657-662  発行年： 2019年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： ハードウェアセキュリティの分野で,周期的論理暗号化を新たに提案した。回路にフィードバックサイクルを導入し,既存の論理解読技法を破る。回路が正しい鍵の下で非巡回であることを保証するために,CycSATを開発し,SATベース攻撃に対するCNF公式として非環状条件を追加した。しかし,CycSATアルゴリズムにおいて行ったフィードバック信号の任意のセットで任意のグラフですべてのサイクルを捉えることは不可能であることを見出した。本論文では,BeSATと呼ばれる行動SATベース攻撃を提案した。Be-SATは,構造解析のトップで暗号化回路の挙動を観察し,従って,CycSATによって見逃されたステートフルと振動キーは,まだブロックされる。実験結果は,BeSATがCycSATの欠点をうまく克服することを示した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  構造解析 ,  *ハードウェア ,  暗号 ,  セキュリティ
準シソーラス用語： 環状 ,  巡回 ,  解読 ,  フィードバックシグナル , 【Automatic Indexing@JST】

分類 (2件)： 論理代数  (JB03000H) ,  データ保護  (JD01020V)

タイトルに関連する用語 (6件)： 巡回 ,  論理 ,  暗号 ,  行動 ,  SAT ,  攻撃