文献

J-GLOBAL ID：202002291569373918   整理番号：20A2084619

MAC-in-the-Box:MAC計算のための最小ハードウェア設計の検証【JST・京大機械翻訳】

MAC-in-the-Box: Verifying a Minimalistic Hardware Design for MAC Computation

著者 (2件)： Kueennemann Robert (Helmholtz Center for Information Security (CISPA), Saarbruecken, Germany) ,  Nemati Hamed (Helmholtz Center for Information Security (CISPA), Saarbruecken, Germany)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 12309  ページ： 525-545  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： MAC-in-Box(MITB)と呼ばれる最小機器のステートマシンレベルでのセキュリティ特性の検証を研究した。この装置は,SHA-3ハッシュ関数に基づくメッセージ認証コードと,デバイスに保存される鍵を,しかし,直接出力しない。それは安全なパスワード貯蔵のために設計されるが,安全な鍵交換と第2因子認証にも使用される。HOL4定理証明器において,外部観測器が,ハッシングオラクルへのアクセスのみを提供する理想的な機能性からこの装置を識別することができることを,形式的に検証した。さらに,パスワードストレージ,鍵交換,および第2因子認証におけるMITBの使用のためのプロトコルを提案し,形式的に,これら3つのアプリケーションシナリオにおけるホスト-妥協に対する抵抗を改善することを示した。Copyright Springer Nature Switzerland AG 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 観測装置 ,  有限状態機械 ,  プロトロンビン ,  応用プログラム ,  定理証明 ,  *ハードウェア設計 ,  パスワード ,  ハッシュ関数 ,  ハッシング ,  セキュリティ ,  認証
準シソーラス用語： メッセージ認証コード ,  オラクル ,  鍵交換 ,  ストレージ装置 , 【Automatic Indexing@JST】

分類 (2件)： 符号理論  (ND02030R) ,  データ保護  (JD01020V)

タイトルに関連する用語 (5件)： MAC ,  BOX ,  計算 ,  ハードウェア設計 ,  検証