文献

J-GLOBAL ID：202202274887934878   整理番号：22A0311037

SCADAシステムの解析における形式的手法の適用に関する調査【JST・京大機械翻訳】

A Survey on Applications of Formal Methods in Analysis of SCADA Systems

著者 (3件)： Marovic Mihael (Faculty of Electrical Engineering and Computing, Laboratory for Information Security and Privacy, University of Zagreb, Zagreb, Croatia) ,  Derek Ante (Faculty of Electrical Engineering and Computing, Laboratory for Information Security and Privacy, University of Zagreb, Zagreb, Croatia) ,  Gros Stjepan (Faculty of Electrical Engineering and Computing, Laboratory for Information Security and Privacy, University of Zagreb, Zagreb, Croatia)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 13139  ページ： 99-115  発行年： 2022年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： この調査の目的は,SCADAに関連する臨界特性を高い保証度に確かめるために,Supervisory Controlation and Data Acquisition(SCADA)システムに適用する形式的方法を確立することである。SCADA通信プロトコルまたはSCADAシステムに関連する他のコンポーネントを形式的に特定し,検証する試みを試み,公開された研究を分析し,解析した。形式的手法による解析から最も利益を得る領域を同定した。Copyright Springer Nature Switzerland AG 2021 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 特性 ,  臨界 ,  プロトコル ,  検証 ,  *SCADAシステム ,  *形式的手法【計算機】
準シソーラス用語： 通信プロトコル , 【Automatic Indexing@JST】

著者キーワード (4件)： SCADA ,  形式的方法 ,  検証 ,  プロトコル

分類 (2件)： 計算理論  (JB02000A) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (4件)： SCADAシステム ,  解析 ,  形式的手法 ,  調査