文献

J-GLOBAL ID：202202275319676140   整理番号：22A0896225

t-プロービングセキュリティに関する推論のための関係計算【JST・京大機械翻訳】

A relation calculus for reasoning about t-probing security

著者 (3件)： Molteni Maria Chiara (Dipartimento di Informatica “Giovanni Degli Antoni”, Universita degli Studi di Milano, Milano, Italy) ,  Molteni Maria Chiara (Security Pattern srl, Brescia, Italy) ,  Zaccaria Vittorio (Department of Electronics, Information and Bioengineering, Politecnico di Milano, Milano, Italy)
資料名： Journal of Cryptographic Engineering  (Journal of Cryptographic Engineering)
巻： 12  号： 1  ページ： 1-14  発行年： 2022年 
JST資料番号： W4562A  ISSN： 2190-8508  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 暗号回路に対するサイドチャネル攻撃の文脈において,t-プロービングセキュリティは,t出力/内部値を観察することにより,感度値(例えば,鍵)に関する情報量を評価する。非干渉は,攻撃からそれ自身を保護するためにBooleマスキングを採用する回路のプロービングセキュリティを評価するために研究者が使用する有用な数学的ツールである。しかし,非干渉に関する推論は,まだ難しい比率化または複雑な自動ツールを必要とする。本研究では,Boole関数のWalsh変換を利用することにより,非干渉の理由に対する新しい視点を提案した。この目的のために,可変のシェアに関する機械的推論のための計算を導入し,この形式が新しいものの発見を可能にする既知の組成パターンの希薄な代数的説明を提供することを示した。最終的に,著者らは,この形式が既知の暗号ガジットのプロービングセキュリティを研究するためにどのように適用できるかを示す。Copyright The Author(s) 2022 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 干渉 ,  マスキング ,  電子回路 ,  Boole関数 ,  Walsh変換 ,  *計算 ,  情報量 ,  回路 ,  行為 ,  暗号 ,  サイバー攻撃
準シソーラス用語： サイドチャネル攻撃 ,  暗号回路 , 【Automatic Indexing@JST】

著者キーワード (5件)： ブール関数 ,  ランダム変数 ,  相関免疫 ,  スペクトル特性化 ,  Walsh変換

分類 (1件)： 論理回路  (NC05070B)

タイトルに関連する用語 (2件)： 推論 ,  計算