文献

J-GLOBAL ID：201902259929580907   整理番号：19A0516493

Iotiskanaler:モノのインターネットの形式的リスク分析のための確率モデル検査に基づくフレームワーク【JST・京大機械翻訳】

IoTRiskAnalyzer: A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things

著者 (4件)： Mohsin Mujahid (School of Electrical Engineering and Computer Science, National University of Sciences and Technology, Islamabad, Pakistan) ,  Sardar Muhammad Usama (School of Electrical Engineering and Computer Science, National University of Sciences and Technology, Islamabad, Pakistan) ,  Hasan Osman (School of Electrical Engineering and Computer Science, National University of Sciences and Technology, Islamabad, Pakistan) ,  Anwar Zahid (School of Electrical Engineering and Computer Science, National University of Sciences and Technology, Islamabad, Pakistan)
資料名： IEEE Access  (IEEE Access)
巻： 5  ページ： 5494-5505  発行年： 2017年 
JST資料番号： W2422A  ISSN： 2169-3536  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： インターネット(IoT)は,多くの利用事例シナリオのために展開されている。任意の展開において,ミッション目標を達成する多くの構成選択が利用可能である。しかし,IoTセキュリティ事故は,異なる構成が様々なリスクレベルに脆弱であることを実証した。確率論的モデル検査を用いてこれらのリスクを形式的かつ定量的に分析するためのIoTRiskアナライザフレームワークを提案した。IoTRiskAnalyzerは脆弱性スコア,IoT構成の候補,および入力としての攻撃者の能力を取る。次に,各構成に対する攻撃尤度と攻撃者コストを計算するために,システムと脅威モデルを生成する。評価は,IoTRiskAnalyzerが効率的で,リスク曝露に基づいて入力構成を自動的に優先することを示した。Copyright 2019 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 確率モデル ,  分析機器 ,  セキュリティ ,  *インターネット ,  リスク分析 ,  モデル
準シソーラス用語： 尤度 ,  攻撃者 ,  スコア ,  脆弱性 ,  *モノのインターネット , 【Automatic Indexing@JST】

分類 (2件)： パターン認識  (JE07000S) ,  データ保護  (JD01020V)

タイトルに関連する用語 (5件)： インターネット ,  リスク分析 ,  確率モデル ,  検査 ,  フレームワーク