文献

J-GLOBAL ID：201802229374362997   整理番号：18A0190028

情報フローセキュリティ検証によるハードウェアトロイ検出【Powered by NICT】

Hardware trojan detection through information flow security verification

著者 (6件)： Nahiyan Adib (Department of Electrical and Computer Engineering, University of Florida, Gainesville, Florida) ,  Sadi Mehdi (Department of Electrical and Computer Engineering, University of Florida, Gainesville, Florida) ,  Vittal Rahul (Department of Electrical and Computer Engineering, University of Florida, Gainesville, Florida) ,  Contreras Gustavo (Department of Electrical and Computer Engineering, University of Florida, Gainesville, Florida) ,  Forte Domenic (Department of Electrical and Computer Engineering, University of Florida, Gainesville, Florida) ,  Tehranipoor Mark (Department of Electrical and Computer Engineering, University of Florida, Gainesville, Florida)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： ITC  ページ： 1-10  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 半導体設計住宅はますます知的所有権(IP)を調達と製品化までの時間制約を満たすために第三者ベンダに依存になってきている。しかし,ハードウェアTrojansは信頼できないベンダーによってそれらに挿入された悪意できるのでこれらの第三者IPsは信頼できない。異なるアプローチは第三者IPのトロヤ群小惑星を検出するために提案されているが,その限界は広く研究されていない。本論文では,最新のトロイ検出技術の限界を解析し,これらの検出機構を克服するか実験結果を示した。情報流セキュリティ(IFS)検証に基づくトロイ検出フレームワークを提案した。筆者らのフレームワークは,IPのホワイトボックス知識を必要とせずに,トロヤ群によるIFS政策の破れを検出する。信頼ハブベンチマークにおけるトロヤ群小惑星の正確な同定による筆者らの提案技法の有効性を検証した。はまた,著者等の手法は以前に提案されたトロイ検出技術の限界を共有しないことを示した。Copyright 2018 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件)： 惑星  (DB04020E)

タイトルに関連する用語 (4件)： 情報フロー ,  セキュリティ ,  検証 ,  ハードウェア