文献

J-GLOBAL ID：201702242269638027   整理番号：17A0797158

不正確なセキュリティ:ハードウェア情報の流れ追跡のための品質と複雑さのトレードオフ【Powered by NICT】

Imprecise security: Quality and complexity tradeoffs for hardware information flow tracking

著者 (7件)： Wei Hu (University of California, San Diego, La Jolla, 92093, United States of America) ,  Becker Andrew (E ́cole Polytechnique Fe ́de ́rale de Lausanne, Switzerland) ,  Ardeshiricham Armita (University of California, San Diego, La Jolla, 92093, United States of America) ,  Yu Tai (Northwestern Polytechnical University, Xi’an 710072, Shaanxi, China) ,  Ienne Paolo (E ́cole Polytechnique Fe ́de ́rale de Lausanne, Switzerland) ,  Mu Dejun (Northwestern Polytechnical University, Xi’an 710072, Shaanxi, China) ,  Kastner Ryan (University of California, San Diego, La Jolla, 92093, United States of America)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2016  号： ICCAD  ページ： 1-8  発行年： 2016年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 安全ハードウェア設計は機能的正しさを保証することをはるかに超えていることを挑戦的な課題である。非干渉のような重要な設計特性はセキュリティに関する推論のための重要な情報(例えば,感度レベル)の欠如のために機能的回路モデルについて検証することができない。ハードウェア情報フロー追跡(IFT)技術は,ハードウェア設計におけるデータオブジェクトをモデル化セキュリティ挙動の感度標識であった。は,設計者が秘密性,完全性,および論理的サイドチャネルに関連するセキュリティ特性を試験し,検証することを可能にする。しかし,ハードウェアレベルで情報の流れの各ビットを考慮した正確に高価である。本研究では,IFT論理の精度に焦点を当てた。鍵となるアイデアは,ただ一つの面誤差(偽陽性)を選択的に導入することである;いずれも保存的で安全な情報の流れ応答を提供するセキュリティ論理の複雑さを減少させた。ハードウェアIFTの品質と複雑さに関する論理合成の影響を調べ,異なる論理合成の最適化は,偽陽性と設計オーバヘッドIFT論理の量にどのように影響するか明らかにした。,最小数の偽陽性を添加しないがさらにIFT論理を単純化するための新しい技術を提案した。さらに,情報フローセキュリティ検証を加速するために偽陽性を導入し定量的に解決策を提供する。IWLSベンチマークを用いた実験結果は,平均して偽陽性の0.20%を添加することが,著者らの方法はGLIFTの複雑さを14.47%低減できることを示した。偽陽性を導入し定量的ににより,検証時間の55.72%までの高速化を達成することができる。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 完全性 ,  *品質 ,  最適化 ,  *セキュリティ ,  精度 ,  *ハードウェア ,  安全性 ,  ベンチマーク ,  モデリング ,  論理合成 ,  ハードウェア設計 ,  高速化
準シソーラス用語： 誤検出 ,  *複雑性 ,  *情報フロー , 【Automatic Indexing@JST】

分類 (1件)： データ保護  (JD01020V)

タイトルに関連する用語 (6件)： セキュリティ ,  ハードウェア ,  情報の流れ ,  追跡 ,  複雑さ ,  トレードオフ