JP7147993B2 - セキュリティアセスメント装置、セキュリティアセスメント方法、プログラム - Google Patents

セキュリティアセスメント装置、セキュリティアセスメント方法、プログラム Download PDF

Info

Publication number
JP7147993B2
JP7147993B2 JP2021545467A JP2021545467A JP7147993B2 JP 7147993 B2 JP7147993 B2 JP 7147993B2 JP 2021545467 A JP2021545467 A JP 2021545467A JP 2021545467 A JP2021545467 A JP 2021545467A JP 7147993 B2 JP7147993 B2 JP 7147993B2
Authority
JP
Japan
Prior art keywords
security assessment
infected
rule
behavior
list
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
JP2021545467A
Other languages
English (en)
Other versions
JP2022519837A (ja
Inventor
タニヤ シン
正文 渡部
啓文 植田
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
NEC Corp
Original Assignee
NEC Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by NEC Corp filed Critical NEC Corp
Publication of JP2022519837A publication Critical patent/JP2022519837A/ja
Application granted granted Critical
Publication of JP7147993B2 publication Critical patent/JP7147993B2/ja
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/70—Protecting specific internal or peripheral components, in which the protection of a component leads to protection of the entire computer
    • G06F21/71—Protecting specific internal or peripheral components, in which the protection of a component leads to protection of the entire computer to assure secure computing or processing of information
    • G06F21/73—Protecting specific internal or peripheral components, in which the protection of a component leads to protection of the entire computer to assure secure computing or processing of information by creating or determining hardware identification, e.g. serial numbers
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
    • G06F21/55—Detecting local intrusion or implementing counter-measures
    • G06F21/554—Detecting local intrusion or implementing counter-measures involving event detection and direct action
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
    • G06F21/57—Certifying or maintaining trusted computer platforms, e.g. secure boots or power-downs, version controls, system software checks, secure updates or assessing vulnerabilities
    • G06F21/577—Assessing vulnerabilities and evaluating computer system security
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F2221/00—Indexing scheme relating to security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F2221/03—Indexing scheme relating to G06F21/50, monitoring users, programs or devices to maintain the integrity of platforms
    • G06F2221/034—Test or assess a computer or a system

Landscapes

  • Engineering & Computer Science (AREA)
  • Computer Security & Cryptography (AREA)
  • Computer Hardware Design (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Computing Systems (AREA)
  • Mathematical Physics (AREA)
  • Testing And Monitoring For Control Systems (AREA)
  • Programmable Controllers (AREA)

Description

本開示は、セキュリティアセスメント装置、セキュリティアセスメント方法、非一時的なコンピュータ可読媒体に関する。
特許文献１は、ＳＣＡＤＡ(Supervisory Control And Data Acquisition)システムのサイバー攻撃を検出するシステムを開示している。
特許文献２は、コンピュータのセキュリティに関し、プログラムの実行フローを変更する攻撃を検出、保護するための方法を開示している。この方法は、制御フロールールを得るために、コードの一部に関して生成された基準制御フローを解析するステップと、基準制御フローからの偏差の検出を容易にするために、コードの一部を実行中に制御フロールールを評価するステップと、を備えている。
米国特許出願公開第２０１８／２７６３７５号 欧州特許出願公開第３１２１７４９号
ＰＬＣを用いた制御システムでは、サイバー攻撃に対するセキュリティリスクを簡便かつ適切に評価することが望まれる。
本開示の目的は、上述した課題を鑑み、セキュリティリスクを簡便かつ適切に評価することができるセキュリティアセスメント装置、セキュリティアセスメント方法及び非一時的なコンピュータ可読媒体を提供することにある。
本開示にかかるセキュリティアセスメント装置は、コントローラを用いて制御される施設のセキュリティアセスメント装置であって、前記施設に設けられた複数の要素に関するデータ、及び前記コントローラの制御プログラムコードに基づいて、前記施設を非安全状態にする感染要素を特定して、感染要素リストを生成する特定部と、前記感染要素リストの中から選択された選択要素の感染振る舞いを生成する感染振る舞い生成部と、を備えている。
本開示にかかるセキュリティアセスメント方法は、コントローラを用いて制御される施設のセキュリティアセスメント方法であって、前記施設に設けられた複数の要素に関するデータ、及び前記コントローラの制御プログラムコードに基づいて、前記施設を非安全状態にする感染要素を特定するステップと、感染要素リストを生成するステップと、前記感染要素リストの中から選択された選択要素の感染振る舞いを生成する感染振る舞いステップと、を備えている。
本開示にかかる非一時的なコンピュータ可読媒体は、コントローラを用いて制御される施設のセキュリティアセスメント方法をコンピュータに対して実施させるプログラムが格納された非一時的なコンピュータ可読媒体であって、セキュリティアセスメント方法は、前記施設に設けられた複数の要素に関するデータ、及び前記コントローラの制御プログラムコードに基づいて、前記施設を非安全状態にする感染要素を特定するステップと、感染要素リストを生成するステップと、前記感染要素リストの中から選択された選択要素の感染振る舞いを生成する感染振る舞いステップと、を備えている。
本開示によれば、適切かつ簡便にセキュリティリスクを評価することができるセキュリティアセスメント装置、セキュリティアセスメント方法、及びプログラムを提供することができる。
セキュリティアセスメント装置の構成を示すブロック図である。 本実施の形態にかかるセキュリティアセスメント方法を説明するためのフローチャートである。 感染要素特定部での処理を示すフローチャートである。 感染振る舞い生成部での処理を示すフローチャートである。 ＰＬＣの制御対象となるプラントの一部の構成を模式的に示す図である。 状態リストとルールの表を示す図である。 センサＬＳ００１を感染要素とした場合のルールを示す表である。 センサＬＳ００１が感染した場合のアタックシナリオの一例を示す表である。 センサＬＳ００１を感染要素とした場合の攻撃シナリオの一例を示す表である。 センサＬＳ００１を感染要素とした場合の攻撃シナリオの一例を示す表である。 実施の形態２にかかるセキュリティアセスメント装置の構成を示す機能ブロック図である。 その他の実施の形態にかかるセキュリティアセスメント装置の構成を示す機能ブロック図である。
以下、図面を参照して本発明の実施の形態について説明する。各図面において、同一又は対応する要素には同一の符号が付されており、説明の明確化のため、必要に応じて重複説明を省略する。
実施の形態１.
実施の形態にかかるセキュリティアセスメント装置は、ＩＣＳ（Industrial Control System）におけるセキュリティリスクを評価する。例えば、セキュリティアセスメント装置は、ＰＬＣ（Programmable Logic Controller）等のコントローラを用いた制御システム、例えば、ＳＣＡＤＡ（Ｓｕｐｅｒｖｉｓｏｒｙ Ｃｏｎｔｒｏｌ Ａｎｄ Ｄａｔａ Ａｃｑｕｉｓｉｔｉｏｎ）システムのサイバーセキュリティリスクを評価する。
例えば、プラント、工場、インフラ設備、ビルなどの制御対象施設がＰＬＣ（Programmable Logic Controller）等のコントローラを用いて、監視、及び制御される。制御対象施設には、アクチュエータ、センサなどの各種デバイスが複数設けられている。センサは、例えば、水位計、流量計、温度計、圧力計、速度計等であり、測定結果をＰＬＣに出力する。アクチュエータは、バルブやモータなどであり、ＰＬＣからコマンドによって動作する。ＰＬＣは、センサからの出力に応じて、アクチュエータを制御するコントローラである。具体的には、ＰＬＣは、予めプログラムされたＰＬＣコードに従って、アクチュエータに指令を出力することで、制御対象施設を制御する。
さらに、制御対象施設には、アクチュエータ、センサのみに限らず、貯水槽や配管などのデータを入力又は出力しない物理的な機器(equipment)が設けられている。センサは、物理的な機器に関する情報（例えば，水位など）を検出する。アクチュエータ及びセンサなどのアクティブな機器と、貯水槽などパッシブな機器とをまとめて要素とする。つまり、要素は、アクチュエータやセンサなどに限らず、データを入出力しない物理的な構成を含む。要素は、センサの検出対象やアクチュエータの制御対象となる物理プロセスの状態を含む。制御対象施設には、各種要素が複数設けられている。
セキュリティアセスメント装置１００について、図１を用いて説明する。図１は、セキュリティアセスメント装置１００の構成を示す機能ブロック図である。セキュリティアセスメント装置１００は、アセスメント管理部１１、制御ルール生成部１２、物理プロセスルール生成部１３、アタックシナリオ生成部１４、感染要素特定部１５、感染振る舞い生成部１６、及びルール記憶部１７を備えている。さらに、セキュリティアセスメント装置１００は、入力部２１と、出力部２２とを備えている。
入力部２１は、ユーザからの入力を受け付けるための入力装置を備えている。入力装置は、例えば、キーボード、マウス、タッチパネルなどである。ユーザは入力装置を操作して、非安全状態、ＰＬＣコード、物理データ、設計データ等の入力データを入力する。あるいは、入力部２１は、他の装置から送信されたデータを入力データとして取得してもよい。入力部２１は、非安全状態、ＰＬＣコード、物理データ、設計データをアセスメント管理部１１に出力する。
ＰＬＣコードは、プラント等の制御対象施設を制御するための制御プログラムである。ＰＬＣコードに従い、アクチュエータがセンサからの出力に応じた動作を行う。例えば、センサによって検出された貯水槽の水位が少ない場合、ＰＬＣコードに従って、バルブが開くことで、貯水槽に水が供給される。センサによって検出された貯水槽の水位が多い場合、ＰＬＣコードに従って、バルブが閉じることで、貯水槽への水の供給が停止する。このようにすることで、貯水槽の水位を安全な範囲に保つことができる。非安全状態は、水位などの物理プロセスが、閾値によって規定される安全な範囲に無い状態となる。ユーザは、例えば、貯水槽から水があふれている状態や水が少なすぎる状態を非安全状態として設定することができる。
物理データは、センサ、アクチュエータ等の各種要素に関するデータである。例えば、センサやアクチュエータの種類等である。さらに、物理データは、各センサやアクチュエータに対する入力及び出力に関するデータを含んでいてもよい。設計データは、制御対象施設の全体に関するデータであり、例えば、制御対象施設に設けられている要素の数や配置に関するデータである。
アセスメント管理部１１は、制御ルール生成部１２～ルール記憶部１７の各機能ブロックを全体的に管理する。アセスメント管理部１１は、ユーザが入力した非安全状態、ＰＬＣコード、及び物理データを取得する。アセスメント管理部１１は、ユーザが感染要素のリストの中から選択した選択要素を取得する。アセスメント管理部１１は、ユーザからの入力に基づいて、セキュリティ評価を実施して、評価結果としてのアタックシナリオを出力部２２に出力する。出力部２２は、アタックシナリオをユーザに対して出力するための出力装置を備えている。具体的には、出力部２２は、アタックシナリオを表示する表示モニタなどを有している。
制御ルール生成部１２は、アセスメント管理部１１からの入力として、ＰＬＣコードを取得する。制御ルール生成部１２は、ＰＬＣコードに基づいて、制御ルール及び状態リストを生成する。制御ルール生成部１２は、生成した制御ルール、及び状態リストをルール記憶部１７に書き込む。制御ルールは、通常時において、ＰＬＣが各アクチュエータを制御するためのルールである。状態リストはアクチュエータ、センサ、コントローラが取り得る状態を列挙したリストである。
物理プロセスルール生成部１３は、アセスメント管理部１１からの入力として、物理データ及び設計データを取得する。物理プロセスルール生成部１３は、物理データ及び設計データに基づいて、物理的な機器の状態リスト及び物理プロセスルールを生成する。物理プロセスルール生成部１３は、生成した状態リスト及び物理プロセスルールをルール記憶部１７に書き込む。物理プロセスルールは、通常時において、各要素の動作を示すルールである。例えば、アクチュエータ、センサの入力と出力とが対応付けられている。状態リストは、アクチュエータ、センサ、パッシブな機器がと取り得る状態を列挙したリストである。
通常時における物理プロセスルールと制御ルールとをまとめて通常ルールとする。通常ルールは、非感染時における各要素の通常動作を示すルールとなる。通常ルールでは、入力変数と出力変数とが対応付かられている。状態リスト、及び通常ルールは、要素毎に生成される。
感染要素特定部１５は、アセスメント管理部１１からの入力として、非安全状態及び通常ルールを取得する。感染要素特定部１５は、非安全状態の原因となる感染要素を特定して、感染要素リストを生成する。感染要素リストは、非安全状態の原因となる全ての要素を列挙したものである。感染要素特定部１５は、入力された非安全状態毎に、感染要素リストを生成する。感染要素特定部１５は、生成した感染要素リストをアセスメント管理部１１に出力する。
アセスメント管理部１１は、感染要素リストを出力部２２に出力させる。つまり、出力部２２は、非安全状態毎の感染要素リストをユーザに対して表示する。ユーザは、入力部２１を操作することで、感染要素リストの中から、１つ又は複数の感染要素を選択する。ユーザによって選択された感染要素を選択要素とする。ユーザは、感染要素リストの中から着目したい要素を選択要素として指定する。アセスメント管理部１１は、選択要素を感染振る舞い生成部１６に出力する。
感染振る舞い生成部１６は、アセスメント管理部１１からの入力として、通常ルール及び状態リストを取得する。さらに、感染振る舞い生成部１６が、アセスメント管理部１１からの入力として、選択要素を取得する。感染振る舞い生成部１６は、通常ルール、及び状態リストに基づいて、選択要素の感染振る舞いを生成する。感染振る舞い生成部１６は、感染振る舞いを感染ルールとしてルール記憶部１７に書き込む。
アタックシナリオ生成部１４は、アセスメント管理部１１からの入力として、感染ルール及び通常ルールを取得する。アタックシナリオ生成部１４は、感染ルール及び通常ルールに基づいて、アタックシナリオを生成する。アタックシナリオ生成部１４は、ルールに対してモデルチェックを実行することで、非安全状態となるアタックシナリオを生成する。アタックシナリオ生成部１４は、アタックシナリオをアセスメント管理部１１に出力する。アセスメント管理部１１は、アタックシナリオを出力部２２に出力させる。出力部２２は、ユーザが選択した選択要素に対するアタックシナリオをユーザに対して表示する。
図２は、セキュリティアセスメント装置１００におけるセキュリティアセスメント方法を示すフローチャートである。まず、アセスメント管理部１１は、入力として、非安全状態、ＰＬＣコード、物理データ、及び設計データを取得する（Ｓ１１）。
制御ルール生成部１２が、制御ルールを生成して、ルール記憶部１７に書き込む（Ｓ１２）。制御ルール生成部１２は、ＰＬＣコードを参照して、ＰＬＣが各アクチュエータを制御するためのルールを制御ルールとして生成する。例えば、制御ルールは、センサでの検出結果と、アクチュエータに送信するコマンドとを対応付けたルールである。制御ルール生成部１２は、ＰＬＣ等の状態リストを生成してもよい。状態リストは、各要素の状態を示すリストである。
物理プロセスルール生成部１３が、物理プロセスルールを生成して、ルール記憶部１７に書き込む（Ｓ１３）。物理プロセスルール生成部１３は、物理データ、及び設計データを参照して、物理プロセスルールを生成する。物理プロセスルール生成部１３は要素毎に物理プロセスルールを生成する。物理プロセスルール生成部１３は、物理データ、及び設計データを参照して、アクチュエータ、センサ等の状態リストを生成してもよい。状態リストは、各要素の状態を示すリストである。
感染要素特定部１５は、感染要素を特定して、感染要素リストをアセスメント管理部１１に送信する（Ｓ１４）。感染要素特定部１５が感染要素リストを生成する処理について、図３を用いて説明する。図３は、感染要素リストを生成する処理を示すフローチャートである。
まず、感染要素特定部１５は、非安全状態を指定する変数を変数Ｖ１として設定する（Ｓ２１）。例えば、貯水槽の水位が閾値を超える状態が非安全状態として入力されている場合、当該貯水槽の水位が変数Ｖ１となる。次に、感染要素特定部１５は、変数Ｖ１の値を変化させる通常ルールＲを探索する（Ｓ２２）。感染要素特定部１５は、新しいルールが発見されたか否かを判定する（Ｓ２３）。新しいルールが発見された場合、新たに発見された通常ルールＲにおいて、変数Ｖ１の値を変化させる変数Ｖ２を探索する（Ｓ２４）。つまり、感染要素特定部１５は、通常ルールを参照して、変数Ｖ１に影響を及ぼす変数Ｖ２を見つける。感染要素特定部１５は、通常ルールにおいて、変数Ｖ１に対応付けられている変数Ｖ２を見つける。
感染要素特定部１５は、新たに見つかった通常ルールＲがアクチュエータ、センサ、又はＰＬＣのルールであるか否かを判定する（Ｓ２５）。通常ルールＲがアクチュエータ、センサ、又はＰＬＣのルールである場合（Ｓ２５のＹＥＳ）、感染要素特定部１５は、要素名を感染要素リストに追加する（Ｓ２６）。このように、感染要素特定部１５は、通常ルールを参照して、新たな感染要素を特定する。そして、感染要素特定部１５は、新たに特定した感染要素を感染要素リストにリストアップする。
感染要素特定部１５が、感染要素を感染要素リストに追加したら、感染要素特定部１５は、変数Ｖ２を変数Ｖ１に設定する（Ｓ２７）。また、新たに見つかった通常ルールＲがアクチュエータ、センサ、又はＰＬＣのルールでない場合（Ｓ２５のＮＯ）、感染要素特定部１５は、変数Ｖ２を変数Ｖ１に設定する（Ｓ２７）。つまり、パッシブな機器はウィルス又は悪意ある振る舞いに感染しないため、新たに探索された通常ルールが、貯水槽などのパッシブな機器の通常ルールである場合、感染要素リストが増加しない。感染要素特定部１５は、変数Ｖ２を変数Ｖ１に設定したら（Ｓ２７）、Ｓ２２に戻り、同様の処理を繰り返す。また、Ｓ２３において、新たな通常ルールが見つからなかった場合、感染要素特定部１５は、感染要素リストを、アセスメント管理部１１に返す（Ｓ２８）。つまり、非安全状態の原因となる全ての要素が感染要素として特定されたため、感染要素特定部１５の処理が終了する。
このように、感染要素特定部１５は、通常ルールを参照して、非安全状態の原因となるセンサ、アクチュエータ、ＰＬＣを感染要素として特定する。つまり、感染要素特定部１５は、通常ルールにおいて、非安全状態を規定する変数に紐付いている変数を順番に探索していく。これにより、感染要素特定部１５は、直接又は間接的に非安全状態の原因となる全ての要素を感染要素として特定することができる。
ユーザが複数の非安全状態を指定した場合、感染要素特定部１５は、それぞれの非安全状態に対して、上記の処理を実行する。これにより、感染要素特定部１５は、非安全状態毎に感染要素リストを生成することができる。つまり、非安全状態毎に、ステップＳ２１の変数Ｖ１が異なるため、独立した感染要素リストが生成される。
図２の説明に戻る。アセスメント管理部１１は、ユーザによって選択された選択要素を受け取る（Ｓ１５）。例えば、ユーザが入力部２１を操作することで、表示モニタに表示されている感染要素リストの中から１つ又は複数の感染要素を選択する。アセスメント管理部１１は、ユーザによって選択された感染要素を選択要素として受け取る。感染振る舞い生成部１６は、選択要素の感染振る舞いの感染ルールを生成する（Ｓ１６）。感染振る舞い生成部１６は、状態リスト及び選択要素の通常ルールを参照して、感染振る舞いを決定する。感染振る舞い生成部１６は、感染振る舞いを感染ルールとしてルール記憶部１７に書き込む。感染振る舞い生成部１６は、選択要素をアセスメント管理部１１に送信する。
感染振る舞い生成部１６の処理について、図４を用いて説明する。図４は、感染振る舞い生成部１６における処理を示すフローチャートである。
感染振る舞い生成部１６は、感染要素リストの中の１つの感染要素を選択要素Ｃとして設定する（Ｓ３１）。選択要素Ｃの通常ルールにおいて、変数Ｖ３を特定する（Ｓ３２）。変数Ｖ３は、感染要素の出力を変化させる変数である。感染振る舞い生成部１６は、変数Ｖ３の状態リストを探索する（Ｓ３３）。感染振る舞い生成部１６は、状態リストが見つかったか否かを判定する（Ｓ３４）。
状態リストが見つからなかった場合（Ｓ３４のＮＯ）、感染要素特定部１５は処理を終了する。状態リストが見つかった場合（Ｓ３４のＹＥＳ）、感染要素特定部１５は、変数Ｖ３が任意の値を取ることができるルールを生成して、当該ルールをルール記憶部１７に格納する。つまり、感染要素は実際の値とは異なる値を出力するため、感染要素が全ての取り得る値を出力するルールが感染ルールとなる。
感染振る舞い生成部１６は、さらに選択要素があるか否かを判定する（Ｓ３６）。さらに選択要素がある場合（Ｓ３６のＹＥＳ）、Ｓ３１に戻る。上記の処理を次の選択要素に対して実施する。選択要素がない場合（Ｓ３６のＮＯ）、感染振る舞い生成部１６は、処理を終了する。このようにすることで、全ての選択要素に対する感染振る舞いが生成され、感染ルールとして書き込まれる。
図２の説明に戻る。アタックシナリオ生成部１４は、ルール記憶部１７に格納されているルールに基づいて、アタックシナリオを生成する（Ｓ１７）。例えば、非安全状態となるアタックシナリオを生成するために、追加の入力として、その非安全状態がアタックシナリオ生成部１４に入力される。アタックシナリオ生成部１４は、ルール記憶部１７に格納されている感染ルール、及び通常ルールに基づいて、アタックシナリオを生成する。アタックシナリオ生成部１４は、ユーザによって指定された要素がウィルス感染等した場合のアタックシナリオを生成する。そして、アセスメント管理部１１は、アタックシナリオを表示モニタ上に表示させる（Ｓ１８）。
このようにすることで、制御対象施設にある要素の感染振る舞いを適切に評価することができる。例えば、外部からのサイバー攻撃によってアクチュエータやセンサがウィルスに感染した場合の制御対象施設全体の振る舞いをユーザが事前に把握することができる。
図５はコントローラであるＰＬＣにより制御されるプラントの構成の位置例を示す。プラント２００は、貯水槽ＷＴ００１と、バルブＭＶ００１と、センサＬＳ００１とを備えている。センサＬＳ００１は、貯水槽ＷＴ００１の水位を測定する。センサＬＳ００１は、水位の測定結果をコントローラＰＬＣ００１に出力する。例えば、センサＬＳ００１は、水位を０～５の６段階で出力する。水位が０の時、貯水槽ＷＴ００１が空になっており、水位が５の時、水が貯水槽ＷＴ００１からあふれている。センサＬＳ００１の出力をＬＳ００１.Ｓとする。
バルブＭＶ００１は、貯水槽ＷＴ００１に供給される水を制御する。バルブＭＶ００１が開くと、貯水槽ＷＴ００１に水が供給され、バルブＭＶ００１が閉じると、貯水槽ＷＴ００１への水の供給が停止する。コントローラＰＬＣ００１は、センサＬＳ００１で測定された貯水槽ＷＴ００１の推移に応じて、バルブＭＶ００１を制御する。バルブＭＶ００１が閉じている状態を０、開いている状態を１として示す。
図６は、図５に示すプラント２００での状態リスト、及びルールを示す表である。図６の表は、要素、状態リスト、通常ルール、感染ルールのカラムを備えている。つまり、各要素に状態リスト、通常ルール、感染ルールが対応付けられている。
バルブＭＶ００１の状態リストには、３種類の状態ＭＶ００１.Ａ、ＭＶ００１.Ｓ、ＭＶ００１.Ｃが格納される。ＭＶ００１.ＡはバルブＭＶ００１の実際の状態(actual state)を示す。ＭＶ００１.ＳはバルブＭＶ００１からコントローラＰＬＣ００１に送信される状態信号を示している。ＭＶ００１.ＣはコントローラＰＬＣ００１からバルブＭＶ００１に送信された指令を示している。ＭＶ００１.Ａ、ＭＶ００１.Ｓ、及びＭＶ００１.Ｃは、それぞれ、０（閉状態）又は１（開状態）の値を取る変数である。このように、アクチュエータであるバルブＭＶ００１の状態リストには、実状態、状態信号、及び指令が設定されている。バルブＭＶ００１の状態リストは、物理プロセスルール生成部１３によって生成されている。
貯水槽ＷＴ００１の状態リストには、貯水槽ＷＴ００１の実際の水位(actual water level)を示す状態としてＷＴ００１.Ａが設定されている。貯水槽ＷＴ００１の水位は、上記の通り、６段階のレベルに分けられている。貯水槽ＷＴ００１の実際の水位に応じて、ＷＴ００１.Ａは０～５の値を取る変数である。貯水槽ＷＴ００１の状態リストは、物理プロセスルール生成部１３によって生成された物理プロセスルールである。
センサＬＳ００１の通常ルールには、ＬＳ００１.Ｓ＝ＷＴ００１.Ａとする物理プロセスルールが設定されている。つまり、センサＬＳ００１が通常通り動作している場合、センサＬＳ００１は、貯水槽ＷＴ００１の水位の測定結果を出力する。よって、センサＬＳ００１の出力ＬＳ００１.Ｓが貯水槽ＷＴ００１の実水位（actual water level）ＷＴ００１.Ａと一致する。センサＬＳ００１の通常ルールは、物理プロセスルール生成部１３によって生成された物理プロセスルールである。
バルブＭＶ００１の通常ルールには、ＭＶ００１.Ａ＝ＭＶ００１.Ｃ；ＭＶ００１.Ｃ＝ＭＶ００１.Ｓとする物理プロセスルールが設定されている。つまり、バルブＭＶ００１の実状態ＭＶ００１．ＡはコントローラＰＬＣ００１からの指令ＭＶ００１．Ｃに一致する。また、バルブＭＶ００１からコントローラＰＬＣ００１に送信される状態信号ＭＶ００１．Ｓは、バルブＭＶ００１の実状態ＭＶ００１．Ａに一致する。このように、通常ルールでは、入力変数と出力変数が対応付けられている。アクチュエータであるバルブＭＶ００１には、実状態（actual state）、指令(command)、状態信号(state signal)の３つの変数があるため、２種類の通常ルールが設定されている。バルブＭＶ００１の通常ルールは、物理プロセスルール生成部１３によって生成された物理プロセスルールである。
コントローラＰＬＣ００１の通常ルールには、センサＬＳ００１の出力ＬＳ００１．Ｓに応じて、バルブＭＶ００１を制御するための制御ルールが設定されている。出力ＬＳ００１．Ｓが３より大きい場合（ＬＳ００１．Ｓ＞３）、コントローラＰＬＣ００１がバルブ００１を閉じるための指令（ＭＶ００１．Ｃ＝０）を出力する。出力ＬＳ００１．Ｓが３の場合（ＬＳ００１．Ｓ＝３）、コントローラＰＬＣ００１がバルブＭＶ００１を現在の状態で維持するよう指令を出力する。出力ＬＳ００１．Ｓが３未満の場合（ＬＳ００１．Ｓ＜３）、コントローラＰＬＣ００１がバルブ００１を開くための指令（ＭＶ００１．Ｃ＝１）を出力する。コントローラＰＬＣ００１の通常ルールは、制御ルール生成部１２によって生成された制御ルールである。
貯水槽ＷＴ００１の通常ルールには、バルブＭＶ００１の開閉状態に応じて、貯水槽ＷＴ００１の水位が変化する物理プロセスルールが設定されている。バルブＭＶ００１が開いている場合、貯水槽ＷＴ００１の水位が１段階上昇する。例えば、ＭＶ００１.Ａ＝１、かつ、ＷＴ００１.１＝０の場合、水位が上昇して、ＷＴ００１.Ａ＝１となる。貯水槽ＷＴ００１の通常ルールは、制御ルール生成部１２によって生成された物理プロセスルールである。
なお、物理プロセスルール生成部１３は、センサ、アクチュエータ、パッシブな機器などの種類毎に設定された基本設定に基づいて、各要素の状態リスト、及び物理プロセスルールを生成することが可能である。例えば、ユーザが、入力や出力を規定した基本設定を要素の種類毎に予め設定しておけばよい。そして、物理プロセスルール生成部１３は、基本設定に応じて、各要素の状態リストを生成する。なお、センサなどの出力値が連続値である場合、離散的な数値に簡素化してもよい。
感染振る舞い生成部１６は、データを入力又は出力する要素に対して、感染ルールを設定する。つまり、アクチュエータ、センサ、ＰＬＣには、感染時の振る舞いを示す感染ルールが設定される。図６の表では、バルブＭＶ００１、センサＬＳ００１、コントローラＰＬＣ００１に感染ルールが設定されている。
センサＬＳ００１の感染ルールは、センサＬＳ００１の出力ＬＳ００１．Ｓが０、１、２、３，４、又は５の何れかの１つを取るルールである。つまり、センサＬＳ００１がウィルスに感染すると、貯水槽ＷＴ００１の水位の検出結果にかかわらず、センサＬＳ００１は、０～５のうちの任意の値を出力する。
バルブＭＶ００１の感染ルールは、ＭＶ００１．Ａ、及びＭＶ００１.Ｓが任意の値を取るルールである。バルブＭＶ００１の感染時には、実状態ＭＶ００１．Ａと状態信号ＭＶ００１.Ｓとが、０（閉状態）又は１（開状態）のいずれかを取る。このようにアクチュエータであるバルブＭＶ００１がウィルスに感染する又は攻撃者のコントロール下にある、つまり感染すると、指令ＭＶ００１．Ｃに関わらず、実状態ＭＶ００１．Ａが任意の値を取る。さらに、実状態ＭＶ００１．Ａに関わらず、とコントローラＰＬＣに送信される状態信号ＭＶ００１．Ｓが、任意の値を取る。
コントローラＰＬＣ００１の感染ルールは、コントローラＰＬＣ００１から出力される指令であるＭＶ００１．Ｃが任意の値を取るルールである。コントローラＰＬＣ００１の感染時には、出力ＬＳ００１．Ｓに関わらず、コントローラＰＬＣ００１から送信されるバルブＭＶ００１の指令ＭＶ００１．Ｃが０又は１の何れかの値を取る。このようにコントローラＰＬＣ００１がウィルスに感染すると、コントローラＰＬＣ００１はアクチュエータであるバルブＭＶ００１に任意の指令を送信する。
図６の例において、図３のフローチャートに沿って感染要素特定部１５の処理について説明する。ここでは、ユーザは、実水位ＷＴ００１．Ａが４より大きい状態を非安全状態として入力している。Ｓ２１において、感染要素特定部１５はＷＴ００１．Ａを変数Ｖ１とする。Ｓ２２において、感染要素特定部１５が変数Ｖ１、つまり実水位ＷＴ００１．Ａを変化させる通常ルールを探索する。ステップＳ２４において、感染要素特定部１５は、貯水槽ＷＴ００１の通常ルールから、変数Ｖ１を変化させる変数Ｖ２を見つける。変数Ｖ２が、ＭＶ００１.Ａとなる。
Ｓ２５において、感染要素特定部１５は、貯水槽ＷＴ００１のルールは、アクチュエータ、センサ又はＰＬＣのルールでないと判定する（Ｓ２５のＮＯ）。つまり、貯水槽ＷＴ００１は、データを入力又は出力しない物理的な機器であるため、感染要素特定部１５は、貯水槽ＷＴ００１を感染要素と特定しない。そして、Ｓ２７において、感染要素特定部１５は、実状態ＭＶ００１.Ａを変数Ｖ１と設定して、Ｓ２２に戻る。
Ｓ２２において、感染要素特定部１５が変数Ｖ１、つまり実状態ＭＶ００１．Ａを変化させるルールを探索する。Ｓ２４において、感染要素特定部１５は、バルブＭＶ００１の通常ルールから、変数Ｖ１を変化させる変数Ｖ２を見つける。変数Ｖ２が、指令ＭＶ００１.Ｃとなる。
Ｓ２５において、感染要素特定部１５は、バルブＭＶ００１のルールは、アクチュエータ、センサ又はＰＬＣのルールであると判定する（Ｓ２５のＹＥＳ）。Ｓ２６において、感染要素特定部１５は、バルブＭＶ００１を感染要素と特定して、感染要素リストに追加する。つまり、バルブＭＶ００１の感染は、非安全状態の原因となる。そして、Ｓ２７において、感染要素特定部１５は、指令ＭＶ００１.Ｃを変数Ｖ１に設定して、Ｓ２２に戻る。
Ｓ２２において、感染要素特定部１５が変数Ｖ１、つまり指令ＭＶ００１．Ｃを変化させるルールを探索する。Ｓ２４において、感染要素特定部１５は、コントローラＰＬＣ００１の通常ルールから、変数Ｖ１を変化させる変数Ｖ２を見つける。変数Ｖ２が、ＬＳ００１.Ｓとなる。
Ｓ２５において、感染要素特定部１５は、コントローラＰＬＣ００１のルールは、アクチュエータ、センサ又はＰＬＣのルールであると判定する（Ｓ２５のＹＥＳ）。Ｓ２６において、感染要素特定部１５は、コントローラＰＬＣ００１を感染要素と特定して、感染要素リストに追加する。つまり、コントローラＰＬＣ００１の感染は、非安全状態の原因となる。そして、Ｓ２７において、感染要素特定部１５は、ＬＳ００１.Ｓを変数Ｖ１に設定して、Ｓ２２に戻る。
Ｓ２２において、感染要素特定部１５が変数Ｖ１、つまりＬＳ００１．Ｓを変化させるルールを探索する。Ｓ２４において、感染要素特定部１５は、センサＬＳ００１の通常ルールから、変数Ｖ１を変化させる変数Ｖ２を見つける。変数Ｖ２が、実水位ＷＴ００１.Ａとなる。
Ｓ２５において、感染要素特定部１５は、センサＬＳ００１のルールは、アクチュエータ、センサ又はＰＬＣのルールであると判定する（Ｓ２５のＹＥＳ）。Ｓ２６において、感染要素特定部１５は、センサＬＳ００１を感染要素と特定して、感染要素リストに追加する。つまり、センサＬＳ００１の感染は、非安全状態の原因となる。そして、Ｓ２７において、感染要素特定部１５は、ＷＴ００１．Ａを変数Ｖ１に設定して、Ｓ２２に戻る。Ｓ２２において、感染要素特定部１５は、変数Ｖ１を変化させるルールを探索するが、新たなルールが見つからないと判定する（Ｓ２３のＮＯ）。よって、感染要素特定部１５は、感染要素リストをアセスメント管理部１１に返す。感染要素リストには、バルブＭＶ００１、コントローラＰＬＣ００１、及びセンサＬＳ００１が感染要素として特定されている。
次に、図６の例において、図４のフローチャートに沿って感染振る舞い生成部１６の処理について説明する。
Ｓ３１において、ユーザが感染要素リストの中からセンサＬＳ００１を選択要素Ｃとして選択する。Ｓ３２において、感染振る舞い生成部１６は、選択要素ＣであるセンサＬＳ００１の通常ルールを参照して、変数Ｖ３を設定する。ここでは、センサＬＳ００１の通常ルールから、貯水槽ＷＴ００１の実水位ＷＴ００１．ＡがセンサＬＳ００１の出力ＬＳ００１．Ｓを変化させる変数Ｖ３となる。
Ｓ３３において、感染振る舞い生成部１６は、変数Ｖ３、つまり、実水位ＷＴ００１．Ａの状態リストを探索する。貯水槽ＷＴ００１の状態リストより、ＷＴ００１．Ａは｛０、１、２、３、４、５｝となる。よって、センサＬＳ００１が感染要素の場合、ＬＳ００１．Ｓは、０、１、２、３、４、及び５のうちの任意の値を取ることができる。よって、感染振る舞い生成部１６は、ＬＳ００１の感染ルールとして、ＬＳ００１．Ｓ＝０、１ or ２ or ３ or ４ or ５を設定する。
このように、感染振る舞い生成部１６は、選択要素の通常ルールに基づいて、選択要素の出力を変化させる変数Ｖ３を設定している。そして、感染振る舞い生成部１６は、状態リストに基づいて変数Ｖ３が取り得る値を取得する。感染振る舞い生成部１６は、変数Ｖ３が取り得る値を通常ルールに設定することで、感染振る舞い（感染ルール）を決定する。このようにすることで、要素が感染等した時のセキュリティリスクを適切に評価することができる。
アタックシナリオ生成部１４は、センサＬＳ００１が感染したときのアタックシナリオを生成する。この場合、図７の太枠に示すように、アタックシナリオ生成部１４は、センサＬＳ００１については感染ルールを用い、センサＬＳ００１以外の要素については、通常ルールを用いている。つまり、アタックシナリオ生成部１４は、貯水槽ＷＴ００１、コントローラＰＬＣ００１、バルブＭＶ００１については、通常ルールを用いる。アタックシナリオ生成部１４は、モデルチェッカを用いて、各要素のルールから潜在的なアタックシナリオを生成する。
このように、本実施の形態にかかるセキュリティアセスメント装置１００は、通常ルールと感染ルールを生成する。したがって、セキュリティアセスメント装置１００は、ＰＬＣのセキュリティリスクを評価するためのモデルチェックルール(model checking rules)を自動生成することができる。特に多数のＰＬＣを有する大規模なＩＣＳに対して、手動でルールを生成する場合よりも大幅な時間短縮が可能となる。また、ＰＬＣコードをＵＭＬ（Unified Model Language）モデルなどに変換することなく、複合的なルール(Alloy rule)を自動生成することができる。よって、制御対象のセキュリティリスクを簡便かつ適切に評価することができる。
図８は、アタックシナリオ生成部１４が生成したアタックシナリオの一例を説明するための図である。図８は、ステップ１からステップ６の順番に各要素が変化する様子を示す表である。図５に示すプラント２００において、図７の表に示すルール、及び状態リストを用いている。図８は、センサＬＳ００１がウィルスに感染した場合を示している。
ステップ１～ステップ３において、出力ＬＳ００１．Ｓが３より小さい。よって、バルブＭＶ００１が開き、実水位ＷＴ００１．Ａが徐々に上昇していく。センサＬＳ００１が感染すると、実水位ＷＴ００１．ＡとセンサＬＳ００１の出力ＬＳ００１．Ｓが異なる値となる（ステップ４）。したがって、Ｔｉｃｋ５，６に示すように実水位ＷＴ００１．Ａが閾値３を超えても、センサＬＳ００１の出力ＬＳ００１．Ｓが閾値３よりも小さくなってしまう。バルブＭＶ００１が開いたままとなり、ＭＶ００１．Ａ、及びＭＶ００１．Ｓが開状態となる。よって、貯水槽ＷＴ００１から水があふれてしまい、非安全状態となる。このように、出力部２２は、非安全状態となるアタックシナリオとして、時系列に沿って各要素の変化を示す表をユーザに対して表示している。
本実施の形態では、アタックシナリオ生成部１４が、選択要素の感染振る舞いを考慮して、アタックシナリオを生成している。つまり、アタックシナリオ生成部１４が感染振る舞い生成部１６で生成した感染ルールに基づいてモデルチェックを行うことで、アタックシナリオを生成する。これにより、適切にセキュリティリスクを評価することができる。
図９，図１０には、それぞれアタックシナリオ生成部１４によって生成されたアタックシナリオの表示形態を示す。図９，図１０は、各要素のイベントを時系列に沿ってチャートとして表示している。プラントのオペレータは、物理的なダメージを避けるために、セキュリティ評価を定期的に確認することができる。
実施の形態２．
実施の形態２にかかるセキュリティアセスメント装置１００について、図１１を用いて説明する。図１１は、セキュリティアセスメント装置１００の構成を示す機能ブロック図である。実施の形態２では、ルール記憶部１７が設けられていない点で図１の構成と相異している。よって、アセスメント管理部１１が各ルールをメモリなどに保存して，処理を行っている。この構成においても、実施の形態１と同様の効果を得ることができる。
実施の形態１，２におけるセキュリティアセスメント装置１００は、例えば，プロセッサ及びメモリを有するコンピュータによって、実現することができる。例えば、メモリに格納されたプログラムをプロセッサが実行することで、上記のセキュリティアセスメント方法が実施される。各構成要素の処理を、ＣＰＵ（Central Processing Unit）にコンピュータプログラムを実行させることにより実現することも可能である。
その他の実施の形態．
図１２は、その他の実施の形態にかかるセキュリティアセスメント装置１００の構成を示す機能ブロック図である。セキュリティアセスメント装置１００は、コントローラを用いて制御される施設のセキュリティアセスメント装置である。セキュリティアセスメント装置１００は、前記施設に設けられた複数の要素に関するデータ及び前記コントローラの制御プログラムコードに基づいて、前記制御対象施設を非安全状態にする感染要素を特定して、感染要素リストを生成する特定部１０１と、前記感染要素リストから選択された選択要素について、感染振る舞いを生成する感染振る舞い生成部１０２と、を備えている。これにより、簡便かつ適切にセキュリティリスクを評価することができる。
上記の実施の形態において、プログラムは、様々なタイプの非一時的なコンピュータ可読媒体（non-transitory computer readable medium）を用いて格納され、コンピュータに供給することができる。非一時的なコンピュータ可読媒体は、様々なタイプの実態のある記録媒体(tangible storage medium)を含む。非一時的なコンピュータ可読媒体の例は、磁気記録媒体（例えばフレキシブルディスク、磁気テープ、ハードディスクドライブ）、光磁気記録媒体（例えば光磁気ディスク）、ＣＤ－ＲＯＭ（Read Only Memory）、ＣＤ－Ｒ、ＣＤ－Ｒ／Ｗ、半導体メモリ（例えば、マスクＲＯＭ、ＰＲＯＭ（Programmable ROM）、ＥＰＲＯＭ(Erasable PROM)）、フラッシュＲＯＭ、ＲＡＭ(Random Access Memory)を含む。また、プログラムは、様々なタイプの一時的なコンピュータ可読媒体（transitory computer readable medium）によってコンピュータに供給されてもよい。一時的なコンピュータ可読媒体の例は、電気信号、光信号、及び電磁波を含む。一時的なコンピュータ可読媒体は、電線及び光ファイバ等の有線通信路、又は無線通信路を介して、プログラムをコンピュータに供給できる。
以上、実施の形態を参照して本願発明を説明したが、本願発明は上記によって限定されるものではない。本願発明の構成や詳細には、発明のスコープ内で当業者が理解し得る様々な変更をすることができる。
１１ アセスメント管理部
１２ 制御ルール生成部
１３ 物理プロセスルール生成部
１４ アタックシナリオ生成部
１５ 感染要素特定部
１６ 感染振る舞い生成部
１７ ルール記憶部
１００ セキュリティアセスメント装置
２００ プラント
ＬＳ００１ センサ
ＷＴ００１ 貯水槽
ＭＶ００１ バルブ
ＰＬＣ００１ コントローラ

Claims (18)

  1. コントローラを用いて制御される施設のセキュリティアセスメント装置であって、
    前記施設に設けられた複数の要素に関するデータ、及び前記コントローラの制御プログラムコードに基づいて、前記施設を非安全状態にする感染要素を特定して、感染要素リストを生成する特定部と、
    前記感染要素リストの中から選択された選択要素の感染振る舞いを生成する感染振る舞い生成部と、を備えたセキュリティアセスメント装置。
  2. 前記特定部は、前記制御プログラムコード、及び前記データに基づいて生成された通常ルールを受け取り、
    前記通常ルールでは、前記要素の入力と出力とを対応付けられており、
    前記特定部は、前記非安全状態を指定する変数の値を変化させる前記通常ルールを探索することで、前記感染要素を特定していく請求項１に記載のセキュリティアセスメント装置。
  3. 前記感染振る舞い生成部は、前記データ、及び前記制御プログラムコードに基づいて生成された状態リストを受け取り、
    前記状態リストは、各要素の状態を示しており、
    前記感染振る舞い生成部は、前記通常ルールに対応する状態リストにおいて、出力が任意の値を取るようにして、前記感染振る舞いを生成する請求項２に記載のセキュリティアセスメント装置。
  4. 前記感染振る舞いに基づいて、前記施設がサイバー攻撃された場合のアタックシナリオを生成するアタックシナリオ生成部をさらに備えた請求項１～３のいずれか１項に記載のセキュリティアセスメント装置。
  5. 前記コントローラが通常時において前記要素を制御するためのコントローラルールを生成するコントローラルール生成部をさらに備える請求項１～４のいずれか１項に記載のセキュリティアセスメント装置。
  6. 通常時の前記要素の動作を示すプロセスルールを生成するプロセスルール生成部をさらに備える請求項１～５のいずれか１項に記載のセキュリティアセスメント装置。
  7. コントローラを用いて制御される施設のセキュリティアセスメント方法であって、
    セキュリティアセスメント装置が、前記施設に設けられた複数の要素に関するデータ、及び前記コントローラの制御プログラムコードに基づいて、前記施設を非安全状態にする感染要素を特定するステップと、
    前記セキュリティアセスメント装置が、感染要素リストを生成するステップと、
    前記セキュリティアセスメント装置が、前記感染要素リストの中から選択された選択要素の感染振る舞いを生成する感染振る舞いステップと、を備えたセキュリティアセスメント方法。
  8. 前記セキュリティアセスメント装置が、前記制御プログラムコード、及び前記データに基づいて、通常時における前記要素の入力と出力とを対応付けた通常ルールを生成するステップをさらに備え、
    前記セキュリティアセスメント装置が、前記非安全状態を指定する変数の値を変化させる前記通常ルールを探索することで、前記感染要素を特定していく請求項７に記載のセキュリティアセスメント方法。
  9. 前記セキュリティアセスメント装置が、前記データ、及び前記制御プログラムコードに基づいて、各要素の状態を示す状態リストを生成するステップをさらに備え、
    前記セキュリティアセスメント装置が、前記通常ルールに対応する状態リストにおいて、出力が任意の値を取るようにして、前記感染振る舞いを生成する請求項８に記載のセキュリティアセスメント方法。
  10. 前記セキュリティアセスメント装置が、前記感染振る舞いに基づいて、前記施設がサイバー攻撃された場合のアタックシナリオを生成する請求項７～９のいずれか１項に記載のセキュリティアセスメント方法。
  11. 前記セキュリティアセスメント装置が、前記コントローラが通常時において前記要素を制御するためのコントローラルールを生成するステップをさらに備える請求項７～１０のいずれか１項に記載のセキュリティアセスメント方法。
  12. 前記セキュリティアセスメント装置が、通常時の前記要素の動作を示すプロセスルールを生成するステップをさらに備える請求項７～１１のいずれか１項に記載のセキュリティアセスメント方法。
  13. コントローラを用いて制御される施設のセキュリティアセスメント方法をコンピュータに対して実施させるプログラムであって、
    セキュリティアセスメント方法は、
    前記施設に設けられた複数の要素に関するデータ、及び前記コントローラの制御プログラムコードに基づいて、前記施設を非安全状態にする感染要素を特定するステップと、
    感染要素リストを生成するステップと、
    前記感染要素リストの中から選択された選択要素の感染振る舞いを生成する感染振る舞いステップと、を備えた、プログラム。
  14. 前記セキュリティアセスメント方法は、前記制御プログラムコード、及び前記データに基づいて、通常時における前記要素の入力と出力とを対応付けた通常ルールを生成するステップをさらに備え、
    前記非安全状態を規定する変数の値を変化させる前記通常ルールを探索することで、前記感染要素を特定していく請求項１３に記載のプログラム。
  15. 前記セキュリティアセスメント方法は、前記データ、及び前記制御プログラムコードに基づいて、各要素の状態を示す状態リストを生成するステップをさらに備え、
    前記通常ルールに対応する状態リストにおいて、出力が任意の値を取るようにして、前記感染振る舞いを生成する請求項１４に記載のプログラム。
  16. 前記感染振る舞いに基づいて、前記施設がサイバー攻撃された場合のアタックシナリオを生成する請求項１３～１５のいずれか１項に記載のプログラム。
  17. 前記セキュリティアセスメント方法は、前記コントローラが通常時において前記要素を制御するためのコントローラルールを生成するステップをさらに備える請求項１３～１６いずれか１項に記載のプログラム。
  18. 前記セキュリティアセスメント方法は、通常時の前記要素の動作を示すプロセスルールを生成するステップをさらに備える請求項１３～１７のいずれか１項に記載のプログラム。
JP2021545467A 2019-02-14 2019-02-14 セキュリティアセスメント装置、セキュリティアセスメント方法、プログラム Active JP7147993B2 (ja)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
PCT/JP2019/005403 WO2020166016A1 (en) 2019-02-14 2019-02-14 Security assessment apparatus, security assessment method, and non-transitory computer readable medium

Publications (2)

Publication Number Publication Date
JP2022519837A JP2022519837A (ja) 2022-03-25
JP7147993B2 true JP7147993B2 (ja) 2022-10-05

Family

ID=72045214

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2021545467A Active JP7147993B2 (ja) 2019-02-14 2019-02-14 セキュリティアセスメント装置、セキュリティアセスメント方法、プログラム

Country Status (3)

Country Link
US (1) US20220147659A1 (ja)
JP (1) JP7147993B2 (ja)
WO (1) WO2020166016A1 (ja)

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20180075243A1 (en) 2016-09-13 2018-03-15 The Mitre Corporation System and method for modeling and analyzing the impact of cyber-security events on cyber-physical systems
US20180309780A1 (en) 2017-04-21 2018-10-25 The Mitre Corporation Methods and systems for evaluating effects of cyber-attacks on cyber-physical systems
US20180337939A1 (en) 2017-05-17 2018-11-22 Anurag Agarwal Threat Model Chaining and Attack Simulation Systems and Methods

Family Cites Families (12)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8955105B2 (en) * 2007-03-14 2015-02-10 Microsoft Corporation Endpoint enabled for enterprise security assessment sharing
US8181247B1 (en) * 2011-08-29 2012-05-15 Kaspersky Lab Zao System and method for protecting a computer system from the activity of malicious objects
US9930058B2 (en) * 2014-08-13 2018-03-27 Honeywell International Inc. Analyzing cyber-security risks in an industrial control environment
US10142353B2 (en) * 2015-06-05 2018-11-27 Cisco Technology, Inc. System for monitoring and managing datacenters
EP3121749B1 (en) * 2015-07-22 2019-06-26 Nxp B.V. Method and apparatus for ensuring control flow integrity
US10193868B2 (en) * 2015-09-10 2019-01-29 Bae Systems Information And Electronic Systems Integration Inc. Safe security proxy
IL242808A0 (en) * 2015-11-26 2016-04-21 Rafael Advanced Defense Sys System and method to detect cyber attacks on ics/scada controlled plants
US10462181B2 (en) * 2016-05-10 2019-10-29 Quadrant Information Security Method, system, and apparatus to identify and study advanced threat tactics, techniques and procedures
JP6786959B2 (ja) * 2016-08-26 2020-11-18 富士通株式会社 サイバー攻撃分析支援プログラム、サイバー攻撃分析支援方法およびサイバー攻撃分析支援装置
EP3563548B1 (en) * 2016-12-30 2021-11-03 British Telecommunications Public Limited Company Historic data breach detection
AU2018212708A1 (en) * 2017-01-30 2019-08-08 Xm Cyber Ltd. Penetration testing of a networked system
US11258817B2 (en) * 2018-10-26 2022-02-22 Tenable, Inc. Rule-based assignment of criticality scores to assets and generation of a criticality rules table

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20180075243A1 (en) 2016-09-13 2018-03-15 The Mitre Corporation System and method for modeling and analyzing the impact of cyber-security events on cyber-physical systems
US20180309780A1 (en) 2017-04-21 2018-10-25 The Mitre Corporation Methods and systems for evaluating effects of cyber-attacks on cyber-physical systems
US20180337939A1 (en) 2017-05-17 2018-11-22 Anurag Agarwal Threat Model Chaining and Attack Simulation Systems and Methods

Also Published As

Publication number Publication date
JP2022519837A (ja) 2022-03-25
WO2020166016A1 (en) 2020-08-20
US20220147659A1 (en) 2022-05-12

Similar Documents

Publication Publication Date Title
US10809704B2 (en) Process performance issues and alarm notification using data analytics
JP6941965B2 (ja) 産業資産制御システム用のドメインレベル脅威検出
US11175976B2 (en) System and method of generating data for monitoring of a cyber-physical system for early determination of anomalies
US10521550B2 (en) Planning and engineering method, software tool and simulation tool for an automation solution
JP6961581B2 (ja) 一組の数値表現として原因結果マトリックスを表すためのシステム及び方法
EP3771951A1 (en) Using data from plc systems and data from sensors external to the plc systems for ensuring data integrity of industrial controllers
JP2020513130A (ja) 産業用プロセス制御及び自動化システムにおける警報を合理化及び分析するための装置及び方法
WO2016200639A1 (en) Computerized process safety management system
WO2021064144A1 (en) Method and system for continuous estimation and representation of risk
TWI710873B (zh) 支援裝置、學習裝置以及廠房運轉條件設定支援系統
US10901406B2 (en) Method of monitoring and controlling an industrial process, and a process control system
JP2014032633A (ja) プラント監視装置およびプラント操作方法
JP7147993B2 (ja) セキュリティアセスメント装置、セキュリティアセスメント方法、プログラム
JP2022182620A (ja) 情報処理装置、予測方法および予測プログラム
US20210333787A1 (en) Device management system, model learning method, and model learning program
JPWO2015037066A1 (ja) プラント事故時運転支援システム及びプラント事故時運転支援方法
KR20140068519A (ko) 정비대상기기 그룹 선정을 위한 리스크 평가 시스템 및 방법
JP2006039648A (ja) プラント監視制御システム
CN115310681A (zh) 锅炉运行安全预测方法、装置、介质及电子设备
JP7416015B2 (ja) 情報処理装置、アラーム予測方法およびアラーム予測プログラム
JP7318798B2 (ja) セキュリティアセスメント装置、セキュリティアセスメント方法、プログラム
JP7517286B2 (ja) 情報処理装置、評価方法および評価プログラム
CN111095146A (zh) 用于约束违反的自动化识别和诊断的装置和方法
JP7248101B2 (ja) 監視方法、監視装置、プログラム
EP4160452A1 (en) Computer-implemented method and surveillance arrangement for identifying manipulations of cyber-physical-systems as well as computer-implemented-tool and cyber-physical-system

Legal Events

Date Code Title Description
A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20210803

A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20210803

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20220726

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20220810

TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20220823

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20220905

R151 Written notification of patent or utility model registration

Ref document number: 7147993

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R151