文献

J-GLOBAL ID：201602252903130435   整理番号：16A0696200

安全な再構成可能なスキャンネットワークインフラストラクチャの形式的検証【Powered by NICT】

Formal verification of secure reconfigurable scan network infrastructure

著者 (5件)： Kochte Michael A. (ITI, University of Stuttgart, Pfaffenwaldring 47, D-70569, Germany) ,  Baranowski Rafal (ITI, University of Stuttgart, Pfaffenwaldring 47, D-70569, Germany) ,  Sauer Matthias (University of Freiburg, Georges-Kohler-Allee 51, D-79110, Germany) ,  Becker Bernd (University of Freiburg, Georges-Kohler-Allee 51, D-79110, Germany) ,  Wunderlich Hans-Joachim (ITI, University of Stuttgart, Pfaffenwaldring 47, D-70569, Germany)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2016  号： ETS  ページ： 1-6  発行年： 2016年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： IEEE規格1687による標準化として再構成可能なスキャンネットワーク(RSN)は試験と診断,ポストシリコン検証,デバッグ,ブリング・アップ,または保全のためのオンチップインフラストラクチャへの柔軟で効率的なアクセスを可能にした。しかし,付属機器,モニタ,制御装置の不正アクセスや操作は,セキュリティと安全性リスクを提起している。異なるRSNアーキテクチャは最近接続装置への安全なアクセスを実装し,例えば認証と権限付与により提案されている。Copyright 2016 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 標準化 ,  デバッギング ,  セキュリティ ,  監視装置 ,  計算機アーキテクチャ ,  制御装置 ,  *安全性 ,  IEEE規格 ,  不正アクセス ,  改変
準シソーラス用語： *形式的検証 ,  *再構成可能性 , 【Automatic Indexing@JST】

分類 (2件)： 信号理論  (ND02020G) ,  図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (2件)： 再構成 ,  形式的検証