文献

J-GLOBAL ID：201702273184977459   整理番号：17A0966174

証明搬送ハードウェアIPによるanalog/mixed信号設計における情報の流れ追跡【Powered by NICT】

Information flow tracking in analog/mixed-signal designs through proof-carrying hardware IP

著者 (3件)： Bidmeshki Mohammad-Mahdi (Department of Electrical Engineering, The University of Texas at Dallas, Richardson, Texas 75080) ,  Antonopoulos Angelos (Department of Electrical Engineering, The University of Texas at Dallas, Richardson, Texas 75080) ,  Makris Yiorgos (Department of Electrical Engineering, The University of Texas at Dallas, Richardson, Texas 75080)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： DATE  ページ： 1703-1708  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 情報フロー追跡(IFT)は,電子システムにおけるデータ機密性を確保するための広く用いられている方法であり,様々なソフトウェアまたはハードウェア記述レベルで開発されてきた多くのそのような方法。それらの中で,証明搬送ハードウェア知的所有権(PCHIP)は,ハードウェア記述言語(HDL)で記述されたディジタルハードウェア設計のためのIFT方法論を導入した。しかし,不慮の情報漏えいのリスクはディジタル領域に限定されていない。,機密情報の源に由来するアナログ信号,バイオメトリックセンサだけでなく,回路のアナログ出力のような秘密をまたは漏れた。さらに,ディジタル設計と同様に,アナログ回路は,伝統的な製造試験を回避できる悪意のある情報漏洩チャネルを持つ汚染される。問題を大きくしているのは,アナログ/混合信号回路におけるこのような情報漏洩チャネルはアナログ/ディジタルまたはディジタル/アナログ界面を横切る,それらの検出は困難になる。この目的のために,本論文では,アナログ/混合信号設計における情報フロー政策の系統的形式的評価を可能にするPCHIPベース方法論を導入した。示すように,ディジタルとアナログ領域を横切るIFTを統合することにより,この方法はディジタル領域から高感度データ漏洩を検出アナログ領域とその逆に,電流アナログ/混合信号回路設計フローの変更を必要とせずにすることができた。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】

分類 (4件)： データ保護  (JD01020V) ,  応用プログラミング言語  (JD03052Y) ,  計算機システム開発  (JD02010R) ,  その他の情報処理  (JE15050M)

タイトルに関連する用語 (6件)： 証明 ,  ハードウェア ,  IP ,  設計 ,  情報の流れ ,  追跡