文献

J-GLOBAL ID：201702227424838999   整理番号：17A1778963

順序論理におけるトロイ回路の検出とマスキング【Powered by NICT】

Detection and masking of Trojan Circuits in sequential logic

著者 (4件)： Matrosova A. (Tomsk State University, Russia) ,  Mitrofanov E. (Tomsk State University, Russia) ,  Ostanin S. (Tomsk State University, Russia) ,  Nikolaeva E. (Tomsk State University, Russia)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： EWDTS  ページ： 1-4  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： におけるトロイ回路(TC)は注入されたかもしれない順序回路ノードの集合を見出す方法を示唆した。技術を内部ノード可観測性と可制御性の正確な(発見的ではない)ランダム推定を適用することに基づいている。推定を得る著者らは同時に導出とTCがスイッチオンであることをで全ての順序回路の完全状態(入力と状態変数に依存する)をコンパクトに表現する。は,対応する内部ノードの面積vにTCスイッチの正確な記述を得る意味推定は状態遷移グラフ(STG)記述を適用することで計算される,TCは順序回路の作業領域(仕様)の挿入があることが推察された。組合せ部分とそのフラグメントのための縮小順序付き二分決定図(ROBDD)はROBDD上の演算による推定を得るために適用した。マスキングTCsの技術を提案した。マスキングサブ回路オーバヘッドは高く評価されている。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】

分類 (2件)： 論理回路  (NC05070B) ,  CAD,CAM  (JE10000A)

タイトルに関連する用語 (3件)： 順序 ,  論理 ,  マスキング