知財求人 - 知財ポータルサイト「IP Force」
(19)【発行国】日本国特許庁(JP)
(12)【公報種別】特許公報(B1)
(11)【特許番号】
(24)【登録日】2025-03-21
(45)【発行日】2025-03-31
(54)【発明の名称】攻撃可視化装置、攻撃可視化方法、及び攻撃可視化プログラム
(51)【国際特許分類】
G06F 21/57 20130101AFI20250324BHJP
【ＦＩ】
G06F21/57 370
【請求項の数】
10
(21)【出願番号】P 2024565191
(86)(22)【出願日】2024-08-01
(86)【国際出願番号】 JP2024027576
【審査請求日】2024-11-05
(31)【優先権主張番号】P 2024075367
(32)【優先日】2024-05-07
(33)【優先権主張国・地域又は機関】JP
【早期審査対象出願】
(73)【特許権者】
【識別番号】000006013
【氏名又は名称】三菱電機株式会社
(74)【代理人】
【識別番号】110002491
【氏名又は名称】弁理士法人クロスボーダー特許事務所
(72)【発明者】
【氏名】森 郁海
(72)【発明者】
【氏名】板垣 弦矢
(72)【発明者】
【氏名】森 拓海
【審査官】塩澤 如正
(56)【参考文献】
【文献】特開２０２１－１７９７７７（ＪＰ，Ａ）
【文献】国際公開第２０２１／２５５８５９（ＷＯ，Ａ１）
【文献】特開２０２２－１９１６９４（ＪＰ，Ａ）
【文献】特許第７３３４７９４（ＪＰ，Ｂ２）
(58)【調査した分野】(Int.Cl.，ＤＢ名)
Ｇ０６Ｆ ２１／５７
(57)【特許請求の範囲】
【請求項1】
サイバーセキュリティに関するシナリオベースの脅威分析における分析対象を構成する複数の要素の各要素を対象要素とし、前記対象要素について、１つ以上の攻撃手法の各々を対象攻撃手法とし、各論理式と、各論理式に紐づく各単一条件とに基づいて前記対象攻撃手法の攻撃成立条件を示すグラフであって、前記対象要素の構成を示す環境情報と、各単一条件との関係性を示すグラフである攻撃成立判定グラフを生成し、前記攻撃成立判定グラフを用いて前記対象攻撃手法の成立可否を判定することによって前記対象要素において利用可能である各攻撃手法を特定し、前記対象要素において利用可能である各攻撃手法を戦術順に示すグラフであって、前記環境情報と、前記対象要素において利用可能である各攻撃手法に対応する攻撃成立条件とを示すグラフである要素グラフを生成する攻撃特定部と、生成された各要素グラフと、前記分析対象の構成と、前記複数の要素のいずれかの要素である始点要素と、前記複数の要素のいずれかの要素である終点要素とに基づいて要素間の遷移可否を分析することにより、前記分析対象における攻撃シナリオを生成する攻撃シナリオ生成部と
を備える攻撃可視化装置。
【請求項2】
前記攻撃可視化装置は、さらに、生成された各要素グラフと、前記攻撃シナリオに対応する攻撃シナリオグラフとの一部を可視化するための可視化用グラフを可視化条件に応じて生成する可視化部
を備える請求項１に記載の攻撃可視化装置。
【請求項3】
前記可視化部は、前記可視化用グラフとして、前記攻撃手法と、前記攻撃手法に関連する前記分析対象の要素とを表示するグラフを生成する請求項２に記載の攻撃可視化装置。
【請求項4】
前記攻撃特定部は、攻撃データベースが示す各要素に基づいて前記攻撃成立判定グラフを生成し、前記可視化部は、前記可視化用グラフの要素であるグラフ要素を、前記グラフ要素に対応する情報であって、前記攻撃データベースが示す要素に対応する情報である外部攻撃情報に結びつける請求項２又は３に記載の攻撃可視化装置。
【請求項5】
前記攻撃可視化装置は、さらに、前記対象攻撃手法の成立可否に関する判定結果を示すデータを保管する第１結果キャッシュ部
を備え、
前記攻撃特定部は、前記対象攻撃手法の成立可否を判定する際に、保管されているデータを活用する請求項１から３のいずれか１項に記載の攻撃可視化装置。
【請求項6】
前記攻撃シナリオ生成部は、各要素について攻撃手法間の遷移可否を分析し、各要素について攻撃手法間の遷移可否を分析した結果に基づいて要素間の遷移可否を分析し、前記攻撃可視化装置は、さらに、
各要素について攻撃手法間の遷移可否に関する分析結果を示すデータを保管する第２結果キャッシュ部
を備え、
前記攻撃シナリオ生成部は、攻撃手法間の遷移可否を分析する際に、保管されているデータを活用する請求項１から３のいずれか１項に記載の攻撃可視化装置。
【請求項7】
前記攻撃可視化装置は、さらに、要素間の遷移可否を分析する際に特定された遷移可能な一連の要素を示すデータを保管する第３結果キャッシュ部
を備え、
前記攻撃シナリオ生成部は、要素間の遷移可否を分析する際に、保管されているデータを活用する請求項１から３のいずれか１項に記載の攻撃可視化装置。
【請求項8】
前記環境情報と、前記攻撃手法と、前記攻撃成立条件との少なくとも１つに基づいて前記複数の要素が重複なく複数のグループに分割されており、各グループが１つのクラスに対応するとき、前記攻撃シナリオ生成部は、要素間の遷移可否を分析する際に、クラス間の遷移可否を分析し、
前記攻撃可視化装置は、さらに、
クラス間の遷移可否に関する分析結果を示すデータを保管する遷移可否判定部
を備え、
前記攻撃シナリオ生成部は、クラス間の遷移可否を分析する際に、保管されているデータを活用する請求項１から３のいずれか１項に記載の攻撃可視化装置。
【請求項9】
コンピュータが、サイバーセキュリティに関するシナリオベースの脅威分析における分析対象を構成する複数の要素の各要素を対象要素とし、前記対象要素について、１つ以上の攻撃手法の各々を対象攻撃手法とし、各論理式と、各論理式に紐づく各単一条件とに基づいて前記対象攻撃手法の攻撃成立条件を示すグラフであって、前記対象要素の構成を示す環境情報と、各単一条件との関係性を示すグラフである攻撃成立判定グラフを生成し、前記攻撃成立判定グラフを用いて前記対象攻撃手法の成立可否を判定することによって前記対象要素において利用可能である各攻撃手法を特定し、前記対象要素において利用可能である各攻撃手法を戦術順に示すグラフであって、前記環境情報と、前記対象要素において利用可能である各攻撃手法に対応する攻撃成立条件とを示すグラフである要素グラフを生成し、前記コンピュータが、生成された各要素グラフと、前記分析対象の構成と、前記複数の要素のいずれかの要素である始点要素と、前記複数の要素のいずれかの要素である終点要素とに基づいて要素間の遷移可否を分析することにより、前記分析対象における攻撃シナリオを生成する攻撃可視化方法。
【請求項10】
サイバーセキュリティに関するシナリオベースの脅威分析における分析対象を構成する複数の要素の各要素を対象要素とし、前記対象要素について、１つ以上の攻撃手法の各々を対象攻撃手法とし、各論理式と、各論理式に紐づく各単一条件とに基づいて前記対象攻撃手法の攻撃成立条件を示すグラフであって、前記対象要素の構成を示す環境情報と、各単一条件との関係性を示すグラフである攻撃成立判定グラフを生成し、前記攻撃成立判定グラフを用いて前記対象攻撃手法の成立可否を判定することによって前記対象要素において利用可能である各攻撃手法を特定し、前記対象要素において利用可能である各攻撃手法を戦術順に示すグラフであって、前記環境情報と、前記対象要素において利用可能である各攻撃手法に対応する攻撃成立条件とを示すグラフである要素グラフを生成する攻撃特定処理と、生成された各要素グラフと、前記分析対象の構成と、前記複数の要素のいずれかの要素である始点要素と、前記複数の要素のいずれかの要素である終点要素とに基づいて要素間の遷移可否を分析することにより、前記分析対象における攻撃シナリオを生成する攻撃シナリオ生成処理と
をコンピュータである攻撃可視化装置に実行させる攻撃可視化プログラム。
【発明の詳細な説明】
【技術分野】
【0001】
本開示は、攻撃可視化装置、攻撃可視化方法、及び攻撃可視化プログラムに関する。
【背景技術】
【0002】
サイバーセキュリティに関するシナリオベースの脅威分析において、攻撃を可視化する需要がある。特許文献１は、攻撃を可視化する技術を開示している。
【先行技術文献】
【特許文献】
【0003】
【文献】国際公開第２０２０－１９５２２８号パンフレット
【発明の概要】
【発明が解決しようとする課題】
【0004】
サイバーセキュリティに関するシナリオベースの脅威分析において、攻撃者の能力と、各機器が持つ脆弱性情報などに基づいて攻撃可否を判定する。そのため、攻撃の成立条件が複雑である。そこで、グラフ表現を活用して攻撃を可視化する手法が考えられる。ここで、特許文献１はグラフ表現を活用して攻撃を可視化する手法を開示していない。
グラフ表現を活用して攻撃を可視化する手法を採用する場合、攻撃の成立判定が矢印の数だけ発生するために攻撃の成立判定の回数が多いという課題がある。また、矢印の終点が重なる部分を重複して判定するために攻撃の成立判定が冗長に存在するという課題がある。
グラフ表現を活用して攻撃を可視化する手法を採用する場合、攻撃の成立判定が矢印の数だけ発生するために攻撃の成立判定の回数が多いという課題がある。また、矢印の終点が重なる部分を重複して判定するために攻撃の成立判定が冗長に存在するという課題がある。
【0005】
本開示は、サイバーセキュリティに関するシナリオベースの脅威分析において、グラフ表現を活用して攻撃を可視化する手法を採用する場合に、攻撃の成立判定の回数を比較的少なくすること、かつ、攻撃の成立判定が冗長に存在しないようにすることを目的とする。
【課題を解決するための手段】
【0006】
本開示に係る攻撃可視化装置は、
サイバーセキュリティに関するシナリオベースの脅威分析における分析対象を構成する複数の要素の各要素を対象要素とし、前記対象要素について、１つ以上の攻撃手法の各々を対象攻撃手法とし、各論理式と、各論理式に紐づく各単一条件とに基づいて前記対象攻撃手法の攻撃成立条件を示すグラフであって、前記対象要素の構成を示す環境情報と、各単一条件との関係性を示すグラフである攻撃成立判定グラフを生成し、前記攻撃成立判定グラフを用いて前記対象攻撃手法の成立可否を判定することによって前記対象要素において利用可能である各攻撃手法を特定し、前記対象要素において利用可能である各攻撃手法を戦術順に示すグラフであって、前記環境情報と、前記対象要素において利用可能である各攻撃手法に対応する攻撃成立条件とを示すグラフである要素グラフを生成する攻撃特定部と、
生成された各要素グラフと、前記分析対象の構成と、前記複数の要素のいずれかの要素である始点要素と、前記複数の要素のいずれかの要素である終点要素とに基づいて要素間の遷移可否を分析することにより、前記分析対象における攻撃シナリオを生成する攻撃シナリオ生成部と
を備える。
サイバーセキュリティに関するシナリオベースの脅威分析における分析対象を構成する複数の要素の各要素を対象要素とし、前記対象要素について、１つ以上の攻撃手法の各々を対象攻撃手法とし、各論理式と、各論理式に紐づく各単一条件とに基づいて前記対象攻撃手法の攻撃成立条件を示すグラフであって、前記対象要素の構成を示す環境情報と、各単一条件との関係性を示すグラフである攻撃成立判定グラフを生成し、前記攻撃成立判定グラフを用いて前記対象攻撃手法の成立可否を判定することによって前記対象要素において利用可能である各攻撃手法を特定し、前記対象要素において利用可能である各攻撃手法を戦術順に示すグラフであって、前記環境情報と、前記対象要素において利用可能である各攻撃手法に対応する攻撃成立条件とを示すグラフである要素グラフを生成する攻撃特定部と、
生成された各要素グラフと、前記分析対象の構成と、前記複数の要素のいずれかの要素である始点要素と、前記複数の要素のいずれかの要素である終点要素とに基づいて要素間の遷移可否を分析することにより、前記分析対象における攻撃シナリオを生成する攻撃シナリオ生成部と
を備える。
【発明の効果】
【0007】
本開示によれば、攻撃特定部が、分析対象を構成する各要素について、攻撃成立判定グラフを用いて攻撃手法の成立可否を判定することにより要素グラフを生成する。また、攻撃シナリオ生成部が、生成された各要素グラフに基づいて要素間の遷移可否を分析することにより攻撃シナリオを生成する。ここで、攻撃成立判定グラフは、各論理式と、各論理式に紐づく各単一条件とに基づいて対象攻撃手法の攻撃成立条件を示すグラフであって、対象要素の構成を示す環境情報と、各単一条件との関係性を示すグラフである。そのため、攻撃成立判定グラフを用いることにより、攻撃の成立判定の回数を比較的少なくすることができ、かつ、攻撃の成立判定が冗長に存在しないようにすることができる。
従って、本開示によれば、サイバーセキュリティに関するシナリオベースの脅威分析において、グラフ表現を活用して攻撃を可視化する手法を採用する場合に、攻撃の成立判定の回数を比較的少なくすること、かつ、攻撃の成立判定が冗長に存在しないようにすることができる。
従って、本開示によれば、サイバーセキュリティに関するシナリオベースの脅威分析において、グラフ表現を活用して攻撃を可視化する手法を採用する場合に、攻撃の成立判定の回数を比較的少なくすること、かつ、攻撃の成立判定が冗長に存在しないようにすることができる。
【図面の簡単な説明】
【0008】
【図1】攻撃シナリオを説明する図。
【図2】実施の形態１に係る攻撃可視化システム９９の構成例を示す図。
【図3】実施の形態１に係る攻撃特定部２０の処理を説明する図。
【図4】実施の形態１に係る攻撃特定部２０の処理を説明する図。
【図5】実施の形態１に係る攻撃特定部２０の処理を説明する図。
【図6】実施の形態１に係る要素グラフ４１を説明する図。
【図7】実施の形態１に係る攻撃シナリオ生成部５０の処理を説明する図。
【図8】実施の形態１に係る可視化部７０の処理を説明する図。
【図9】実施の形態１に係る可視化部７０の処理を説明する図。
【図10】実施の形態１に係る可視化部７０の処理を説明する図。
【図11】実施の形態１に係る可視化部７０の処理を説明する図。
【図12】実施の形態１に係る攻撃可視化装置１のハードウェア構成例を示す図。
【図13】実施の形態１に係る攻撃可視化システム９９の動作を示すフローチャート。
【図14】実施の形態１に係る攻撃可視化システム９９の動作を示すフローチャート。
【図15】実施の形態１に係る攻撃特定部２０の動作を示すフローチャート。
【図16】実施の形態１に係る攻撃特定部２０の動作を示すフローチャート。
【図17】実施の形態１に係る攻撃特定部２０の動作を示すフローチャート。
【図18】実施の形態１に係る攻撃特定部２０の動作を示すフローチャート。
【図19】実施の形態１に係る攻撃特定部２０の動作を示すフローチャート。
【図20】実施の形態１に係る攻撃特定部２０の動作を示すフローチャート。
【図21】実施の形態１に係る攻撃特定部２０の動作を示すフローチャート。
【図22】実施の形態１に係る攻撃シナリオ生成部５０の動作を示すフローチャート。
【図23】実施の形態１に係る攻撃シナリオ生成部５０の動作を示すフローチャート。
【図24】実施の形態１に係る可視化部７０の動作を示すフローチャート。
【図25】実施の形態１の変形例に係る攻撃可視化装置１のハードウェア構成例を示す図。
【図26】実施の形態２に係る攻撃可視化システム９９の構成例を示す図。
【図27】実施の形態２に係る結果キャッシュ部１００の処理を説明する図。
【図28】実施の形態２に係る結果キャッシュ部１００の動作を示すフローチャート。
【図29】実施の形態２に係る攻撃特定部２０の動作を示すフローチャート。
【図30】実施の形態２に係る攻撃特定部２０の動作を示すフローチャート。
【図31】実施の形態２に係る攻撃特定部２０の動作を示すフローチャート。
【図32】実施の形態２に係る攻撃特定部２０の動作を示すフローチャート。
【図33】実施の形態２に係る攻撃特定部２０の動作を示すフローチャート。
【図34】実施の形態３に係る攻撃可視化システム９９の構成例を示す図。
【図35】実施の形態３に係る攻撃シナリオ生成部５０の処理を説明する図。
【図36】実施の形態３に係る結果キャッシュ部１１０の動作を示すフローチャート。
【図37】実施の形態３に係る攻撃シナリオ生成部５０の動作を示すフローチャート。
【図38】実施の形態３に係る効果を説明する図。
【図39】実施の形態４に係る攻撃可視化システム９９の構成例を示す図。
【図40】実施の形態４に係る攻撃シナリオ生成部５０及び結果キャッシュ部１２０の処理を説明する図。
【図41】実施の形態４に係る結果キャッシュ部１２０の動作を示すフローチャート。
【図42】実施の形態４に係る攻撃シナリオ生成部５０の動作を示すフローチャート。
【図43】実施の形態５に係る攻撃可視化システム９９の構成例を示す図。
【図44】実施の形態５に係る遷移可否判定部１３０の処理を説明する図。
【図45】実施の形態５に係る遷移可否判定部１３０の動作を示すフローチャート。
【図46】実施の形態５に係る攻撃シナリオ生成部５０の動作を示すフローチャート。
【発明を実施するための形態】
【0009】
実施の形態の説明及び図面において、同じ要素及び対応する要素には同じ符号を付している。同じ符号が付された要素の説明は、適宜に省略又は簡略化する。図中の矢印はデータの流れ又は処理の流れを主に示している。また、「部」を、「回路」、「工程」、「手順」、「処理」又は「サーキットリー」に適宜読み替えてもよい。
【0010】
実施の形態１．
以下、本実施の形態について、図面を参照しながら詳細に説明する。
以下、本実施の形態について、図面を参照しながら詳細に説明する。
【0011】
＊＊＊構成の説明＊＊＊
図１は、本実施の形態における可視化対象である攻撃シナリオの概要を説明する図である。
攻撃シナリオは、システムにおいて成立し得る攻撃を網羅的に示すものである。攻撃はサイバー攻撃とも呼ばれる。攻撃シナリオにおいて、要素単位で攻撃が示されていてもよい。
要素は、攻撃対象であるコンポーネントであり、シナリオベースの脅威分析における分析の最小単位に当たる。要素は、具体例として、ＰＣ（Ｐｅｒｓｏｎａｌ Ｃｏｍｐｕｔｅｒ）、仮想ＰＣ、又はソフトウェアの機能である。要素はシステム構成要素とも呼ばれる。
図１において、攻撃者が、ファイアウォールを突破してシステムに侵入し、内部活動などによってＰＣ及びサーバなどを順に攻撃することにより、目標とするデータベースに到達する様子が示されている。
図１は、本実施の形態における可視化対象である攻撃シナリオの概要を説明する図である。
攻撃シナリオは、システムにおいて成立し得る攻撃を網羅的に示すものである。攻撃はサイバー攻撃とも呼ばれる。攻撃シナリオにおいて、要素単位で攻撃が示されていてもよい。
要素は、攻撃対象であるコンポーネントであり、シナリオベースの脅威分析における分析の最小単位に当たる。要素は、具体例として、ＰＣ（Ｐｅｒｓｏｎａｌ Ｃｏｍｐｕｔｅｒ）、仮想ＰＣ、又はソフトウェアの機能である。要素はシステム構成要素とも呼ばれる。
図１において、攻撃者が、ファイアウォールを突破してシステムに侵入し、内部活動などによってＰＣ及びサーバなどを順に攻撃することにより、目標とするデータベースに到達する様子が示されている。
【0012】
図２は、本実施の形態に係る攻撃可視化システム９９の構成例を示している。攻撃可視化システム９９は、攻撃可視化装置１と、攻撃データベース３０と、外部Ｗｅｂサイト８０とから成る。
攻撃可視化装置１は、図２に示すように、攻撃特定部２０と、要素グラフ記憶部４０と、攻撃シナリオ生成部５０と、攻撃シナリオ記憶部６０と、可視化部７０と、画面９０とを備える。攻撃可視化装置１は、攻撃シナリオ可視化装置、又は攻撃シナリオ可視化システムとも呼ばれる。
攻撃可視化装置１は、図２に示すように、攻撃特定部２０と、要素グラフ記憶部４０と、攻撃シナリオ生成部５０と、攻撃シナリオ記憶部６０と、可視化部７０と、画面９０とを備える。攻撃可視化装置１は、攻撃シナリオ可視化装置、又は攻撃シナリオ可視化システムとも呼ばれる。
【0013】
攻撃特定部２０は、対象要素について、攻撃成立判定グラフを生成し、攻撃成立判定グラフを用いて対象攻撃手法の成立可否を判定することによって対象要素において利用可能である各攻撃手法を特定し、特定した各攻撃手法に基づいて要素グラフ４１を生成する。対象要素は、サイバーセキュリティに関するシナリオベースの脅威分析における分析対象を構成する複数の要素の各要素である。攻撃成立判定グラフは、各論理式と、各論理式に紐づく各単一条件とに基づいて対象攻撃手法の攻撃成立条件を示すグラフであって、対象要素の構成を示す環境情報１１と、各単一条件との関係性を示すグラフである。対象攻撃手法は、１つ以上の攻撃手法の各々である。攻撃特定部２０は、攻撃データベース３０が示す各要素に基づいて攻撃成立判定グラフを生成してもよい。要素グラフ４１は、対象要素において利用可能である各攻撃手法を戦術順に示すグラフであって、環境情報１１と、対象要素において利用可能である各攻撃手法に対応する攻撃成立条件とを示すグラフである。攻撃成立条件を「成立条件」と表現することもある。
具体例として、攻撃特定部２０は、作業者１０から環境情報１１を取得し、攻撃データベース３０から攻撃情報３１を取得し、環境情報１１と攻撃情報３１とを用いて各要素グラフ４１を生成する。
具体例として、攻撃特定部２０は、作業者１０から環境情報１１を取得し、攻撃データベース３０から攻撃情報３１を取得し、環境情報１１と攻撃情報３１とを用いて各要素グラフ４１を生成する。
【0014】
作業者１０は、攻撃可視化装置１のユーザであり、シナリオベースの脅威分析を実行する主体である。
【0015】
攻撃データベース３０は、攻撃情報３１を示すデータベースであり、具体例としてＭＩＴＲＥ ＡＴＴ＆ＣＫ（登録商標）である。
攻撃情報３１は、サイバー攻撃に関する情報である。攻撃情報３１は、具体例として、サイバー攻撃の手法及び戦術と、キャンペーンと、攻撃者グループと、ソフトウェアと、緩和策と、検知策とを示すデータである。
攻撃情報３１は、サイバー攻撃に関する情報である。攻撃情報３１は、具体例として、サイバー攻撃の手法及び戦術と、キャンペーンと、攻撃者グループと、ソフトウェアと、緩和策と、検知策とを示すデータである。
【0016】
要素グラフ４１は、要素ごとに、攻撃データベース３０と要素とに基づいて定義されるグラフであり、攻撃成立条件の判定に用いられるグラフである。要素グラフ４１は、要素におけるサイバー攻撃と対策とを示すグラフである。
【0017】
図３は、要素グラフ４１の概要を説明する図である。図３が示す例において、要素グラフ４１は、攻撃クラスと、攻撃成立条件と、環境情報とを適宜接続するものである。本例において、攻撃データベース３０はＭＩＴＲＥ ＡＴＴ＆ＣＫ（登録商標）である。攻撃データベース３０が示す戦術と技術とに基づいて攻撃クラスが定義される。また、攻撃データベース３０が示す緩和策と攻撃者グループとキャンペーンとソフトウェアと検知策との各々に関するクラスが定義される。
攻撃成立条件は、ＡＮＤ条件と、ＯＲ条件と、ＮＯＴ条件との集合である。攻撃成立条件には、ＡＮＤ条件と、ＯＲ条件と、ＮＯＴ条件とのいずれか１つ又は２つが含まれないこともある。攻撃成立条件は、これらの条件をまとめた複合条件により示されることもある。ＡＮＤ条件と、ＯＲ条件との各々は、単一条件クラスの集合から成る。複合条件は、ＡＮＤ条件と同様であるもの単一条件クラス以外のクラスを含む。ＮＯＴ条件に関する攻撃成立条件は、環境情報内にＮＯＴ条件に対応するインスタンスが存在しないことである。
環境情報１１は、要素に関する攻撃者の能力と、要素に対して適用されている対策とを示すインスタンスである。攻撃者の能力は、要素において想定される攻撃に当たり、具体例として、キャンペーンと、攻撃者グループと、ソフトウェアとに応じて定まる。対策は、具体例として、緩和策と、検知策とから成る。
攻撃成立条件は、ＡＮＤ条件と、ＯＲ条件と、ＮＯＴ条件との集合である。攻撃成立条件には、ＡＮＤ条件と、ＯＲ条件と、ＮＯＴ条件とのいずれか１つ又は２つが含まれないこともある。攻撃成立条件は、これらの条件をまとめた複合条件により示されることもある。ＡＮＤ条件と、ＯＲ条件との各々は、単一条件クラスの集合から成る。複合条件は、ＡＮＤ条件と同様であるもの単一条件クラス以外のクラスを含む。ＮＯＴ条件に関する攻撃成立条件は、環境情報内にＮＯＴ条件に対応するインスタンスが存在しないことである。
環境情報１１は、要素に関する攻撃者の能力と、要素に対して適用されている対策とを示すインスタンスである。攻撃者の能力は、要素において想定される攻撃に当たり、具体例として、キャンペーンと、攻撃者グループと、ソフトウェアとに応じて定まる。対策は、具体例として、緩和策と、検知策とから成る。
【0018】
図４は、攻撃特定部２０による要素グラフ４１を用いた推論処理を説明する図であり、攻撃成立条件の単一条件が環境情報１１内に存在するか否かにより、攻撃手法が利用可能であるか否かを特定する処理を説明する図である。図４は、１つの単一条件が成立するか否かを判定する処理の一例を示している。以下、当該処理を説明する。
まず、図４中の（１）に示すように、攻撃特定部２０は攻撃成立条件の成立可否を特定する。本例において、ＡＰＴ１９を持つことが攻撃成立の条件として特定される。なお、対策の有無などにより、ＴｒｕｅとＦａｌｓｅとのどちらとも攻撃成立の条件となり得る。Ｆａｌｓｅが攻撃成立の条件に紐づいている場合において、環境情報１１内に対応するインスタンスが存在しないことが攻撃成立条件である。
次に、図４中の（２）に示すように、攻撃特定部２０は、環境情報１１が単一条件を持つか持たないかを判定する。本例において、グラフの矢印を辿ることにより、ＡＰＴ１９クラスを介して、環境情報１１に含まれているＡＰＴ１９インスタンスに到達可能である。そのため、ＡＰＴ１９は成立すると判定される。
攻撃特定部２０は、複合条件に紐づく全ての条件について、必要に応じて上記のような判定処理を実行する。
まず、図４中の（１）に示すように、攻撃特定部２０は攻撃成立条件の成立可否を特定する。本例において、ＡＰＴ１９を持つことが攻撃成立の条件として特定される。なお、対策の有無などにより、ＴｒｕｅとＦａｌｓｅとのどちらとも攻撃成立の条件となり得る。Ｆａｌｓｅが攻撃成立の条件に紐づいている場合において、環境情報１１内に対応するインスタンスが存在しないことが攻撃成立条件である。
次に、図４中の（２）に示すように、攻撃特定部２０は、環境情報１１が単一条件を持つか持たないかを判定する。本例において、グラフの矢印を辿ることにより、ＡＰＴ１９クラスを介して、環境情報１１に含まれているＡＰＴ１９インスタンスに到達可能である。そのため、ＡＰＴ１９は成立すると判定される。
攻撃特定部２０は、複合条件に紐づく全ての条件について、必要に応じて上記のような判定処理を実行する。
【0019】
図５は、攻撃の成立判定の回数が少なくなるように、攻撃特定部２０が攻撃の成立判定を実行する処理を説明する図である。
攻撃特定部２０は、ＯＲ条件について、ＯＲ条件の配下の単一条件に関してＴｒｕｅが出た時点においてＴｒｕｅと判断する。
攻撃特定部２０は、ＡＮＤ条件について、ＡＮＤ条件の配下の単一条件に関してＦａｌｓｅが出た時点においてＦａｌｓｅと判断する。
攻撃特定部２０は、ＯＲ条件について、ＯＲ条件の配下の単一条件に関してＴｒｕｅが出た時点においてＴｒｕｅと判断する。
攻撃特定部２０は、ＡＮＤ条件について、ＡＮＤ条件の配下の単一条件に関してＦａｌｓｅが出た時点においてＦａｌｓｅと判断する。
【0020】
要素グラフ記憶部４０は、攻撃特定部２０によって生成された各要素グラフ４１を記憶する。
【0021】
攻撃シナリオ生成部５０は、生成された各要素グラフ４１と、分析対象の構成と、複数の要素のいずれかの要素である始点要素と、複数の要素のいずれかの要素である終点要素とに基づいて要素間の遷移可否を分析することにより、分析対象における攻撃シナリオを生成する。
具体例として、攻撃シナリオ生成部５０は、分析対象情報１２と、各要素グラフ４１とに基づいて攻撃シナリオグラフ６１を生成する。
分析対象情報１２は、シナリオベースの脅威分析における分析対象を示す情報である。分析対象情報１２は、具体例として、システムの構成と、攻撃の始点と、攻撃の終点とを示す情報である。
攻撃シナリオグラフ６１は、シナリオベースの脅威分析における攻撃シナリオを示すグラフである。
具体例として、攻撃シナリオ生成部５０は、分析対象情報１２と、各要素グラフ４１とに基づいて攻撃シナリオグラフ６１を生成する。
分析対象情報１２は、シナリオベースの脅威分析における分析対象を示す情報である。分析対象情報１２は、具体例として、システムの構成と、攻撃の始点と、攻撃の終点とを示す情報である。
攻撃シナリオグラフ６１は、シナリオベースの脅威分析における攻撃シナリオを示すグラフである。
【0022】
図６は、要素グラフ４１の一例を説明する図である。本例において、戦術順に攻撃手法が示されており、また、各攻撃手法に対応する成立条件と、各成立条件と環境情報１１との関係性とが示されている。以下、図６を説明する。
攻撃手法Ａは、成立条件１が成立する場合に成立する。攻撃手法Ａが成立する場合、攻撃手法Ｂと、攻撃手法Ｃとの各々への遷移が発生する。
攻撃手法Ｂは、成立条件２が成立する場合に成立する。攻撃手法Ｂが成立する場合、作業者１０は、要素１が通信可能な要素へ遷移可能である。
攻撃手法Ｃは、成立条件３が成立する場合に成立する。攻撃手法Ｃが成立しない場合、要素１に対する攻撃は終了する。
攻撃手法は、具体例として、ＭＩＴＲＥ ＡＴＴ＆ＣＫ（登録商標）が示す戦術と手法との組み合わせにより定義される。なお、戦術はループしないため、攻撃手法間の遷移の分析においてループ検出は不要である。
攻撃手法Ａは、成立条件１が成立する場合に成立する。攻撃手法Ａが成立する場合、攻撃手法Ｂと、攻撃手法Ｃとの各々への遷移が発生する。
攻撃手法Ｂは、成立条件２が成立する場合に成立する。攻撃手法Ｂが成立する場合、作業者１０は、要素１が通信可能な要素へ遷移可能である。
攻撃手法Ｃは、成立条件３が成立する場合に成立する。攻撃手法Ｃが成立しない場合、要素１に対する攻撃は終了する。
攻撃手法は、具体例として、ＭＩＴＲＥ ＡＴＴ＆ＣＫ（登録商標）が示す戦術と手法との組み合わせにより定義される。なお、戦術はループしないため、攻撃手法間の遷移の分析においてループ検出は不要である。
【0023】
図７は、攻撃シナリオ生成部５０による要素間における攻撃の遷移を分析する処理を説明する図である。攻撃シナリオ生成部５０は、攻撃の始点から終点までの経路を分析する際、逆順に経路を探索すること、即ち終点から始点に向かって遷移可否を判断して遷移を辿ることにより、効率的に経路を探索する。攻撃シナリオ生成部５０は、逆順に経路を探索することにより、始点から終点までの経路が存在しない場合に、探索の途中で探索を打ち切ることができる。攻撃シナリオ生成部５０は、逆順に探索する際、各要素への遷移可否を、遷移先の要素において、遷移元への遷移を可能とする攻撃手法を利用可能であるか否かにより判定する。攻撃シナリオ生成部５０は、始点から終点までの全ての経路を抽出する。抽出される各経路は、ループを含まない経路である。
図７に示す例において、全ての経路として、「１→２→３→５」と、「１→２→４→５」と、「１→６→２→３→５」と、「１→６→２→４→５」とがある。ここで、各数字は各要素を示す。
「１→２→３→５」を逆順に評価すると、「５（可）→３（可）→２（可）→１」となる。ここで、ある数字の直後の「可」は、当該ある数字の次の数字に対応する要素において、当該ある数字に対応する要素への遷移を可能とする攻撃手法が成立することを意味する。
「１→２→４→５」を逆順に評価すると、「５（可）→４（不可）→なし」となる。ここで、ある数字の直後の「不可」は、当該ある数字の次の数字に対応する要素において、当該ある数字に対応する要素への遷移を可能とする攻撃手法が成立しないことを意味する。
「１→６→２→３→５」を逆順に評価すると、「５（可）→３（可）→２（可）→６（不可）→なし」となる。
「１→６→２→４→５」を逆順に評価すると、「５（可）→４（不可）→×」となる。
図７に示す例において、全ての経路として、「１→２→３→５」と、「１→２→４→５」と、「１→６→２→３→５」と、「１→６→２→４→５」とがある。ここで、各数字は各要素を示す。
「１→２→３→５」を逆順に評価すると、「５（可）→３（可）→２（可）→１」となる。ここで、ある数字の直後の「可」は、当該ある数字の次の数字に対応する要素において、当該ある数字に対応する要素への遷移を可能とする攻撃手法が成立することを意味する。
「１→２→４→５」を逆順に評価すると、「５（可）→４（不可）→なし」となる。ここで、ある数字の直後の「不可」は、当該ある数字の次の数字に対応する要素において、当該ある数字に対応する要素への遷移を可能とする攻撃手法が成立しないことを意味する。
「１→６→２→３→５」を逆順に評価すると、「５（可）→３（可）→２（可）→６（不可）→なし」となる。
「１→６→２→４→５」を逆順に評価すると、「５（可）→４（不可）→×」となる。
【0024】
攻撃シナリオ記憶部６０は、攻撃シナリオ生成部５０によって生成された攻撃シナリオグラフ６１を記憶する。
【0025】
可視化部７０は、生成された各要素グラフ４１と、攻撃シナリオに対応する攻撃シナリオグラフ６１との一部を可視化するための可視化用グラフ７１を可視化条件に応じて生成する。可視化部７０は、可視化用グラフ７１として、攻撃手法と、攻撃手法に関連する分析対象の要素とを表示するグラフを生成してもよい。可視化部７０は、可視化用グラフ７１の要素であるグラフ要素を外部攻撃情報に結びつけてもよい。外部攻撃情報は、グラフ要素に対応する情報であって、攻撃データベース３０が示す要素に対応する情報である。
具体例として、可視化部７０は、攻撃シナリオグラフ６１と、可視化条件１３とに基づいて可視化用グラフ７１を生成する。
具体例として、可視化部７０は、攻撃シナリオグラフ６１と、可視化条件１３とに基づいて可視化用グラフ７１を生成する。
【0026】
画面９０は、可視化条件１３の入力を受け付け、受け付けた可視化条件１３に従って可視化用グラフ７１を生成するよう可視化部７０に指示し、可視化部７０によって生成された可視化用グラフ７１を表示する。
可視化条件１３は、攻撃シナリオの可視化に関する条件である。可視化条件１３は、具体例として、攻撃手法若しくは要素に関するフィルタ条件、又は検索ワードである。
可視化条件１３は、攻撃シナリオの可視化に関する条件である。可視化条件１３は、具体例として、攻撃手法若しくは要素に関するフィルタ条件、又は検索ワードである。
【0027】
図８は、可視化用グラフ７１の一例を示している。本例において、可視化ツールと、ＭＩＴＲＥ ＡＴＴ＆ＣＫ（登録商標）の説明ページ（外部Ｗｅｂサイト８０）とが連携されている。具体的には、可視化用グラフ７１が示す各攻撃手法にハイパーリンクが適宜設定されている。画面９０に表示されている可視化用グラフ７１が示す各攻撃手法が選択されると、画面９０において各攻撃手法に対応する説明ページが表示される。また、可視化用グラフ７１において、攻撃者の侵入経路と、攻撃者が侵入時に利用する攻撃手法とが示されている。
なお、可視化用グラフ７１は、実際には膨大な数のノードから成ることが多い。しかしながら、説明の便宜上、可視化用グラフ７１の各例において大幅に簡略化された可視化用グラフ７１が示されている。
なお、可視化用グラフ７１は、実際には膨大な数のノードから成ることが多い。しかしながら、説明の便宜上、可視化用グラフ７１の各例において大幅に簡略化された可視化用グラフ７１が示されている。
【0028】
図９は、可視化用グラフ７１の一例を示している。本例において、画面９０において可視化用グラフ７１が示す各要素を選択すると、選択された要素の詳細が画面９０に表示される。
要素の詳細の表示において、要素において利用可能な攻撃手法の階層関係が表示される、即ち要素において利用可能な攻撃手法が戦術順に表示される。また、各攻撃手法に対して、各攻撃手法に対応するＣＶＥ（Ｃｏｍｍｏｎ Ｖｕｌｎｅｒａｂｉｌｉｔｉｅｓ ａｎｄ Ｅｘｐｏｓｕｒｅｓ）情報が適宜紐づけられている。画面９０において各ＣＶＥ情報が選択されると、画面９０において選択されたＣＶＥ情報のページ（外部Ｗｅｂサイト８０）が表示される。
要素の詳細の表示において、要素において利用可能な攻撃手法の階層関係が表示される、即ち要素において利用可能な攻撃手法が戦術順に表示される。また、各攻撃手法に対して、各攻撃手法に対応するＣＶＥ（Ｃｏｍｍｏｎ Ｖｕｌｎｅｒａｂｉｌｉｔｉｅｓ ａｎｄ Ｅｘｐｏｓｕｒｅｓ）情報が適宜紐づけられている。画面９０において各ＣＶＥ情報が選択されると、画面９０において選択されたＣＶＥ情報のページ（外部Ｗｅｂサイト８０）が表示される。
【0029】
図１０は、可視化用グラフ７１の一例を示している。本例において、攻撃の種類ごとに表示と非表示とを切り替えることができる。本例の機能は、侵入起点のみ、要素間の遷移のみ、又は脅威の発生に必要な攻撃手法のみを表示したい場合などにおいて活用される。
具体例として、画面９０に表示されている５角形のアイコンを選択することにより、攻撃手法ＡとＢとＣとＤとＥとを非表示にし、かつ攻撃手法１と２と３と４と５のみを表示するように表示を切り替えることができる。
具体例として、画面９０に表示されている５角形のアイコンを選択することにより、攻撃手法ＡとＢとＣとＤとＥとを非表示にし、かつ攻撃手法１と２と３と４と５のみを表示するように表示を切り替えることができる。
【0030】
図１１は、可視化用グラフ７１の一例を示している。本例において、攻撃手法名を検索ワードとして指定することによって攻撃手法を絞り込んだ場合に、絞り込んだ攻撃手法と、絞り込んだ攻撃手法に関係するシステム構成要素とが表示される。具体的には、検索ワードとして「ＡＡＡ」を指定することにより、画面９０において、攻撃手法名に「ＡＡＡ」を含む攻撃手法と、「ＡＡＡ」を含む攻撃手法において使用される各要素とが表示される。
【0031】
図１２は、本実施の形態に係る攻撃可視化装置１のハードウェア構成例を示している。攻撃可視化装置１はコンピュータから成る。攻撃可視化装置１は複数のコンピュータから成ってもよい。
【0032】
攻撃可視化装置１は、本図に示すように、プロセッサ２０１と、メモリ２０２と、補助記憶装置２０３と、入出力ＩＦ（Ｉｎｔｅｒｆａｃｅ）２０４と、通信装置２０５などのハードウェアを備えるコンピュータである。これらのハードウェアは、信号線２０９を介して適宜接続されている。
【0033】
プロセッサ２０１は、演算処理を行うＩＣ（Ｉｎｔｅｇｒａｔｅｄ Ｃｉｒｃｕｉｔ）であり、かつ、コンピュータが備えるハードウェアを制御する。プロセッサ２０１は、具体例として、ＣＰＵ（Ｃｅｎｔｒａｌ Ｐｒｏｃｅｓｓｉｎｇ Ｕｎｉｔ）、ＤＳＰ（Ｄｉｇｉｔａｌ Ｓｉｇｎａｌ Ｐｒｏｃｅｓｓｏｒ）、又はＧＰＵ（Ｇｒａｐｈｉｃｓ Ｐｒｏｃｅｓｓｉｎｇ Ｕｎｉｔ）である。
攻撃可視化装置１は、プロセッサ２０１を代替する複数のプロセッサを備えてもよい。複数のプロセッサはプロセッサ２０１の役割を分担する。
攻撃可視化装置１は、プロセッサ２０１を代替する複数のプロセッサを備えてもよい。複数のプロセッサはプロセッサ２０１の役割を分担する。
【0034】
メモリ２０２は、典型的には揮発性の記憶装置であり、具体例としてＲＡＭ（Ｒａｎｄｏｍ Ａｃｃｅｓｓ Ｍｅｍｏｒｙ）である。メモリ２０２は、主記憶装置又はメインメモリとも呼ばれる。メモリ２０２に記憶されたデータは、必要に応じて補助記憶装置２０３に保存される。
【0035】
補助記憶装置２０３は、典型的には不揮発性の記憶装置であり、具体例として、ＲＯＭ（Ｒｅａｄ Ｏｎｌｙ Ｍｅｍｏｒｙ）、ＨＤＤ（Ｈａｒｄ Ｄｉｓｋ Ｄｒｉｖｅ）、又はフラッシュメモリである。補助記憶装置２０３に記憶されたデータは、必要に応じてメモリ２０２にロードされる。
メモリ２０２及び補助記憶装置２０３は一体的に構成されていてもよい。
メモリ２０２及び補助記憶装置２０３は一体的に構成されていてもよい。
【0036】
入出力ＩＦ２０４は、入力装置及び出力装置が接続されるポートである。入出力ＩＦ２０４は、具体例として、ＵＳＢ（Ｕｎｉｖｅｒｓａｌ Ｓｅｒｉａｌ Ｂｕｓ）端子である。入力装置は、具体例として、キーボード及びマウスである。出力装置は、具体例として、ディスプレイである。
【0037】
通信装置２０５は、レシーバ及びトランスミッタである。通信装置２０５は、具体例として、通信チップ又はＮＩＣ（Ｎｅｔｗｏｒｋ Ｉｎｔｅｒｆａｃｅ Ｃａｒｄ）である。
【0038】
攻撃可視化装置１の各部は、他の装置などと通信する際に、入出力ＩＦ２０４及び通信装置２０５を適宜用いてもよい。
【0039】
補助記憶装置２０３は攻撃可視化プログラムを記憶している。攻撃可視化プログラムは、攻撃可視化装置１が備える各部の機能をコンピュータに実現させるプログラムである。攻撃可視化プログラムは、メモリ２０２にロードされて、プロセッサ２０１によって実行される。攻撃可視化装置１が備える各部の機能は、ソフトウェアにより実現される。
【0040】
攻撃可視化プログラムを実行する際に用いられるデータと、攻撃可視化プログラムを実行することによって得られるデータなどは、記憶装置に適宜記憶される。攻撃可視化装置１の各部は記憶装置を適宜利用する。記憶装置は、具体例として、メモリ２０２と、補助記憶装置２０３と、プロセッサ２０１内のレジスタと、プロセッサ２０１内のキャッシュメモリとの少なくとも１つから成る。なお、データという用語と情報という用語とは同等の意味を有することもある。記憶装置は、コンピュータと独立したものであってもよい。
メモリ２０２及び補助記憶装置２０３の機能は、他の記憶装置によって実現されてもよい。
メモリ２０２及び補助記憶装置２０３の機能は、他の記憶装置によって実現されてもよい。
【0041】
攻撃可視化プログラムは、コンピュータが読み取り可能な不揮発性の記録媒体に記録されていてもよい。不揮発性の記録媒体は、具体例として、光ディスク又はフラッシュメモリである。攻撃可視化プログラムは、プログラムプロダクトとして提供されてもよい。
【0042】
＊＊＊動作の説明＊＊＊
攻撃可視化装置１の動作手順は攻撃可視化方法に相当する。また、攻撃可視化装置１の動作を実現するプログラムは攻撃可視化プログラムに相当する。
攻撃可視化装置１の動作手順は攻撃可視化方法に相当する。また、攻撃可視化装置１の動作を実現するプログラムは攻撃可視化プログラムに相当する。
【0043】
【0044】
（ステップＳ１０１）
以下、攻撃可視化装置１は、ステップＳ１０１からステップＳ１０５から成る反復処理においてまだ選択されていない要素を選択要素として選択したものとする。
攻撃特定部２０は、選択要素が想定する攻撃者の能力（キャンペーンと、攻撃者グループと、ソフトウェアなど）と、選択要素に対して適用済である緩和策及び検知策と、選択要素のＯＳ（Ｏｐｅｒａｔｉｎｇ Ｓｙｓｔｅｍ）などの実行プラットフォームなどを表す環境情報１１の入力を作業者１０から受け付ける。
以下、攻撃可視化装置１は、ステップＳ１０１からステップＳ１０５から成る反復処理においてまだ選択されていない要素を選択要素として選択したものとする。
攻撃特定部２０は、選択要素が想定する攻撃者の能力（キャンペーンと、攻撃者グループと、ソフトウェアなど）と、選択要素に対して適用済である緩和策及び検知策と、選択要素のＯＳ（Ｏｐｅｒａｔｉｎｇ Ｓｙｓｔｅｍ）などの実行プラットフォームなどを表す環境情報１１の入力を作業者１０から受け付ける。
【0045】
（ステップＳ１０２）
攻撃特定部２０は、攻撃データベース３０から、選択要素に関する攻撃情報３１を取得する。
攻撃特定部２０は、攻撃データベース３０から、選択要素に関する攻撃情報３１を取得する。
【0046】
（ステップＳ１０３）
まず、攻撃特定部２０は、環境情報１１に基づき、戦術と攻撃手法とを絞り込む。
次に、攻撃特定部２０は、絞り込んだ戦術順に攻撃手法を接続する。さらに、攻撃特定部２０は、攻撃手法ごとに攻撃成立条件として、キャンペーンと、攻撃者グループと、ソフトウェアと、緩和策と、検知策とを紐づけるようにグラフを生成する。
その後、攻撃特定部２０は、攻撃成立条件と環境情報１１とに基づいて、戦術順に攻撃手法が成立するか否かを判定し、利用可能な攻撃手法のみを抽出する。攻撃特定部２０は、抽出した攻撃手法に基づき、戦術順に利用可能な攻撃手法を接続した要素グラフ４１を生成する。
まず、攻撃特定部２０は、環境情報１１に基づき、戦術と攻撃手法とを絞り込む。
次に、攻撃特定部２０は、絞り込んだ戦術順に攻撃手法を接続する。さらに、攻撃特定部２０は、攻撃手法ごとに攻撃成立条件として、キャンペーンと、攻撃者グループと、ソフトウェアと、緩和策と、検知策とを紐づけるようにグラフを生成する。
その後、攻撃特定部２０は、攻撃成立条件と環境情報１１とに基づいて、戦術順に攻撃手法が成立するか否かを判定し、利用可能な攻撃手法のみを抽出する。攻撃特定部２０は、抽出した攻撃手法に基づき、戦術順に利用可能な攻撃手法を接続した要素グラフ４１を生成する。
【0047】
（ステップＳ１０４）
攻撃特定部２０は、生成した要素グラフ４１を要素グラフ記憶部４０に保管する。
攻撃特定部２０は、生成した要素グラフ４１を要素グラフ記憶部４０に保管する。
【0048】
（ステップＳ１０５）
全ての要素についてステップＳ１０１以降の処理を実行した場合に、攻撃可視化装置１はステップＳ１０６に遷移する。それ以外の場合、攻撃可視化装置１はステップＳ１０１以降の処理を再度実行する。
全ての要素についてステップＳ１０１以降の処理を実行した場合に、攻撃可視化装置１はステップＳ１０６に遷移する。それ以外の場合、攻撃可視化装置１はステップＳ１０１以降の処理を再度実行する。
【0049】
（ステップＳ１０６）
攻撃シナリオ生成部５０は、分析対象情報１２として、要素グラフ４１を特定するための要素クラスと、要素間の接続関係を示したシステム構成と、攻撃の始点と、攻撃の終点との入力を作業者１０から受け付ける。
攻撃シナリオ生成部５０は、分析対象情報１２として、要素グラフ４１を特定するための要素クラスと、要素間の接続関係を示したシステム構成と、攻撃の始点と、攻撃の終点との入力を作業者１０から受け付ける。
【0050】
（ステップＳ１０７）
攻撃シナリオ生成部５０は、分析対象情報１２が示す要素クラスに基づき、要素グラフ記憶部４０から要素グラフ４１を取得する。
攻撃シナリオ生成部５０は、分析対象情報１２が示す要素クラスに基づき、要素グラフ記憶部４０から要素グラフ４１を取得する。
【0051】
（ステップＳ１０８）
攻撃シナリオ生成部５０は、攻撃の始点から終点に至るループのない経路を全て抽出し、抽出した各経路について、要素グラフ４１を使用して経路の逆順（終点から始点方向）で分析することにより遷移可否を判定する。この際、攻撃シナリオ生成部５０は、ある経路上に遷移不可能な要素が含まれる場合に、当該ある経路を除外する。
攻撃シナリオ生成部５０は、除外されていない各経路上の各要素に対して利用可能な攻撃手法を接続することにより、攻撃シナリオグラフ６１を生成する。
攻撃シナリオ生成部５０は、攻撃の始点から終点に至るループのない経路を全て抽出し、抽出した各経路について、要素グラフ４１を使用して経路の逆順（終点から始点方向）で分析することにより遷移可否を判定する。この際、攻撃シナリオ生成部５０は、ある経路上に遷移不可能な要素が含まれる場合に、当該ある経路を除外する。
攻撃シナリオ生成部５０は、除外されていない各経路上の各要素に対して利用可能な攻撃手法を接続することにより、攻撃シナリオグラフ６１を生成する。
【0052】
（ステップＳ１０９）
攻撃シナリオ生成部５０は、生成した攻撃シナリオグラフ６１を攻撃シナリオ記憶部６０に保管する。
攻撃シナリオ生成部５０は、生成した攻撃シナリオグラフ６１を攻撃シナリオ記憶部６０に保管する。
【0053】
（ステップＳ１１０）
可視化部７０は、攻撃シナリオ記憶部６０から攻撃シナリオグラフ６１を取得する。
可視化部７０は、攻撃シナリオ記憶部６０から攻撃シナリオグラフ６１を取得する。
【0054】
（ステップＳ１１１）
可視化部７０は、攻撃シナリオグラフ６１が示す攻撃手法に関するＷｅｂサイトのＵＲＬ８１を外部Ｗｅｂサイト８０から取得する。
可視化部７０は、攻撃シナリオグラフ６１が示す攻撃手法に関するＷｅｂサイトのＵＲＬ８１を外部Ｗｅｂサイト８０から取得する。
【0055】
（ステップＳ１１２）
可視化部７０は、取得したＵＲＬ８１を用いてＷｅｂサイトに対するハイパーリンク９１を生成する。
可視化部７０は、取得したＵＲＬ８１を用いてＷｅｂサイトに対するハイパーリンク９１を生成する。
【0056】
（ステップＳ１１３）
可視化部７０は、攻撃シナリオグラフ６１が示す攻撃手法が使用するＣＶＥがある場合、ＣＶＥに関するＷｅｂサイトのＵＲＬ８１を取得する。
可視化部７０は、攻撃シナリオグラフ６１が示す攻撃手法が使用するＣＶＥがある場合、ＣＶＥに関するＷｅｂサイトのＵＲＬ８１を取得する。
【0057】
（ステップＳ１１４）
可視化部７０は、取得したＵＲＬ８１を用いてＷｅｂサイトに対するハイパーリンク９１を生成する。
可視化部７０は、取得したＵＲＬ８１を用いてＷｅｂサイトに対するハイパーリンク９１を生成する。
【0058】
（ステップＳ１１５）
可視化部７０は、生成したハイパーリンク９１を攻撃シナリオグラフ６１に対して付加することにより可視化用グラフ７１を生成する。
可視化部７０は、生成したハイパーリンク９１を攻撃シナリオグラフ６１に対して付加することにより可視化用グラフ７１を生成する。
【0059】
（ステップＳ１１６）
可視化部７０は、可視化用グラフ７１を画面９０に出力する。これにより、作業者１０は、画面９０上において可視化用グラフ７１を確認することができる。また、作業者１０は、ハイパーリンク９１をクリックすることにより、攻撃手法又はＣＶＥの詳細が記載されている外部Ｗｅｂサイト８０にアクセスすることができる。
可視化部７０は、可視化用グラフ７１を画面９０に出力する。これにより、作業者１０は、画面９０上において可視化用グラフ７１を確認することができる。また、作業者１０は、ハイパーリンク９１をクリックすることにより、攻撃手法又はＣＶＥの詳細が記載されている外部Ｗｅｂサイト８０にアクセスすることができる。
【0060】
（ステップＳ１１７）
作業者１０がハイパーリンク９１をクリックした場合、攻撃可視化装置１はステップＳ１１８に遷移する。それ以外の場合、攻撃可視化装置１はステップＳ１１９に遷移する。
作業者１０がハイパーリンク９１をクリックした場合、攻撃可視化装置１はステップＳ１１８に遷移する。それ以外の場合、攻撃可視化装置１はステップＳ１１９に遷移する。
【0061】
（ステップＳ１１８）
画面９０は、新規タブにおいて、クリックされたハイパーリンク９１に対応する外部Ｗｅｂサイト８０のＷｅｂページをロードする。
画面９０は、新規タブにおいて、クリックされたハイパーリンク９１に対応する外部Ｗｅｂサイト８０のＷｅｂページをロードする。
【0062】
（ステップＳ１１９）
作業者１０は、必要に応じて可視化条件１３を入力する。
作業者１０が可視化条件１３を入力した場合、攻撃可視化装置１はステップＳ１２０に遷移する。それ以外の場合、攻撃可視化装置１はステップＳ１２２に遷移する。
作業者１０は、必要に応じて可視化条件１３を入力する。
作業者１０が可視化条件１３を入力した場合、攻撃可視化装置１はステップＳ１２０に遷移する。それ以外の場合、攻撃可視化装置１はステップＳ１２２に遷移する。
【0063】
（ステップＳ１２０）
可視化部７０は、可視化条件１３を基に、可視化用グラフ７１の攻撃手法を戦術単位でフィルタリングする、あるいは、可視化用グラフ７１の要素又は攻撃手法名などを対象として検索ワードでフィルタリングする。なお、本ステップにおいてフィルタリング処理が実行された可視化用グラフ７１もまた可視化用グラフ７１である。
可視化部７０は、可視化条件１３を基に、可視化用グラフ７１の攻撃手法を戦術単位でフィルタリングする、あるいは、可視化用グラフ７１の要素又は攻撃手法名などを対象として検索ワードでフィルタリングする。なお、本ステップにおいてフィルタリング処理が実行された可視化用グラフ７１もまた可視化用グラフ７１である。
【0064】
（ステップＳ１２１）
可視化部７０は、フィルタリング処理が実行された可視化用グラフ７１を画面９０に出力する。
可視化部７０は、フィルタリング処理が実行された可視化用グラフ７１を画面９０に出力する。
【0065】
（ステップＳ１２２）
作業者１０が画面９０を閉じた場合、攻撃可視化装置１は本フローチャートの処理を終了する。それ以外の場合、攻撃可視化装置１はステップＳ１１７に遷移する。
作業者１０が画面９０を閉じた場合、攻撃可視化装置１は本フローチャートの処理を終了する。それ以外の場合、攻撃可視化装置１はステップＳ１１７に遷移する。
【0066】
【0067】
（ステップＳ２０１）
攻撃特定部２０は、環境情報１１に基づいて戦術と攻撃手法とを絞り込む。
攻撃特定部２０は、環境情報１１に基づいて戦術と攻撃手法とを絞り込む。
【0068】
（ステップＳ２０２）
攻撃特定部２０は、戦術順に攻撃手法を接続することにより、攻撃手法グラフを生成する。
攻撃特定部２０は、戦術順に攻撃手法を接続することにより、攻撃手法グラフを生成する。
【0069】
（ステップＳ２０３）
全ての攻撃手法に対する処理を実行した場合、攻撃特定部２０はステップＳ２３２に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２０４に遷移する。
全ての攻撃手法に対する処理を実行した場合、攻撃特定部２０はステップＳ２３２に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２０４に遷移する。
【0070】
（ステップＳ２０４）
攻撃特定部２０は、複合条件インスタンスを生成する。複合条件インスタンスは、複合条件クラスのインスタンスである。
攻撃特定部２０は、複合条件インスタンスを生成する。複合条件インスタンスは、複合条件クラスのインスタンスである。
【0071】
（ステップＳ２０５）
攻撃特定部２０は、キャンペーンＯＲ条件インスタンスを生成する。キャンペーンＯＲ条件インスタンスは、キャンペーンＯＲ条件クラスのインスタンスである。
攻撃特定部２０は、キャンペーンＯＲ条件インスタンスを生成する。キャンペーンＯＲ条件インスタンスは、キャンペーンＯＲ条件クラスのインスタンスである。
【0072】
（ステップＳ２０６）
攻撃特定部２０は、攻撃手法を実行可能なキャンペーンを特定し、特定したキャンペーンに関するクラス及びインスタンスを生成する。キャンペーンは攻撃の実例に当たる。
攻撃特定部２０は、攻撃手法を実行可能なキャンペーンを特定し、特定したキャンペーンに関するクラス及びインスタンスを生成する。キャンペーンは攻撃の実例に当たる。
【0073】
（ステップＳ２０７）
攻撃特定部２０は、キャンペーンクラスの「は成立する？」に対してＴｒｕｅを接続する。
攻撃特定部２０は、キャンペーンクラスの「は成立する？」に対してＴｒｕｅを接続する。
【0074】
（ステップＳ２０８）
攻撃特定部２０は、キャンペーンＯＲ条件インスタンスに対してキャンペーンインスタンスを接続する。
攻撃特定部２０は、キャンペーンＯＲ条件インスタンスに対してキャンペーンインスタンスを接続する。
【0075】
（ステップＳ２０９）
攻撃手法に紐づく未処理のキャンペーンがある場合、攻撃特定部２０はステップＳ２０６に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２３０に遷移する。
攻撃手法に紐づく未処理のキャンペーンがある場合、攻撃特定部２０はステップＳ２０６に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２３０に遷移する。
【0076】
（ステップＳ２１０）
攻撃特定部２０は、攻撃者グループＯＲ条件インスタンスを生成する。攻撃者グループＯＲ条件インスタンスは、攻撃者グループＯＲ条件クラスのインスタンスである。
攻撃特定部２０は、攻撃者グループＯＲ条件インスタンスを生成する。攻撃者グループＯＲ条件インスタンスは、攻撃者グループＯＲ条件クラスのインスタンスである。
【0077】
（ステップＳ２１１）
攻撃特定部２０は、攻撃手法を実行可能な攻撃者グループを特定し、特定した攻撃者グループに関するクラス及びインスタンスを生成する。
攻撃特定部２０は、攻撃手法を実行可能な攻撃者グループを特定し、特定した攻撃者グループに関するクラス及びインスタンスを生成する。
【0078】
（ステップＳ２１２）
攻撃特定部２０は、攻撃者グループクラスの「は成立する？」に対してＴｒｕｅを接続する。
攻撃特定部２０は、攻撃者グループクラスの「は成立する？」に対してＴｒｕｅを接続する。
【0079】
（ステップＳ２１３）
攻撃特定部２０は、攻撃者グループＯＲ条件インスタンスに対して攻撃者グループインスタンスを接続する。
攻撃特定部２０は、攻撃者グループＯＲ条件インスタンスに対して攻撃者グループインスタンスを接続する。
【0080】
（ステップＳ２１４）
攻撃手法に紐づく未処理の攻撃者グループがある場合、攻撃特定部２０はステップＳ２１１に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２３０に遷移する。
攻撃手法に紐づく未処理の攻撃者グループがある場合、攻撃特定部２０はステップＳ２１１に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２３０に遷移する。
【0081】
（ステップＳ２１５）
攻撃特定部２０は、ソフトウェアＯＲ条件インスタンスを生成する。ソフトウェアＯＲ条件インスタンスは、ソフトウェアＯＲ条件クラスのインスタンスである。
攻撃特定部２０は、ソフトウェアＯＲ条件インスタンスを生成する。ソフトウェアＯＲ条件インスタンスは、ソフトウェアＯＲ条件クラスのインスタンスである。
【0082】
（ステップＳ２１６）
攻撃特定部２０は、攻撃手法を実行可能なソフトウェアを特定し、特定したソフトウェアに関するクラス及びインスタンスを生成する。
攻撃特定部２０は、攻撃手法を実行可能なソフトウェアを特定し、特定したソフトウェアに関するクラス及びインスタンスを生成する。
【0083】
（ステップＳ２１７）
攻撃特定部２０は、ソフトウェアクラスの「は成立する？」に対してＴｒｕｅを接続する。
攻撃特定部２０は、ソフトウェアクラスの「は成立する？」に対してＴｒｕｅを接続する。
【0084】
（ステップＳ２１８）
攻撃特定部２０は、ソフトウェアＯＲ条件インスタンスに対してソフトウェアインスタンスを接続する。
攻撃特定部２０は、ソフトウェアＯＲ条件インスタンスに対してソフトウェアインスタンスを接続する。
【0085】
（ステップＳ２１９）
攻撃手法に紐づく未処理のソフトウェアがある場合、攻撃特定部２０はステップＳ２１６に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２３０に遷移する。
攻撃手法に紐づく未処理のソフトウェアがある場合、攻撃特定部２０はステップＳ２１６に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２３０に遷移する。
【0086】
（ステップＳ２２０）
攻撃特定部２０は、緩和策ＡＮＤ条件インスタンスを生成する。緩和策ＡＮＤ条件インスタンスは、緩和策ＡＮＤ条件クラスのインスタンスである。
攻撃特定部２０は、緩和策ＡＮＤ条件インスタンスを生成する。緩和策ＡＮＤ条件インスタンスは、緩和策ＡＮＤ条件クラスのインスタンスである。
【0087】
（ステップＳ２２１）
攻撃特定部２０は、攻撃手法を実行可能な緩和策を特定し、特定した緩和策に関するクラス及びインスタンスを生成する。
攻撃特定部２０は、攻撃手法を実行可能な緩和策を特定し、特定した緩和策に関するクラス及びインスタンスを生成する。
【0088】
（ステップＳ２２２）
攻撃特定部２０は、緩和策クラスの「は成立する？」に対してＦａｌｓｅを接続する。
攻撃特定部２０は、緩和策クラスの「は成立する？」に対してＦａｌｓｅを接続する。
【0089】
（ステップＳ２２３）
攻撃特定部２０は、緩和策ＡＮＤ条件インスタンスに対して緩和策インスタンスを接続する。
攻撃特定部２０は、緩和策ＡＮＤ条件インスタンスに対して緩和策インスタンスを接続する。
【0090】
（ステップＳ２２４）
攻撃手法に紐づく未処理の緩和策がある場合、攻撃特定部２０はステップＳ２２１に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２３０に遷移する。
攻撃手法に紐づく未処理の緩和策がある場合、攻撃特定部２０はステップＳ２２１に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２３０に遷移する。
【0091】
（ステップＳ２２５）
攻撃特定部２０は、検知策ＡＮＤ条件インスタンスを生成する。検知策ＡＮＤ条件インスタンスは、検知策ＡＮＤ条件クラスのインスタンスである。
攻撃特定部２０は、検知策ＡＮＤ条件インスタンスを生成する。検知策ＡＮＤ条件インスタンスは、検知策ＡＮＤ条件クラスのインスタンスである。
【0092】
（ステップＳ２２６）
攻撃特定部２０は、攻撃手法を実行可能な検知策を特定し、特定した検知策に関するクラス及びインスタンスを生成する。
攻撃特定部２０は、攻撃手法を実行可能な検知策を特定し、特定した検知策に関するクラス及びインスタンスを生成する。
【0093】
（ステップＳ２２７）
攻撃特定部２０は、検知策クラスの「は成立する？」に対してＦａｌｓｅを接続する。
攻撃特定部２０は、検知策クラスの「は成立する？」に対してＦａｌｓｅを接続する。
【0094】
（ステップＳ２２８）
攻撃特定部２０は、検知策ＡＮＤ条件インスタンスに対して検知策インスタンスを接続する。
攻撃特定部２０は、検知策ＡＮＤ条件インスタンスに対して検知策インスタンスを接続する。
【0095】
（ステップＳ２２９）
攻撃手法に紐づく未処理の検知策がある場合、攻撃特定部２０はステップＳ２２６に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２３０に遷移する。
攻撃手法に紐づく未処理の検知策がある場合、攻撃特定部２０はステップＳ２２６に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２３０に遷移する。
【0096】
（ステップＳ２３０）
攻撃特定部２０は、複合条件インスタンスに対して、キャンペーンＯＲ条件インスタンスと、攻撃者グループＯＲ条件インスタンスと、ソフトウェアＯＲ条件インスタンスと、緩和策ＡＮＤ条件インスタンスと、検知策ＡＮＤ条件インスタンスとの各々を接続する。
攻撃特定部２０は、複合条件インスタンスに対して、キャンペーンＯＲ条件インスタンスと、攻撃者グループＯＲ条件インスタンスと、ソフトウェアＯＲ条件インスタンスと、緩和策ＡＮＤ条件インスタンスと、検知策ＡＮＤ条件インスタンスとの各々を接続する。
【0097】
（ステップＳ２３１）
攻撃特定部２０は、攻撃手法の攻撃成立条件に対して複合条件インスタンスを接続する。
攻撃特定部２０は、攻撃手法の攻撃成立条件に対して複合条件インスタンスを接続する。
【0098】
（ステップＳ２３２）
攻撃特定部２０は、要素グラフ４１として空のグラフを設定する。
攻撃特定部２０は、要素グラフ４１として空のグラフを設定する。
【0099】
（ステップＳ２３３）
攻撃特定部２０は、攻撃成立条件グラフが示す接続関係を含む攻撃手法のうち、まだ選択されていない攻撃手法を１つ選択し、選択した攻撃手法を変数「攻撃手法」に代入する。
攻撃特定部２０は、攻撃成立条件グラフが示す接続関係を含む攻撃手法のうち、まだ選択されていない攻撃手法を１つ選択し、選択した攻撃手法を変数「攻撃手法」に代入する。
【0100】
（ステップＳ２３４）
攻撃特定部２０は、「攻撃手法」に紐づく複合条件インスタンスを、変数「複合条件インスタンス」に代入する。
攻撃特定部２０は、「攻撃手法」に紐づく複合条件インスタンスを、変数「複合条件インスタンス」に代入する。
【0101】
（ステップＳ２３５）
攻撃特定部２０は、変数「キャンペーンＲＥＳＵＬＴ」にＦａｌｓｅを代入する。
攻撃特定部２０は、変数「キャンペーンＲＥＳＵＬＴ」にＦａｌｓｅを代入する。
【0102】
（ステップＳ２３６）
攻撃特定部２０は、キャンペーンＯＲ条件インスタンスからキャンペーンインスタンスを１つ選択する。
攻撃特定部２０は、キャンペーンＯＲ条件インスタンスからキャンペーンインスタンスを１つ選択する。
【0103】
（ステップＳ２３７）
攻撃特定部２０は、変数「ＢＯＯＬ」に対してキャンペーンクラスの「は成立する？」の値を代入する。
攻撃特定部２０は、変数「ＢＯＯＬ」に対してキャンペーンクラスの「は成立する？」の値を代入する。
【0104】
（ステップＳ２３８）
選択したキャンペーンインスタンスが環境情報１１に存在する場合、攻撃特定部２０はステップＳ２３９に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２４０に遷移する。
選択したキャンペーンインスタンスが環境情報１１に存在する場合、攻撃特定部２０はステップＳ２３９に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２４０に遷移する。
【0105】
（ステップＳ２３９）
攻撃特定部２０は、変数「キャンペーンＲＥＳＵＬＴ」にＴｒｕｅを代入する。
攻撃特定部２０は、変数「キャンペーンＲＥＳＵＬＴ」にＴｒｕｅを代入する。
【0106】
（ステップＳ２４０）
キャンペーンＯＲ条件インスタンスに未処理のキャンペーンインスタンスがある場合、攻撃特定部２０はステップＳ２３６に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２６５に遷移する。
キャンペーンＯＲ条件インスタンスに未処理のキャンペーンインスタンスがある場合、攻撃特定部２０はステップＳ２３６に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２６５に遷移する。
【0107】
（ステップＳ２４１）
攻撃特定部２０は、変数「攻撃者グループＲＥＳＵＬＴ」にＦａｌｓｅを代入する。
攻撃特定部２０は、変数「攻撃者グループＲＥＳＵＬＴ」にＦａｌｓｅを代入する。
【0108】
（ステップＳ２４２）
攻撃特定部２０は、攻撃者グループＯＲ条件インスタンスから攻撃者グループインスタンスを１つ選択する。
攻撃特定部２０は、攻撃者グループＯＲ条件インスタンスから攻撃者グループインスタンスを１つ選択する。
【0109】
（ステップＳ２４３）
攻撃特定部２０は、変数「ＢＯＯＬ」に対して攻撃者グループクラスの「は成立する？」の値を代入する。
攻撃特定部２０は、変数「ＢＯＯＬ」に対して攻撃者グループクラスの「は成立する？」の値を代入する。
【0110】
（ステップＳ２４４）
選択した攻撃者グループインスタンスが環境情報１１に存在する場合、攻撃特定部２０はステップＳ２４５に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２４６に遷移する。
選択した攻撃者グループインスタンスが環境情報１１に存在する場合、攻撃特定部２０はステップＳ２４５に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２４６に遷移する。
【0111】
（ステップＳ２４５）
攻撃特定部２０は、変数「攻撃者グループＲＥＳＵＬＴ」にＴｒｕｅを代入する。
攻撃特定部２０は、変数「攻撃者グループＲＥＳＵＬＴ」にＴｒｕｅを代入する。
【0112】
（ステップＳ２４６）
攻撃者グループＯＲ条件インスタンスに未処理の攻撃者グループインスタンスがある場合、攻撃特定部２０はステップＳ２４２に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２６５に遷移する。
攻撃者グループＯＲ条件インスタンスに未処理の攻撃者グループインスタンスがある場合、攻撃特定部２０はステップＳ２４２に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２６５に遷移する。
【0113】
（ステップＳ２４７）
攻撃特定部２０は、変数「ソフトウェアＲＥＳＵＬＴ」にＦａｌｓｅを代入する。
攻撃特定部２０は、変数「ソフトウェアＲＥＳＵＬＴ」にＦａｌｓｅを代入する。
【0114】
（ステップＳ２４８）
攻撃特定部２０は、ソフトウェアＯＲ条件インスタンスからソフトウェアインスタンスを１つ選択する。
攻撃特定部２０は、ソフトウェアＯＲ条件インスタンスからソフトウェアインスタンスを１つ選択する。
【0115】
（ステップＳ２４９）
攻撃特定部２０は、変数「ＢＯＯＬ」に対してソフトウェアクラスの「は成立する？」の値を代入する。
攻撃特定部２０は、変数「ＢＯＯＬ」に対してソフトウェアクラスの「は成立する？」の値を代入する。
【0116】
（ステップＳ２５０）
選択したソフトウェアインスタンスが環境情報１１に存在する場合、攻撃特定部２０はステップＳ２５１に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２５２に遷移する。
選択したソフトウェアインスタンスが環境情報１１に存在する場合、攻撃特定部２０はステップＳ２５１に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２５２に遷移する。
【0117】
（ステップＳ２５１）
攻撃特定部２０は、変数「ソフトウェアＲＥＳＵＬＴ」にＴｒｕｅを代入する。
攻撃特定部２０は、変数「ソフトウェアＲＥＳＵＬＴ」にＴｒｕｅを代入する。
【0118】
（ステップＳ２５２）
ソフトウェアＯＲ条件インスタンスに未処理のソフトウェアインスタンスがある場合、攻撃特定部２０はステップＳ２４８に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２６５に遷移する。
ソフトウェアＯＲ条件インスタンスに未処理のソフトウェアインスタンスがある場合、攻撃特定部２０はステップＳ２４８に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２６５に遷移する。
【0119】
（ステップＳ２５３）
攻撃特定部２０は、変数「緩和策ＲＥＳＵＬＴ」にＴｒｕｅを代入する。
攻撃特定部２０は、変数「緩和策ＲＥＳＵＬＴ」にＴｒｕｅを代入する。
【0120】
（ステップＳ２５４）
攻撃特定部２０は、緩和策ＡＮＤ条件インスタンスから緩和策インスタンスを１つ選択する。
攻撃特定部２０は、緩和策ＡＮＤ条件インスタンスから緩和策インスタンスを１つ選択する。
【0121】
（ステップＳ２５５）
攻撃特定部２０は、変数「ＢＯＯＬ」に対して緩和策クラスの「は成立する？」の値を代入する。
攻撃特定部２０は、変数「ＢＯＯＬ」に対して緩和策クラスの「は成立する？」の値を代入する。
【0122】
（ステップＳ２５６）
選択した緩和策インスタンスが環境情報１１に存在する場合、攻撃特定部２０はステップＳ２５８に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２５７に遷移する。
選択した緩和策インスタンスが環境情報１１に存在する場合、攻撃特定部２０はステップＳ２５８に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２５７に遷移する。
【0123】
（ステップＳ２５７）
攻撃特定部２０は、変数「緩和策ＲＥＳＵＬＴ」にＦａｌｓｅを代入する。
攻撃特定部２０は、変数「緩和策ＲＥＳＵＬＴ」にＦａｌｓｅを代入する。
【0124】
（ステップＳ２５８）
緩和策ＡＮＤ条件インスタンスに未処理の緩和策インスタンスがある場合、攻撃特定部２０はステップＳ２５４に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２６５に遷移する。
緩和策ＡＮＤ条件インスタンスに未処理の緩和策インスタンスがある場合、攻撃特定部２０はステップＳ２５４に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２６５に遷移する。
【0125】
（ステップＳ２５９）
攻撃特定部２０は、変数「検知策ＲＥＳＵＬＴ」にＴｒｕｅを代入する。
攻撃特定部２０は、変数「検知策ＲＥＳＵＬＴ」にＴｒｕｅを代入する。
【0126】
（ステップＳ２６０）
攻撃特定部２０は、検知策ＡＮＤ条件インスタンスから検知策インスタンスを１つ選択する。
攻撃特定部２０は、検知策ＡＮＤ条件インスタンスから検知策インスタンスを１つ選択する。
【0127】
（ステップＳ２６１）
攻撃特定部２０は、変数「ＢＯＯＬ」に対して検知策クラスの「は成立する？」の値を代入する。
攻撃特定部２０は、変数「ＢＯＯＬ」に対して検知策クラスの「は成立する？」の値を代入する。
【0128】
（ステップＳ２６２）
選択した検知策インスタンスが環境情報１１に存在する場合、攻撃特定部２０はステップＳ２６４に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２６３に遷移する。
選択した検知策インスタンスが環境情報１１に存在する場合、攻撃特定部２０はステップＳ２６４に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２６３に遷移する。
【0129】
（ステップＳ２６３）
攻撃特定部２０は、変数「検知策ＲＥＳＵＬＴ」にＦａｌｓｅを代入する。
攻撃特定部２０は、変数「検知策ＲＥＳＵＬＴ」にＦａｌｓｅを代入する。
【0130】
（ステップＳ２６４）
検知策ＡＮＤ条件インスタンスに未処理の検知策インスタンスがある場合、攻撃特定部２０はステップＳ２６０に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２６５に遷移する。
検知策ＡＮＤ条件インスタンスに未処理の検知策インスタンスがある場合、攻撃特定部２０はステップＳ２６０に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２６５に遷移する。
【0131】
（ステップＳ２６５）
攻撃特定部２０は、変数「複合条件ＲＥＳＵＬＴ」に対して、変数「キャンペーンＲＥＳＵＬＴ」と、変数「攻撃者グループＲＥＳＵＬＴ」と、変数「ソフトウェアＲＥＳＵＬＴ」と、変数「緩和策ＲＥＳＵＬＴ」と、変数「検知策ＲＥＳＵＬＴ」との論理積を代入する。
攻撃特定部２０は、変数「複合条件ＲＥＳＵＬＴ」に対して、変数「キャンペーンＲＥＳＵＬＴ」と、変数「攻撃者グループＲＥＳＵＬＴ」と、変数「ソフトウェアＲＥＳＵＬＴ」と、変数「緩和策ＲＥＳＵＬＴ」と、変数「検知策ＲＥＳＵＬＴ」との論理積を代入する。
【0132】
（ステップＳ２６６）
変数「複合条件ＲＥＳＵＬＴ」の値がＴｒｕｅである場合、攻撃特定部２０はステップＳ２６７に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２６８に遷移する。
変数「複合条件ＲＥＳＵＬＴ」の値がＴｒｕｅである場合、攻撃特定部２０はステップＳ２６７に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２６８に遷移する。
【0133】
（ステップＳ２６７）
攻撃特定部２０は、要素グラフ４１に対して「攻撃手法」を追加する。
攻撃特定部２０は、要素グラフ４１に対して「攻撃手法」を追加する。
【0134】
（ステップＳ２６８）
攻撃成立条件グラフが示す全ての複合条件インスタンスに対して処理を実行した場合、攻撃特定部２０はステップＳ２６９に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２３３に遷移する。
攻撃成立条件グラフが示す全ての複合条件インスタンスに対して処理を実行した場合、攻撃特定部２０はステップＳ２６９に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２３３に遷移する。
【0135】
（ステップＳ２６９）
攻撃特定部２０は、要素グラフ４１を出力する。
攻撃特定部２０は、要素グラフ４１を出力する。
【0136】
【0137】
（ステップＳ５０１）
攻撃シナリオ生成部５０は、始点要素から終点要素に至る経路を全て抽出し、抽出した各経路を経路群に含める。なお、攻撃シナリオ生成部５０はループのある経路を抽出しない。
攻撃シナリオ生成部５０は、始点要素から終点要素に至る経路を全て抽出し、抽出した各経路を経路群に含める。なお、攻撃シナリオ生成部５０はループのある経路を抽出しない。
【0138】
（ステップＳ５０２）
攻撃シナリオ生成部５０は、攻撃シナリオグラフ６１として空のグラフを設定する。
攻撃シナリオ生成部５０は、攻撃シナリオグラフ６１として空のグラフを設定する。
【0139】
（ステップＳ５０３）
攻撃シナリオ生成部５０は、変数「遷移可否」にＴｒｕｅを代入する。
攻撃シナリオ生成部５０は、変数「遷移可否」にＴｒｕｅを代入する。
【0140】
（ステップＳ５０４）
攻撃シナリオ生成部５０は、経路群からまだ選択されていない経路を１つ選択し、選択した経路を変数「経路」に代入する。
攻撃シナリオ生成部５０は、経路群からまだ選択されていない経路を１つ選択し、選択した経路を変数「経路」に代入する。
【0141】
（ステップＳ５０５）
攻撃シナリオ生成部５０は、「経路」の要素を逆順にソートする。
攻撃シナリオ生成部５０は、「経路」の要素を逆順にソートする。
【0142】
（ステップＳ５０６）
攻撃シナリオ生成部５０は、「経路」の先頭の要素を選択し、選択した要素を変数「要素」に代入する。
攻撃シナリオ生成部５０は、「経路」の先頭の要素を選択し、選択した要素を変数「要素」に代入する。
【0143】
（ステップＳ５０７）
攻撃シナリオ生成部５０は、「要素」のクラスと同じクラスの要素グラフ４１を選択する。
攻撃シナリオ生成部５０は、「要素」のクラスと同じクラスの要素グラフ４１を選択する。
【0144】
（ステップＳ５０８）
選択した要素グラフ４１において遷移に必要な攻撃手法への経路が存在しない場合、攻撃シナリオ生成部５０はステップＳ５０９に遷移する。それ以外の場合、攻撃シナリオ生成部５０はステップＳ５１０に遷移する。
選択した要素グラフ４１において遷移に必要な攻撃手法への経路が存在しない場合、攻撃シナリオ生成部５０はステップＳ５０９に遷移する。それ以外の場合、攻撃シナリオ生成部５０はステップＳ５１０に遷移する。
【0145】
（ステップＳ５０９）
攻撃シナリオ生成部５０は、変数「遷移可否」にＦａｌｓｅを代入する。
攻撃シナリオ生成部５０は、変数「遷移可否」にＦａｌｓｅを代入する。
【0146】
（ステップＳ５１０）
攻撃シナリオ生成部５０は、「経路」から「要素」を取り除く。
攻撃シナリオ生成部５０は、「経路」から「要素」を取り除く。
【0147】
（ステップＳ５１１）
「経路」が空である場合、攻撃シナリオ生成部５０はステップＳ５１２に遷移する。それ以外の場合、攻撃シナリオ生成部５０はステップＳ５０６に遷移する。
「経路」が空である場合、攻撃シナリオ生成部５０はステップＳ５１２に遷移する。それ以外の場合、攻撃シナリオ生成部５０はステップＳ５０６に遷移する。
【0148】
（ステップＳ５１２）
変数「遷移可否」の値がＴｒｕｅである場合、攻撃シナリオ生成部５０はステップＳ５１３に遷移する。それ以外の場合、攻撃シナリオ生成部５０はステップＳ５１４に遷移する。
変数「遷移可否」の値がＴｒｕｅである場合、攻撃シナリオ生成部５０はステップＳ５１３に遷移する。それ以外の場合、攻撃シナリオ生成部５０はステップＳ５１４に遷移する。
【0149】
（ステップＳ５１３）
攻撃シナリオ生成部５０は、攻撃シナリオグラフ６１に「経路」を追加する。
攻撃シナリオ生成部５０は、攻撃シナリオグラフ６１に「経路」を追加する。
【0150】
（ステップＳ５１４）
経路群に未処理の経路がある場合、攻撃シナリオ生成部５０はステップＳ５０３に遷移する。それ以外の場合、攻撃シナリオ生成部５０はステップＳ５１５に遷移する。
経路群に未処理の経路がある場合、攻撃シナリオ生成部５０はステップＳ５０３に遷移する。それ以外の場合、攻撃シナリオ生成部５０はステップＳ５１５に遷移する。
【0151】
（ステップＳ５１５）
攻撃シナリオ生成部５０は、攻撃シナリオグラフ６１から要素を１つ選択し、選択した要素を変数「要素」に代入する。
攻撃シナリオ生成部５０は、攻撃シナリオグラフ６１から要素を１つ選択し、選択した要素を変数「要素」に代入する。
【0152】
（ステップＳ５１６）
攻撃シナリオ生成部５０は、「要素」のクラスと同じクラスの要素グラフ４１を選択する。
攻撃シナリオ生成部５０は、「要素」のクラスと同じクラスの要素グラフ４１を選択する。
【0153】
（ステップＳ５１７）
攻撃シナリオ生成部５０は、選択した要素グラフ４１が示す攻撃手法を全て抽出する。
攻撃シナリオ生成部５０は、選択した要素グラフ４１が示す攻撃手法を全て抽出する。
【0154】
（ステップＳ５１８）
攻撃シナリオ生成部５０は、攻撃シナリオグラフ６１の「要素」に抽出した各攻撃手法を接続する。
攻撃シナリオ生成部５０は、攻撃シナリオグラフ６１の「要素」に抽出した各攻撃手法を接続する。
【0155】
（ステップＳ５１９）
攻撃シナリオグラフ６１に未処理の要素がある場合、攻撃シナリオ生成部５０はステップＳ５１５に遷移する。それ以外の場合、攻撃シナリオ生成部５０はステップＳ５２０に遷移する。
攻撃シナリオグラフ６１に未処理の要素がある場合、攻撃シナリオ生成部５０はステップＳ５１５に遷移する。それ以外の場合、攻撃シナリオ生成部５０はステップＳ５２０に遷移する。
【0156】
（ステップＳ５２０）
攻撃シナリオ生成部５０は、攻撃シナリオグラフ６１を出力する。
攻撃シナリオ生成部５０は、攻撃シナリオグラフ６１を出力する。
【0157】
【0158】
（ステップＳ７０１）
可視化部７０は、可視化用グラフ７１に対して攻撃シナリオグラフ６１を設定する。
可視化部７０は、可視化用グラフ７１に対して攻撃シナリオグラフ６１を設定する。
【0159】
（ステップＳ７０２）
可視化部７０は、可視化用グラフ７１が示す「攻撃手法」に対してハイパーリンク９１を接続する。
可視化部７０は、可視化用グラフ７１が示す「攻撃手法」に対してハイパーリンク９１を接続する。
【0160】
（ステップＳ７０３）
可視化条件１３を通じて可視化する攻撃手法が指定された場合、可視化部７０はステップＳ７０４に遷移する。それ以外の場合、可視化部７０はステップＳ７０５に遷移する。
可視化条件１３を通じて可視化する攻撃手法が指定された場合、可視化部７０はステップＳ７０４に遷移する。それ以外の場合、可視化部７０はステップＳ７０５に遷移する。
【0161】
（ステップＳ７０４）
可視化部７０は、可視化用グラフ７１のうち、可視化条件１３により指定された攻撃手法を可視化する。
可視化部７０は、可視化用グラフ７１のうち、可視化条件１３により指定された攻撃手法を可視化する。
【0162】
（ステップＳ７０５）
可視化条件１３を通じて不可視化する攻撃手法が指定された場合、可視化部７０はステップＳ７０６に遷移する。それ以外の場合、可視化部７０はステップＳ７０７に遷移する。
可視化条件１３を通じて不可視化する攻撃手法が指定された場合、可視化部７０はステップＳ７０６に遷移する。それ以外の場合、可視化部７０はステップＳ７０７に遷移する。
【0163】
（ステップＳ７０６）
可視化部７０は、可視化用グラフ７１のうち、可視化条件１３により指定された攻撃手法を不可視化する。
可視化部７０は、可視化用グラフ７１のうち、可視化条件１３により指定された攻撃手法を不可視化する。
【0164】
（ステップＳ７０７）
可視化条件１３を通じて攻撃手法の検索ワードが指定された場合、可視化部７０はステップＳ７０８に遷移する。それ以外の場合、可視化部７０はステップＳ７０９に遷移する。
可視化条件１３を通じて攻撃手法の検索ワードが指定された場合、可視化部７０はステップＳ７０８に遷移する。それ以外の場合、可視化部７０はステップＳ７０９に遷移する。
【0165】
（ステップＳ７０８）
可視化部７０は、可視化用グラフ７１が示す攻撃手法のうち可視化条件１３により指定された検索ワードを含むものを可視化し、それ以外の攻撃手法を不可視化する。
可視化部７０は、可視化用グラフ７１が示す攻撃手法のうち可視化条件１３により指定された検索ワードを含むものを可視化し、それ以外の攻撃手法を不可視化する。
【0166】
（ステップＳ７０９）
可視化部７０は、可視化用グラフ７１を出力する。
可視化部７０は、可視化用グラフ７１を出力する。
【0167】
＊＊＊実施の形態１の効果の説明＊＊＊
以上のように、本実施の形態では、複雑な攻撃成立条件を、ＡＮＤ条件とＯＲ条件とＮＯＴ条件との少なくともいずれかを示すグラフにより、矛盾がなく、かつ冗長性がなく表現する。そのため、本実施の形態によれば、従来の述語論理又は決定表を用いる手法と比較して、攻撃シナリオを導出するための攻撃成立判定をより高速化することができる。
また、本実施の形態によれば、ＡＮＤ条件とＯＲ条件との各々に関する成立条件の特性を利用し、条件判定を省略することができる。
以上のように、本実施の形態では、複雑な攻撃成立条件を、ＡＮＤ条件とＯＲ条件とＮＯＴ条件との少なくともいずれかを示すグラフにより、矛盾がなく、かつ冗長性がなく表現する。そのため、本実施の形態によれば、従来の述語論理又は決定表を用いる手法と比較して、攻撃シナリオを導出するための攻撃成立判定をより高速化することができる。
また、本実施の形態によれば、ＡＮＤ条件とＯＲ条件との各々に関する成立条件の特性を利用し、条件判定を省略することができる。
【0168】
また、様々な条件を設定することなどにより攻撃シナリオを様々な表現形式で可視化する需要があるものの、従来技術において、攻撃シナリオが増えると視認性が低下するという課題がある。一方、本実施の形態では、攻撃シナリオをドリルダウン表示することができ、攻撃の種類に応じて各要素の可視化及び不可視化を切り替えることができ、また、攻撃名を指定して攻撃手法を検索することができる。そのため、本実施の形態によれば、攻撃シナリオが複雑になったり、攻撃シナリオの数が増えたりしても視認性が低下しにくい。
【0169】
＊＊＊他の構成＊＊＊
＜変形例１＞
図２５は、本変形例に係る攻撃可視化装置１のハードウェア構成例を示している。
攻撃可視化装置１は、プロセッサ２０１、プロセッサ２０１とメモリ２０２、プロセッサ２０１と補助記憶装置２０３、あるいはプロセッサ２０１とメモリ２０２と補助記憶装置２０３とに代えて、処理回路２０８を備える。
処理回路２０８は、攻撃可視化装置１が備える各部の少なくとも一部を実現するハードウェアである。
処理回路２０８は、専用のハードウェアであってもよく、また、メモリ２０２に格納されるプログラムを実行するプロセッサであってもよい。
＜変形例１＞
図２５は、本変形例に係る攻撃可視化装置１のハードウェア構成例を示している。
攻撃可視化装置１は、プロセッサ２０１、プロセッサ２０１とメモリ２０２、プロセッサ２０１と補助記憶装置２０３、あるいはプロセッサ２０１とメモリ２０２と補助記憶装置２０３とに代えて、処理回路２０８を備える。
処理回路２０８は、攻撃可視化装置１が備える各部の少なくとも一部を実現するハードウェアである。
処理回路２０８は、専用のハードウェアであってもよく、また、メモリ２０２に格納されるプログラムを実行するプロセッサであってもよい。
【0170】
処理回路２０８が専用のハードウェアである場合、処理回路２０８は、具体例として、単一回路、複合回路、プログラム化したプロセッサ、並列プログラム化したプロセッサ、ＡＳＩＣ（Ａｐｐｌｉｃａｔｉｏｎ Ｓｐｅｃｉｆｉｃ Ｉｎｔｅｇｒａｔｅｄ Ｃｉｒｃｕｉｔ）、ＦＰＧＡ（Ｆｉｅｌｄ Ｐｒｏｇｒａｍｍａｂｌｅ Ｇａｔｅ Ａｒｒａｙ）又はこれらの組み合わせである。
攻撃可視化装置１は、処理回路２０８を代替する複数の処理回路を備えてもよい。複数の処理回路は、処理回路２０８の役割を分担する。
攻撃可視化装置１は、処理回路２０８を代替する複数の処理回路を備えてもよい。複数の処理回路は、処理回路２０８の役割を分担する。
【0171】
攻撃可視化装置１において、一部の機能が専用のハードウェアによって実現されて、残りの機能がソフトウェア又はファームウェアによって実現されてもよい。
【0172】
処理回路２０８は、具体例として、ハードウェア、ソフトウェア、ファームウェア、又はこれらの組み合わせにより実現される。
プロセッサ２０１とメモリ２０２と補助記憶装置２０３と処理回路２０８とを、総称して「プロセッシングサーキットリー」という。つまり、攻撃可視化装置１の各機能構成要素の機能は、プロセッシングサーキットリーにより実現される。
他の実施の形態に係る攻撃可視化装置１についても、本変形例と同様の構成であってもよい。
プロセッサ２０１とメモリ２０２と補助記憶装置２０３と処理回路２０８とを、総称して「プロセッシングサーキットリー」という。つまり、攻撃可視化装置１の各機能構成要素の機能は、プロセッシングサーキットリーにより実現される。
他の実施の形態に係る攻撃可視化装置１についても、本変形例と同様の構成であってもよい。
【0173】
実施の形態２．
以下、主に前述した実施の形態と異なる点について、図面を参照しながら説明する。
以下、主に前述した実施の形態と異なる点について、図面を参照しながら説明する。
【0174】
【0175】
結果キャッシュ部１００は、攻撃成立条件２１を受け付け、受け付けた攻撃成立条件２１に対応する結果２２を出力する。結果キャッシュ部１００は第１結果キャッシュ部とも呼ばれる。第１結果キャッシュ部は、対象攻撃手法の成立可否に関する判定結果を示すデータを保管する。
攻撃成立条件２１は、攻撃成立条件２１に対応する判定結果を結果キャッシュ部１００に対して問い合わせることに用いられる。
攻撃成立条件２１が過去に判定済である場合、結果２２は攻撃成立条件２１に対応する判定結果を示す情報である。それ以外の場合、結果２２は、攻撃成立条件２１が過去に判定済ではないことを示す情報である。
攻撃成立条件２１は、攻撃成立条件２１に対応する判定結果を結果キャッシュ部１００に対して問い合わせることに用いられる。
攻撃成立条件２１が過去に判定済である場合、結果２２は攻撃成立条件２１に対応する判定結果を示す情報である。それ以外の場合、結果２２は、攻撃成立条件２１が過去に判定済ではないことを示す情報である。
【0176】
図２７は、結果キャッシュ部１００の処理を説明する図である。ここで、同一要素内において環境情報１１は変化しない。そのため、同一の単一条件に関する判定結果は変化しない。そこで、結果キャッシュ部１００は、攻撃成立条件が示す単一条件のうち、過去に判定済である単一条件に関する判定結果を直ちに返却する。
図２７が示す例において、「ｅｘｅｃｕｔｉｏｎ＿Ｐｙｔｈｏｎ＿ＯＲ条件」と「ｉｎｉｔｉａｌ－ａｃｃｅｓｓ＿Ｄｒｉｖｅ－ｂｙ－Ｃｏｍｐｒｏｍｉｓｅ＿ＯＲ条件」との判定において、共に「ＡＰＴ１９を持つか？」という単一条件の判定が実行される。そのため、結果キャッシュ部１００は、「ｅｘｅｃｕｔｉｏｎ＿Ｐｙｔｈｏｎ＿ＯＲ条件」に関して当該単一条件がＴｒｕｅと判定済である場合に、「ｉｎｉｔｉａｌ－ａｃｃｅｓｓ＿Ｄｒｉｖｅ－ｂｙ－Ｃｏｍｐｒｏｍｉｓｅ＿ＯＲ条件」を即時にＴｒｕｅと判定する。
図２７が示す例において、「ｅｘｅｃｕｔｉｏｎ＿Ｐｙｔｈｏｎ＿ＯＲ条件」と「ｉｎｉｔｉａｌ－ａｃｃｅｓｓ＿Ｄｒｉｖｅ－ｂｙ－Ｃｏｍｐｒｏｍｉｓｅ＿ＯＲ条件」との判定において、共に「ＡＰＴ１９を持つか？」という単一条件の判定が実行される。そのため、結果キャッシュ部１００は、「ｅｘｅｃｕｔｉｏｎ＿Ｐｙｔｈｏｎ＿ＯＲ条件」に関して当該単一条件がＴｒｕｅと判定済である場合に、「ｉｎｉｔｉａｌ－ａｃｃｅｓｓ＿Ｄｒｉｖｅ－ｂｙ－Ｃｏｍｐｒｏｍｉｓｅ＿ＯＲ条件」を即時にＴｒｕｅと判定する。
【0177】
本実施の形態に係る攻撃特定部２０は、対象攻撃手法の成立可否を判定する際に、結果キャッシュ部１００に保管されているデータを活用する。つまり、攻撃特定部２０は、単一条件の判定において結果キャッシュ部１００を活用する。
【0178】
＊＊＊動作の説明＊＊＊
攻撃可視化システム９９の動作に関して、実施の形態１との差分を主に説明する。
攻撃可視化システム９９の動作に関して、実施の形態１との差分を主に説明する。
【0179】
（ステップＳ１０３）
攻撃特定部２０は、実施の形態１に係るステップＳ１０３の処理と同じ処理を実行する。ただし、攻撃特定部２０は、攻撃手法の成立判定結果を結果キャッシュ部１００に保管する。また、攻撃特定部２０は、各攻撃手法の成立判定前に、攻撃成立条件２１が過去に判定済であるか否かを結果キャッシュ部１００に対して問い合わせる。攻撃特定部２０は、ある攻撃手法が過去に判定済である場合、結果キャッシュ部１００からある当該ある攻撃手法に対応する結果２２を受け取る。
攻撃特定部２０は、実施の形態１に係るステップＳ１０３の処理と同じ処理を実行する。ただし、攻撃特定部２０は、攻撃手法の成立判定結果を結果キャッシュ部１００に保管する。また、攻撃特定部２０は、各攻撃手法の成立判定前に、攻撃成立条件２１が過去に判定済であるか否かを結果キャッシュ部１００に対して問い合わせる。攻撃特定部２０は、ある攻撃手法が過去に判定済である場合、結果キャッシュ部１００からある当該ある攻撃手法に対応する結果２２を受け取る。
【0180】
【0181】
（ステップＳ２９１）
攻撃成立条件２１であるｃｉと、ｃｉに関する判定結果ｒｉとを受信した場合、結果キャッシュ部１００はステップＳ２９２に遷移する。それ以外の場合、結果キャッシュ部１００はステップＳ２９３に遷移する。ｃｉは各インスタンスに対応する。
攻撃成立条件２１であるｃｉと、ｃｉに関する判定結果ｒｉとを受信した場合、結果キャッシュ部１００はステップＳ２９２に遷移する。それ以外の場合、結果キャッシュ部１００はステップＳ２９３に遷移する。ｃｉは各インスタンスに対応する。
【0182】
（ステップＳ２９２）
結果キャッシュ部１００は、Ｈ（ｃｉ）＝ｒｉとして保存する。
結果キャッシュ部１００は、Ｈ（ｃｉ）＝ｒｉとして保存する。
【0183】
（ステップＳ２９３）
攻撃成立条件２１であるｃｊを受信した場合、結果キャッシュ部１００はステップＳ２９４に遷移する。それ以外の場合、結果キャッシュ部１００はステップＳ２９７に遷移する。
攻撃成立条件２１であるｃｊを受信した場合、結果キャッシュ部１００はステップＳ２９４に遷移する。それ以外の場合、結果キャッシュ部１００はステップＳ２９７に遷移する。
【0184】
（ステップＳ２９４）
Ｈ（ｃｊ）の値が結果キャッシュ部１００に存在する場合、結果キャッシュ部１００はステップＳ２９５に遷移する。それ以外の場合、結果キャッシュ部１００はステップＳ２９６に遷移する。
Ｈ（ｃｊ）の値が結果キャッシュ部１００に存在する場合、結果キャッシュ部１００はステップＳ２９５に遷移する。それ以外の場合、結果キャッシュ部１００はステップＳ２９６に遷移する。
【0185】
（ステップＳ２９５）
結果キャッシュ部１００は、結果２２にＨ（ｃｊ）を代入する。
結果キャッシュ部１００は、結果２２にＨ（ｃｊ）を代入する。
【0186】
（ステップＳ２９６）
結果キャッシュ部１００は、結果２２を空にする。
結果キャッシュ部１００は、結果２２を空にする。
【0187】
（ステップＳ２９７）
結果キャッシュ部１００は、結果２２を出力する。
結果キャッシュ部１００は、結果２２を出力する。
【0188】
【0189】
（ステップＳ２７１）
攻撃特定部２０は、結果キャッシュ部１００に対してキャンペーンインスタンスの判定結果があるか否かを問い合わせることにより結果２２を取得する。
攻撃特定部２０は、結果キャッシュ部１００に対してキャンペーンインスタンスの判定結果があるか否かを問い合わせることにより結果２２を取得する。
【0190】
（ステップＳ２７２）
結果２２が空である場合、攻撃特定部２０はステップＳ２３７に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２７３に遷移する。
結果２２が空である場合、攻撃特定部２０はステップＳ２３７に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２７３に遷移する。
【0191】
（ステップＳ２７３）
攻撃特定部２０は、変数「キャンペーンＲＥＳＵＬＴ」に結果２２を代入する。
攻撃特定部２０は、変数「キャンペーンＲＥＳＵＬＴ」に結果２２を代入する。
【0192】
（ステップＳ２７４）
攻撃特定部２０は、キャンペーンインスタンスの判定結果、即ちキャンペーンＲＥＳＵＬＴの値を結果キャッシュ部１００に保管する。
攻撃特定部２０は、キャンペーンインスタンスの判定結果、即ちキャンペーンＲＥＳＵＬＴの値を結果キャッシュ部１００に保管する。
【0193】
（ステップＳ２７５）
キャンペーンＲＥＳＵＬＴの値がＴｒｕｅである場合、攻撃特定部２０はステップＳ２６５に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２４０に遷移する。
キャンペーンＲＥＳＵＬＴの値がＴｒｕｅである場合、攻撃特定部２０はステップＳ２６５に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２４０に遷移する。
【0194】
（ステップＳ２７６）
攻撃特定部２０は、結果キャッシュ部１００に対して攻撃者グループインスタンスの判定結果があるか否かを問い合わせることにより結果２２を取得する。
攻撃特定部２０は、結果キャッシュ部１００に対して攻撃者グループインスタンスの判定結果があるか否かを問い合わせることにより結果２２を取得する。
【0195】
（ステップＳ２７７）
結果２２が空である場合、攻撃特定部２０はステップＳ２４３に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２７８に遷移する。
結果２２が空である場合、攻撃特定部２０はステップＳ２４３に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２７８に遷移する。
【0196】
（ステップＳ２７８）
攻撃特定部２０は、変数「攻撃者グループＲＥＳＵＬＴ」に結果２２を代入する。
攻撃特定部２０は、変数「攻撃者グループＲＥＳＵＬＴ」に結果２２を代入する。
【0197】
（ステップＳ２７９）
攻撃特定部２０は、攻撃者グループインスタンスの判定結果、即ち攻撃者グループＲＥＳＵＬＴの値を結果キャッシュ部１００に保管する。
攻撃特定部２０は、攻撃者グループインスタンスの判定結果、即ち攻撃者グループＲＥＳＵＬＴの値を結果キャッシュ部１００に保管する。
【0198】
（ステップＳ２８０）
攻撃者グループＲＥＳＵＬＴの値がＴｒｕｅである場合、攻撃特定部２０はステップＳ２６５に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２４６に遷移する。
攻撃者グループＲＥＳＵＬＴの値がＴｒｕｅである場合、攻撃特定部２０はステップＳ２６５に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２４６に遷移する。
【0199】
（ステップＳ２８１）
攻撃特定部２０は、結果キャッシュ部１００に対してソフトウェアインスタンスの判定結果があるか否かを問い合わせることにより結果２２を取得する。
攻撃特定部２０は、結果キャッシュ部１００に対してソフトウェアインスタンスの判定結果があるか否かを問い合わせることにより結果２２を取得する。
【0200】
（ステップＳ２８２）
結果２２が空である場合、攻撃特定部２０はステップＳ２４９に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２８３に遷移する。
結果２２が空である場合、攻撃特定部２０はステップＳ２４９に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２８３に遷移する。
【0201】
（ステップＳ２８３）
攻撃特定部２０は、変数「ソフトウェアＲＥＳＵＬＴ」に結果２２を代入する。
攻撃特定部２０は、変数「ソフトウェアＲＥＳＵＬＴ」に結果２２を代入する。
【0202】
（ステップＳ２８４）
攻撃特定部２０は、ソフトウェアインスタンスの判定結果、即ちソフトウェアＲＥＳＵＬＴの値を結果キャッシュ部１００に保管する。
攻撃特定部２０は、ソフトウェアインスタンスの判定結果、即ちソフトウェアＲＥＳＵＬＴの値を結果キャッシュ部１００に保管する。
【0203】
（ステップＳ２８５）
ソフトウェアＲＥＳＵＬＴの値がＴｒｕｅである場合、攻撃特定部２０はステップＳ２６５に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２５２に遷移する。
ソフトウェアＲＥＳＵＬＴの値がＴｒｕｅである場合、攻撃特定部２０はステップＳ２６５に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２５２に遷移する。
【0204】
（ステップＳ２８６）
攻撃特定部２０は、結果キャッシュ部１００に対して緩和策インスタンスの判定結果があるか否かを問い合わせることにより結果２２を取得する。
攻撃特定部２０は、結果キャッシュ部１００に対して緩和策インスタンスの判定結果があるか否かを問い合わせることにより結果２２を取得する。
【0205】
（ステップＳ２８７）
結果２２が空である場合、攻撃特定部２０はステップＳ２５５に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２８８に遷移する。
結果２２が空である場合、攻撃特定部２０はステップＳ２５５に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２８８に遷移する。
【0206】
（ステップＳ２８８）
攻撃特定部２０は、変数「緩和策ＲＥＳＵＬＴ」に結果２２を代入する。
攻撃特定部２０は、変数「緩和策ＲＥＳＵＬＴ」に結果２２を代入する。
【0207】
（ステップＳ２８９）
攻撃特定部２０は、緩和策インスタンスの判定結果、即ち緩和策ＲＥＳＵＬＴの値を結果キャッシュ部１００に保管する。
攻撃特定部２０は、緩和策インスタンスの判定結果、即ち緩和策ＲＥＳＵＬＴの値を結果キャッシュ部１００に保管する。
【0208】
（ステップＳ２９０）
緩和策ＲＥＳＵＬＴの値がＦａｌｓｅである場合、攻撃特定部２０はステップＳ２６５に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２５８に遷移する。
緩和策ＲＥＳＵＬＴの値がＦａｌｓｅである場合、攻撃特定部２０はステップＳ２６５に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２５８に遷移する。
【0209】
（ステップＳ２９１）
攻撃特定部２０は、結果キャッシュ部１００に対して検知策インスタンスの判定結果があるか否かを問い合わせることにより結果２２を取得する。
攻撃特定部２０は、結果キャッシュ部１００に対して検知策インスタンスの判定結果があるか否かを問い合わせることにより結果２２を取得する。
【0210】
（ステップＳ２９２）
結果２２が空である場合、攻撃特定部２０はステップＳ２６１に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２９３に遷移する。
結果２２が空である場合、攻撃特定部２０はステップＳ２６１に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２９３に遷移する。
【0211】
（ステップＳ２９３）
攻撃特定部２０は、変数「検知策ＲＥＳＵＬＴ」に結果２２を代入する。
攻撃特定部２０は、変数「検知策ＲＥＳＵＬＴ」に結果２２を代入する。
【0212】
（ステップＳ２９４）
攻撃特定部２０は、検知策インスタンスの判定結果、即ち検知策ＲＥＳＵＬＴの値を結果キャッシュ部１００に保管する。
攻撃特定部２０は、検知策インスタンスの判定結果、即ち検知策ＲＥＳＵＬＴの値を結果キャッシュ部１００に保管する。
【0213】
（ステップＳ２９５）
検知策ＲＥＳＵＬＴの値がＦａｌｓｅである場合、攻撃特定部２０はステップＳ２６５に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２６４に遷移する。
検知策ＲＥＳＵＬＴの値がＦａｌｓｅである場合、攻撃特定部２０はステップＳ２６５に遷移する。それ以外の場合、攻撃特定部２０はステップＳ２６４に遷移する。
【0214】
＊＊＊実施の形態２の効果の説明＊＊＊
以上のように、本実施の形態によれば、過去に判定済である単一条件に関する判定結果を活用することにより、攻撃成立条件の判定がより高速化する。
以上のように、本実施の形態によれば、過去に判定済である単一条件に関する判定結果を活用することにより、攻撃成立条件の判定がより高速化する。
【0215】
実施の形態３．
以下、主に前述した実施の形態と異なる点について、図面を参照しながら説明する。
以下、主に前述した実施の形態と異なる点について、図面を参照しながら説明する。
【0216】
【0217】
結果キャッシュ部１１０は、過去に攻撃の成立条件を判定した一連の攻撃手法に関する判定結果を保管する。結果キャッシュ部１１０は第２結果キャッシュ部とも呼ばれる。第２結果キャッシュ部は、各要素について攻撃手法間の遷移可否に関する分析結果を示すデータを保管する。
【0218】
本実施の形態に係る攻撃シナリオ生成部５０は、到達可能な攻撃手法の特定時に、結果キャッシュ部１１０を活用することにより、過去に攻撃の成立条件を判定した一連の攻撃手法に関する判定を省略する。
具体的には、攻撃シナリオ生成部５０は、各要素について攻撃手法間の遷移可否を分析し、各要素について攻撃手法間の遷移可否を分析した結果に基づいて要素間の遷移可否を分析する。また、攻撃シナリオ生成部５０は、攻撃手法間の遷移可否を分析する際に、結果キャッシュ部１１０に保管されているデータを活用する。
具体的には、攻撃シナリオ生成部５０は、各要素について攻撃手法間の遷移可否を分析し、各要素について攻撃手法間の遷移可否を分析した結果に基づいて要素間の遷移可否を分析する。また、攻撃シナリオ生成部５０は、攻撃手法間の遷移可否を分析する際に、結果キャッシュ部１１０に保管されているデータを活用する。
【0219】
図３５は、攻撃シナリオ生成部５０の処理の一例を説明する図である。本例において、攻撃シナリオ生成部５０は、「起点１」「起点２」の順で、各起点から到達可能な攻撃手法を特定するものとする。起点１から到達可能な攻撃手法として、「Ａ，Ｂ，Ｃ，Ｄ，Ｅ，Ｆ」が順に特定されるものとする。起点２から到達可能な攻撃手法として、「Ｇ，Ｈ，Ｃ，Ｄ，Ｅ，Ｆ」が順に特定されるものとする。各アルファベットは各攻撃手法を示している。
ここで、「Ｃ，Ｄ，Ｅ，Ｆ」については起点１から到達可能と判定される。そのため、結果キャッシュ部１１０は、到達可能な一連の攻撃手法として「Ｃ，Ｄ，Ｅ，Ｆ」を示すデータを保管する。そこで、攻撃シナリオ生成部５０は、起点２から到達可能な攻撃手法の特定時において、ＨからＣに到達可能であると判定した場合に、結果キャッシュ部１１０を活用することにより「Ｃ，Ｄ，Ｅ，Ｆ」については到達可能と判定する。
ここで、「Ｃ，Ｄ，Ｅ，Ｆ」については起点１から到達可能と判定される。そのため、結果キャッシュ部１１０は、到達可能な一連の攻撃手法として「Ｃ，Ｄ，Ｅ，Ｆ」を示すデータを保管する。そこで、攻撃シナリオ生成部５０は、起点２から到達可能な攻撃手法の特定時において、ＨからＣに到達可能であると判定した場合に、結果キャッシュ部１１０を活用することにより「Ｃ，Ｄ，Ｅ，Ｆ」については到達可能と判定する。
【0220】
＊＊＊動作の説明＊＊＊
攻撃可視化システム９９の動作に関して、実施の形態１との差分を主に説明する。
攻撃可視化システム９９の動作に関して、実施の形態１との差分を主に説明する。
【0221】
（ステップＳ１０８）
攻撃シナリオ生成部５０は、実施の形態１に係るステップＳ１０８の処理と同じ処理を実行する。ただし、攻撃シナリオ生成部５０は、遷移可否の判定において、過去に攻撃の成立条件を判定した一連の攻撃手法に対して判定を省略するために、要素グラフ４１を入力として結果キャッシュ部１１０に問い合わせる。攻撃シナリオ生成部５０は、問い合わせた結果である結果５２を一連の攻撃手法に関する遷移可否の判定結果とする。
攻撃シナリオ生成部５０は、実施の形態１に係るステップＳ１０８の処理と同じ処理を実行する。ただし、攻撃シナリオ生成部５０は、遷移可否の判定において、過去に攻撃の成立条件を判定した一連の攻撃手法に対して判定を省略するために、要素グラフ４１を入力として結果キャッシュ部１１０に問い合わせる。攻撃シナリオ生成部５０は、問い合わせた結果である結果５２を一連の攻撃手法に関する遷移可否の判定結果とする。
【0222】
【0223】
（ステップＳ３０１）
結果キャッシュ部１１０は、要素グラフ４１の入力を受け付ける。
結果キャッシュ部１１０は、要素グラフ４１の入力を受け付ける。
【0224】
（ステップＳ３０２）
結果キャッシュ部１１０は、要素間の遷移に必要な攻撃手法の集合をＴ（＝｛ａｔ１，…，ａｔｎ｝）とする。
結果キャッシュ部１１０は、要素間の遷移に必要な攻撃手法の集合をＴ（＝｛ａｔ１，…，ａｔｎ｝）とする。
【0225】
（ステップＳ３０３）
結果キャッシュ部１１０は、要素グラフ４１から起点となる要素を選択し、選択した要素を変数ａに代入する。
結果キャッシュ部１１０は、要素グラフ４１から起点となる要素を選択し、選択した要素を変数ａに代入する。
【0226】
（ステップＳ３０４）
結果キャッシュ部１１０は、探索履歴を示す変数Ａを空集合とする。
結果キャッシュ部１１０は、探索履歴を示す変数Ａを空集合とする。
【0227】
（ステップＳ３０５）
結果キャッシュ部１１０は、結果５２にＦａｌｓｅを代入する。
結果キャッシュ部１１０は、結果５２にＦａｌｓｅを代入する。
【0228】
（ステップＳ３０６）
結果キャッシュ部１１０は、ＡをＡとａの和集合とする。
結果キャッシュ部１１０は、ＡをＡとａの和集合とする。
【0229】
（ステップＳ３０７）
Ｈ（ａ）の値が存在する場合、結果キャッシュ部１１０はステップＳ３０８に遷移する。それ以外の場合、結果キャッシュ部１１０はステップＳ３０９に遷移する。
Ｈ（ａ）の値が存在する場合、結果キャッシュ部１１０はステップＳ３０８に遷移する。それ以外の場合、結果キャッシュ部１１０はステップＳ３０９に遷移する。
【0230】
（ステップＳ３０８）
結果キャッシュ部１１０は、結果５２にＨ（ａ）を代入し、結果５２を出力する。
結果キャッシュ部１１０は、結果５２にＨ（ａ）を代入し、結果５２を出力する。
【0231】
（ステップＳ３０９）
ａがＴの要素である場合、結果キャッシュ部１１０はステップＳ３１０に遷移する。それ以外の場合、結果キャッシュ部１１０はステップＳ３１１に遷移する。
ａがＴの要素である場合、結果キャッシュ部１１０はステップＳ３１０に遷移する。それ以外の場合、結果キャッシュ部１１０はステップＳ３１１に遷移する。
【0232】
（ステップＳ３１０）
結果キャッシュ部１１０は、結果５２にＴｒｕｅを代入する。
結果キャッシュ部１１０は、結果５２にＴｒｕｅを代入する。
【0233】
（ステップＳ３１１）
結果キャッシュ部１１０は、要素グラフ４１からａの次の戦術となる要素を選択し、選択した要素を変数ａに代入する。ここで、複数の要素が選択されてもよい。
結果キャッシュ部１１０は、要素グラフ４１からａの次の戦術となる要素を選択し、選択した要素を変数ａに代入する。ここで、複数の要素が選択されてもよい。
【0234】
（ステップＳ３１２）
ａが存在する場合、結果キャッシュ部１１０はステップＳ３０６に遷移する。それ以外の場合、結果キャッシュ部１１０はステップＳ３１３に遷移する。
ａが存在する場合、結果キャッシュ部１１０はステップＳ３０６に遷移する。それ以外の場合、結果キャッシュ部１１０はステップＳ３１３に遷移する。
【0235】
（ステップＳ３１３）
結果キャッシュ部１１０は、Ａに含まれている任意のａ関して、Ｈ（ａ）に結果５２を代入する。
結果キャッシュ部１１０は、Ａに含まれている任意のａ関して、Ｈ（ａ）に結果５２を代入する。
【0236】
（ステップＳ３１４）
結果キャッシュ部１１０は、結果５２を出力する。
結果キャッシュ部１１０は、結果５２を出力する。
【0237】
図３７は、本実施の形態に係る攻撃シナリオ生成部５０の動作の一例を示すフローチャートである。攻撃シナリオ生成部５０の動作に関して、実施の形態１との差分を主に説明する。
【0238】
（ステップＳ５３１）
攻撃シナリオ生成部５０は、要素グラフ４１を入力として結果キャッシュ部１１０に対して問い合わせることにより結果５２を取得する。
攻撃シナリオ生成部５０は、要素グラフ４１を入力として結果キャッシュ部１１０に対して問い合わせることにより結果５２を取得する。
【0239】
（ステップＳ５３２）
結果５２の値がＴｒｕｅである場合、攻撃シナリオ生成部５０はステップＳ５１０に遷移する。それ以外の場合、攻撃シナリオ生成部５０はステップＳ５０９に遷移する。
結果５２の値がＴｒｕｅである場合、攻撃シナリオ生成部５０はステップＳ５１０に遷移する。それ以外の場合、攻撃シナリオ生成部５０はステップＳ５０９に遷移する。
【0240】
＊＊＊実施の形態３の効果の説明＊＊＊
以上のように、本実施の形態によれば、到達可能な攻撃手法に関する過去の判定結果を活用することにより、利用可能な攻撃手法の特定がより高速になる。
また、本実施の形態によれば、図３８に示すようなボトルネック構造がある場合、さらに判定の省略による高速化効果が高くなる。
以上のように、本実施の形態によれば、到達可能な攻撃手法に関する過去の判定結果を活用することにより、利用可能な攻撃手法の特定がより高速になる。
また、本実施の形態によれば、図３８に示すようなボトルネック構造がある場合、さらに判定の省略による高速化効果が高くなる。
【0241】
実施の形態４．
以下、主に前述した実施の形態と異なる点について、図面を参照しながら説明する。
以下、主に前述した実施の形態と異なる点について、図面を参照しながら説明する。
【0242】
【0243】
本実施の形態に係る攻撃シナリオ生成部５０は、結果キャッシュ部１２０を活用することにより、要素間の遷移可否に関する判定を適宜省略する。具体的には、攻撃シナリオ生成部５０は、要素間の遷移可否を分析する際に、結果キャッシュ部１２０に保管されているデータを活用する。
【0244】
結果キャッシュ部１２０は、攻撃シナリオ生成処理において過去に遷移可否が判定された各要素間に関する判定結果をキャッシュする。また、結果キャッシュ部１２０は、各要素間の遷移可否に関する判定結果をキャッシュしている場合に、各要素間の遷移可否に関する判定結果を即時返却する。結果キャッシュ部１２０は第３結果キャッシュ部とも呼ばれる。第３結果キャッシュ部は、要素間の遷移可否を分析する際に特定された遷移可能な一連の要素を示すデータを保管する。
【0245】
図４０は、攻撃シナリオ生成部５０及び結果キャッシュ部１２０の処理の一例を説明する図である。本例において、要素１が始点であり、要素５が終点である。また、要素間を結ぶ線は要素間に接続関係があることを示している。そのため、全経路として、「１→２→３→５」の順に辿る経路１と、「１→２→４→５」の順に辿る経路２と、「１→６→２→３→５」の順に辿る経路３と、「１→６→２→４→５」の順に辿る経路４とがある。ここで、各数字は各要素を示す。以下、各経路に関する遷移可否を順に判定する処理を説明する。
まず、結果キャッシュ部１２０は、経路ｎの未判定要素集合をＹｎ（⊂／Ｄ）とし、判定済要素集合をＤ（Ｄの初期値はφ）とする。ここで、「⊂／」は、包含関係がないことを意味する。攻撃シナリオ生成部５０は、Ｙｎの各要素について遷移可否を判定する。
次に、攻撃シナリオ生成部５０は経路１の各要素について遷移可否を判定する。ここで、Ｙ１＝｛１，２，３，５｝である。Ｄは空集合であるため、Ｙ１のいずれの要素についてもキャッシュヒットはない。結果キャッシュ部１２０は、ＤをＤ∪Ｙ１（＝｛１，２，３，５｝）とする。
次に、攻撃シナリオ生成部５０は経路２の各要素について遷移可否を判定する。ここで、｛１，２，５｝がキャッシュヒットするため、Ｙ２＝｛４｝（⊂／｛１，２，３，５｝（＝Ｄ））である。結果キャッシュ部１２０は、ＤをＤ∪Ｙ２（＝｛１，２，３，４，５｝）とする。
次に、攻撃シナリオ生成部５０は経路３の各要素について遷移可否を判定する。ここで、｛１，２，３，５｝がキャッシュヒットするため、Ｙ３＝｛６｝（⊂／｛１，２，３，４，５｝）である。結果キャッシュ部１２０は、ＤをＤ∪Ｙ３（＝｛１，２，３，４，５，６｝）とする。
次に、攻撃シナリオ生成部５０は経路４の各要素について遷移可否を判定する。ここで、｛１，２，４，５，６｝がキャッシュヒットするため、Ｙ４＝φである。
まず、結果キャッシュ部１２０は、経路ｎの未判定要素集合をＹｎ（⊂／Ｄ）とし、判定済要素集合をＤ（Ｄの初期値はφ）とする。ここで、「⊂／」は、包含関係がないことを意味する。攻撃シナリオ生成部５０は、Ｙｎの各要素について遷移可否を判定する。
次に、攻撃シナリオ生成部５０は経路１の各要素について遷移可否を判定する。ここで、Ｙ１＝｛１，２，３，５｝である。Ｄは空集合であるため、Ｙ１のいずれの要素についてもキャッシュヒットはない。結果キャッシュ部１２０は、ＤをＤ∪Ｙ１（＝｛１，２，３，５｝）とする。
次に、攻撃シナリオ生成部５０は経路２の各要素について遷移可否を判定する。ここで、｛１，２，５｝がキャッシュヒットするため、Ｙ２＝｛４｝（⊂／｛１，２，３，５｝（＝Ｄ））である。結果キャッシュ部１２０は、ＤをＤ∪Ｙ２（＝｛１，２，３，４，５｝）とする。
次に、攻撃シナリオ生成部５０は経路３の各要素について遷移可否を判定する。ここで、｛１，２，３，５｝がキャッシュヒットするため、Ｙ３＝｛６｝（⊂／｛１，２，３，４，５｝）である。結果キャッシュ部１２０は、ＤをＤ∪Ｙ３（＝｛１，２，３，４，５，６｝）とする。
次に、攻撃シナリオ生成部５０は経路４の各要素について遷移可否を判定する。ここで、｛１，２，４，５，６｝がキャッシュヒットするため、Ｙ４＝φである。
【0246】
＊＊＊動作の説明＊＊＊
攻撃可視化システム９９の動作に関して、実施の形態１との差分を主に説明する。
攻撃可視化システム９９の動作に関して、実施の形態１との差分を主に説明する。
【0247】
（ステップＳ１０８）
攻撃シナリオ生成部５０は、実施の形態１に係るステップＳ１０８の処理と同じ処理を実行する。ただし、攻撃シナリオ生成部５０は、遷移可否の判断において、過去に遷移可否を判定した要素間の遷移に関する判定を省略するために、経路５３と要素グラフ４１とを入力として結果キャッシュ部１２０に問い合わせる。攻撃シナリオ生成部５０は、問い合わせた結果である結果５４を遷移可否の判定結果とする。
攻撃シナリオ生成部５０は、実施の形態１に係るステップＳ１０８の処理と同じ処理を実行する。ただし、攻撃シナリオ生成部５０は、遷移可否の判断において、過去に遷移可否を判定した要素間の遷移に関する判定を省略するために、経路５３と要素グラフ４１とを入力として結果キャッシュ部１２０に問い合わせる。攻撃シナリオ生成部５０は、問い合わせた結果である結果５４を遷移可否の判定結果とする。
【0248】
【0249】
（ステップＳ４０１）
結果キャッシュ部１２０は、経路５３の入力を受け付ける。
結果キャッシュ部１２０は、経路５３の入力を受け付ける。
【0250】
（ステップＳ４０２）
結果キャッシュ部１２０は、要素グラフ４１の入力を受け付ける。
結果キャッシュ部１２０は、要素グラフ４１の入力を受け付ける。
【0251】
（ステップＳ４０３）
結果キャッシュ部１２０は、遷移可否判定済要素集合を変数Ｄに代入する。ここで、当該集合の初期値は空集合である。
結果キャッシュ部１２０は、遷移可否判定済要素集合を変数Ｄに代入する。ここで、当該集合の初期値は空集合である。
【0252】
（ステップＳ４０４）
結果キャッシュ部１２０は、経路５３の遷移可否未判定の要素集合を変数Ｙに代入する。ここで、ＹはＤの部分集合ではない。
結果キャッシュ部１２０は、経路５３の遷移可否未判定の要素集合を変数Ｙに代入する。ここで、ＹはＤの部分集合ではない。
【0253】
（ステップＳ４０５）
結果キャッシュ部１２０は、経路５３の遷移可否判定済の要素集合をＹ－に代入する。ここで、Ｙ－はＤの部分集合である。なお、表記可能な文字の制約により、図面と明細書の本文との間で異なる表記を用いることがある。「Ｙ－」はＹの上に「－」を付した文字と同じである。
結果キャッシュ部１２０は、経路５３の遷移可否判定済の要素集合をＹ－に代入する。ここで、Ｙ－はＤの部分集合である。なお、表記可能な文字の制約により、図面と明細書の本文との間で異なる表記を用いることがある。「Ｙ－」はＹの上に「－」を付した文字と同じである。
【0254】
（ステップＳ４０６）
結果キャッシュ部１２０は、要素ｅに関する遷移可否（Ｔｒｕｅ／Ｆａｌｓｅ）のキャッシュをＨ（ｅ）とする。
結果キャッシュ部１２０は、要素ｅに関する遷移可否（Ｔｒｕｅ／Ｆａｌｓｅ）のキャッシュをＨ（ｅ）とする。
【0255】
（ステップＳ４０７）
結果キャッシュ部１２０は、結果５４にＴｒｕｅを代入する。
結果キャッシュ部１２０は、結果５４にＴｒｕｅを代入する。
【0256】
（ステップＳ４０８）
Ｙ－の任意の要素ｙ－に関してＨ（ｙ－）がＦａｌｓｅである場合、結果キャッシュ部１２０はステップＳ４０９に遷移する。それ以外の場合、結果キャッシュ部１２０はステップＳ４１０に遷移する。
Ｙ－の任意の要素ｙ－に関してＨ（ｙ－）がＦａｌｓｅである場合、結果キャッシュ部１２０はステップＳ４０９に遷移する。それ以外の場合、結果キャッシュ部１２０はステップＳ４１０に遷移する。
【0257】
（ステップＳ４０９）
結果キャッシュ部１２０は、結果５４にＦａｌｓｅを代入する。
結果キャッシュ部１２０は、結果５４にＦａｌｓｅを代入する。
【0258】
（ステップＳ４１０）
結果キャッシュ部１２０は、Ｙの任意の要素ｙを選択する。
結果キャッシュ部１２０は、Ｙの任意の要素ｙを選択する。
【0259】
（ステップＳ４１１）
結果キャッシュ部１２０は、要素ｙに対応する要素グラフ４１を選択し、選択した要素グラフ４１を変数「要素グラフ」に代入する。
結果キャッシュ部１２０は、要素ｙに対応する要素グラフ４１を選択し、選択した要素グラフ４１を変数「要素グラフ」に代入する。
【0260】
（ステップＳ４１２）
結果キャッシュ部１２０は、ＤをＤとｙとの和集合とする。
結果キャッシュ部１２０は、ＤをＤとｙとの和集合とする。
【0261】
（ステップＳ４１３）
「要素グラフ」に遷移に必要な攻撃手法への経路が存在しない場合、結果キャッシュ部１２０はステップＳ４１４に遷移する。それ以外の場合、結果キャッシュ部１２０はステップＳ４１６に遷移する。
「要素グラフ」に遷移に必要な攻撃手法への経路が存在しない場合、結果キャッシュ部１２０はステップＳ４１４に遷移する。それ以外の場合、結果キャッシュ部１２０はステップＳ４１６に遷移する。
【0262】
（ステップＳ４１４）
結果キャッシュ部１２０は、結果５４にＦａｌｓｅを代入する。
結果キャッシュ部１２０は、結果５４にＦａｌｓｅを代入する。
【0263】
（ステップＳ４１５）
結果キャッシュ部１２０は、Ｈ（ｙ）にＦａｌｓｅを代入する。
結果キャッシュ部１２０は、Ｈ（ｙ）にＦａｌｓｅを代入する。
【0264】
（ステップＳ４１６）
結果キャッシュ部１２０は、Ｈ（ｙ）にＴｒｕｅを代入する。
結果キャッシュ部１２０は、Ｈ（ｙ）にＴｒｕｅを代入する。
【0265】
（ステップＳ４１７）
Ｙの要素を全て処理した場合、結果キャッシュ部１２０はステップＳ４１８に遷移する。それ以外の場合、結果キャッシュ部１２０はステップＳ４１０に遷移する。
Ｙの要素を全て処理した場合、結果キャッシュ部１２０はステップＳ４１８に遷移する。それ以外の場合、結果キャッシュ部１２０はステップＳ４１０に遷移する。
【0266】
（ステップＳ４１８）
結果キャッシュ部１２０は、結果５４を出力する。
結果キャッシュ部１２０は、結果５４を出力する。
【0267】
図４２は、本実施の形態に係る攻撃シナリオ生成部５０の動作の一例を示すフローチャートである。攻撃シナリオ生成部５０の動作に関して、実施の形態１との差分を主に説明する。
【0268】
（ステップＳ５４１）
攻撃シナリオ生成部５０は、経路５３と要素グラフ４１とを入力として結果キャッシュ部１２０に対して問い合わせることにより結果５４を取得する。
攻撃シナリオ生成部５０は、経路５３と要素グラフ４１とを入力として結果キャッシュ部１２０に対して問い合わせることにより結果５４を取得する。
【0269】
（ステップＳ５４２）
結果５４がＴｒｕｅである場合、攻撃シナリオ生成部５０はステップＳ５１３に遷移する。それ以外の場合、攻撃シナリオ生成部５０はステップＳ５１４に遷移する。
結果５４がＴｒｕｅである場合、攻撃シナリオ生成部５０はステップＳ５１３に遷移する。それ以外の場合、攻撃シナリオ生成部５０はステップＳ５１４に遷移する。
【0270】
＊＊＊実施の形態４の効果の説明＊＊＊
以上のように、本実施の形態によれば、過去に遷移可否を判定した各要素間を記録するため、より高速に攻撃シナリオを生成することができる。また、本実施の形態によれば、複数の経路間において重複要素が多いほど、キャッシュヒットする可能性が高まるためにより高速に攻撃シナリオを生成することができる
以上のように、本実施の形態によれば、過去に遷移可否を判定した各要素間を記録するため、より高速に攻撃シナリオを生成することができる。また、本実施の形態によれば、複数の経路間において重複要素が多いほど、キャッシュヒットする可能性が高まるためにより高速に攻撃シナリオを生成することができる
【0271】
実施の形態５．
以下、主に前述した実施の形態と異なる点について、図面を参照しながら説明する。
以下、主に前述した実施の形態と異なる点について、図面を参照しながら説明する。
【0272】
【0273】
遷移可否判定部１３０は、システム構成要素のうち、条件が同じである各要素を同一のクラスの要素として扱う。即ち、本実施の形態では、実質的に複数の要素のクラスが適宜集約される。つまり、環境情報１１と、攻撃手法と、攻撃成立条件との少なくとも１つに基づいて複数の要素が重複なく複数のグループに分割されており、また、各グループが１つのクラスに対応する。
また、遷移可否判定部１３０は、クラス間の遷移可否に関する分析結果を示すデータを保管する。
図４４は、遷移可否判定部１３０の処理の一例を説明する図である。本例において、遷移可否判定部１３０は、各要素のクラスを、ＦＷ（Ｆｉｒｅｗａｌｌ）クラスと、サーバクラスと、ＰＣクラスとの３種類のクラスのいずれかとする。
遷移可否判定部１３０は、要素間の遷移可否の判定において、クラス間の遷移可否に関する判定結果を使用する。
また、遷移可否判定部１３０は、クラス間の遷移可否に関する分析結果を示すデータを保管する。
図４４は、遷移可否判定部１３０の処理の一例を説明する図である。本例において、遷移可否判定部１３０は、各要素のクラスを、ＦＷ（Ｆｉｒｅｗａｌｌ）クラスと、サーバクラスと、ＰＣクラスとの３種類のクラスのいずれかとする。
遷移可否判定部１３０は、要素間の遷移可否の判定において、クラス間の遷移可否に関する判定結果を使用する。
【0274】
本実施の形態に係る攻撃シナリオ生成部５０は、要素間の遷移可否の判定において遷移可否判定部１３０の判定結果を活用する。具体的には、攻撃シナリオ生成部５０は、要素間の遷移可否を分析する際に、クラス間の遷移可否を分析する。また、攻撃シナリオ生成部５０は、クラス間の遷移可否を分析する際に、遷移可否判定部１３０に保管されているデータを活用する。
【0275】
＊＊＊動作の説明＊＊＊
攻撃可視化システム９９の動作に関して、実施の形態１との差分を主に説明する。
攻撃可視化システム９９の動作に関して、実施の形態１との差分を主に説明する。
【0276】
（ステップＳ１０８）
攻撃シナリオ生成部５０は、実施の形態１に係るステップＳ１０８の処理と同じ処理を実行する。ただし、攻撃シナリオ生成部５０は、経路５３と要素グラフ４１とを入力として要素間の遷移可否を遷移可否判定部１３０に問い合わせる。攻撃シナリオ生成部５０は、問い合わせた結果である結果５５を遷移可否の判定結果とする。ここで、遷移可否判定部１３０による遷移可否の判定において、経路内の要素のうち同じクラスの要素として扱うことができる複数の要素について、同一の要素グラフ４１を使用して遷移可否を判定する。このとき、遷移可否判定部１３０は、ある要素グラフ４１に関する遷移可否を判定済である場合、当該ある要素グラフ４１に関する遷移可否の判定において、キャッシュ済の遷移可否判定結果を使用する。
攻撃シナリオ生成部５０は、実施の形態１に係るステップＳ１０８の処理と同じ処理を実行する。ただし、攻撃シナリオ生成部５０は、経路５３と要素グラフ４１とを入力として要素間の遷移可否を遷移可否判定部１３０に問い合わせる。攻撃シナリオ生成部５０は、問い合わせた結果である結果５５を遷移可否の判定結果とする。ここで、遷移可否判定部１３０による遷移可否の判定において、経路内の要素のうち同じクラスの要素として扱うことができる複数の要素について、同一の要素グラフ４１を使用して遷移可否を判定する。このとき、遷移可否判定部１３０は、ある要素グラフ４１に関する遷移可否を判定済である場合、当該ある要素グラフ４１に関する遷移可否の判定において、キャッシュ済の遷移可否判定結果を使用する。
【0277】
【0278】
（ステップＳ５５１）
遷移可否判定部１３０は、経路５３を入力として受け付ける。
遷移可否判定部１３０は、経路５３を入力として受け付ける。
【0279】
（ステップＳ５５２）
遷移可否判定部１３０は、要素グラフ４１を入力として受け付ける。
遷移可否判定部１３０は、要素グラフ４１を入力として受け付ける。
【0280】
（ステップＳ５５３）
遷移可否判定部１３０は、要素ｅのクラスをＣｌａｓｓ（ｅ）とする。
遷移可否判定部１３０は、要素ｅのクラスをＣｌａｓｓ（ｅ）とする。
【0281】
（ステップＳ５５４）
遷移可否判定部１３０は、Ｃｌａｓｓ（ｅ）に関する遷移可否（Ｔｒｕｅ／Ｆａｌｓｅ）のキャッシュをＨ（Ｃｌａｓｓ（ｅ））とする。
遷移可否判定部１３０は、Ｃｌａｓｓ（ｅ）に関する遷移可否（Ｔｒｕｅ／Ｆａｌｓｅ）のキャッシュをＨ（Ｃｌａｓｓ（ｅ））とする。
【0282】
（ステップＳ５５５）
遷移可否判定部１３０は、遷移可否判定済要素クラス集合をＣとする。ここで、当該集合の初期値は空集合であり、あるＨ（Ｃｌａｓｓ（ｅ））について、Ｃｌａｓｓ（ｅ）はＣの要素である。
遷移可否判定部１３０は、遷移可否判定済要素クラス集合をＣとする。ここで、当該集合の初期値は空集合であり、あるＨ（Ｃｌａｓｓ（ｅ））について、Ｃｌａｓｓ（ｅ）はＣの要素である。
【0283】
（ステップＳ５５６）
遷移可否判定部１３０は、経路５３の要素から成る集合をＥとする。ここで、ｅはＥの要素である。
遷移可否判定部１３０は、経路５３の要素から成る集合をＥとする。ここで、ｅはＥの要素である。
【0284】
（ステップＳ５５７）
遷移可否判定部１３０は、結果５５にＴｒｕｅを代入する。
遷移可否判定部１３０は、結果５５にＴｒｕｅを代入する。
【0285】
（ステップＳ５５８）
遷移可否判定部１３０は、Ｅの要素のうちまだ選択されていない要素ｅを選択する。
遷移可否判定部１３０は、Ｅの要素のうちまだ選択されていない要素ｅを選択する。
【0286】
（ステップＳ５５９）
Ｃの任意の要素Ｃｌａｓｓ（ｅ）に関する遷移可否が判定済である場合、遷移可否判定部１３０はステップＳ５６０に遷移する。それ以外の場合、遷移可否判定部１３０はステップＳ５６２に遷移する。
Ｃの任意の要素Ｃｌａｓｓ（ｅ）に関する遷移可否が判定済である場合、遷移可否判定部１３０はステップＳ５６０に遷移する。それ以外の場合、遷移可否判定部１３０はステップＳ５６２に遷移する。
【0287】
（ステップＳ５６０）
Ｈ（Ｃｌａｓｓ（ｅ））がＦａｌｓｅである場合、遷移可否判定部１３０はステップＳ５６１に遷移する。それ以外の場合、遷移可否判定部１３０はステップＳ５６７に遷移する。
Ｈ（Ｃｌａｓｓ（ｅ））がＦａｌｓｅである場合、遷移可否判定部１３０はステップＳ５６１に遷移する。それ以外の場合、遷移可否判定部１３０はステップＳ５６７に遷移する。
【0288】
（ステップＳ５６１）
遷移可否判定部１３０は、結果５５にＦａｌｓｅを代入する。
遷移可否判定部１３０は、結果５５にＦａｌｓｅを代入する。
【0289】
（ステップＳ５６２）
遷移可否判定部１３０は、Ｃｌａｓｓ（ｅ）に対応する要素グラフ４１を選択し、選択した要素グラフ４１を変数「要素グラフ」に代入する。
遷移可否判定部１３０は、Ｃｌａｓｓ（ｅ）に対応する要素グラフ４１を選択し、選択した要素グラフ４１を変数「要素グラフ」に代入する。
【0290】
（ステップＳ５６３）
「要素グラフ」に遷移に必要な攻撃手法への経路が存在する場合、遷移可否判定部１３０はステップＳ５６５に遷移する。それ以外の場合、遷移可否判定部１３０はステップＳ５６４に遷移する。
「要素グラフ」に遷移に必要な攻撃手法への経路が存在する場合、遷移可否判定部１３０はステップＳ５６５に遷移する。それ以外の場合、遷移可否判定部１３０はステップＳ５６４に遷移する。
【0291】
（ステップＳ５６４）
遷移可否判定部１３０は、結果５５にＦａｌｓｅを代入する。
遷移可否判定部１３０は、結果５５にＦａｌｓｅを代入する。
【0292】
（ステップＳ５６５）
遷移可否判定部１３０は、Ｈ（Ｃｌａｓｓ（ｅ））に結果５５を代入する。
遷移可否判定部１３０は、Ｈ（Ｃｌａｓｓ（ｅ））に結果５５を代入する。
【0293】
（ステップＳ５６６）
結果５５がＦａｌｓｅである場合、遷移可否判定部１３０はステップＳ５６８に遷移する。それ以外の場合、遷移可否判定部１３０はステップＳ５６７に遷移する。
結果５５がＦａｌｓｅである場合、遷移可否判定部１３０はステップＳ５６８に遷移する。それ以外の場合、遷移可否判定部１３０はステップＳ５６７に遷移する。
【0294】
（ステップＳ５６７）
Ｅの全ての要素に対して処理を実行した場合、遷移可否判定部１３０はステップＳ５６８に遷移する。それ以外の場合、遷移可否判定部１３０はステップＳ５５８に遷移する。
Ｅの全ての要素に対して処理を実行した場合、遷移可否判定部１３０はステップＳ５６８に遷移する。それ以外の場合、遷移可否判定部１３０はステップＳ５５８に遷移する。
【0295】
（ステップＳ５６８）
遷移可否判定部１３０は、結果５５を出力する。
遷移可否判定部１３０は、結果５５を出力する。
【0296】
図４６は、攻撃シナリオ生成部５０の動作の一例を示すフローチャートである。攻撃シナリオ生成部５０の動作に関して、実施の形態１との差分を主に説明する。
【0297】
（ステップＳ５７１）
攻撃シナリオ生成部５０は、経路５３と要素グラフ４１とを入力として遷移可否判定部１３０に対して問い合わせることにより結果５５を取得する。
攻撃シナリオ生成部５０は、経路５３と要素グラフ４１とを入力として遷移可否判定部１３０に対して問い合わせることにより結果５５を取得する。
【0298】
（ステップＳ５７２）
結果５５がＴｒｕｅである場合、攻撃シナリオ生成部５０はステップＳ５１３に遷移する。それ以外の場合、攻撃シナリオ生成部５０はステップＳ５１４に遷移する。
結果５５がＴｒｕｅである場合、攻撃シナリオ生成部５０はステップＳ５１３に遷移する。それ以外の場合、攻撃シナリオ生成部５０はステップＳ５１４に遷移する。
【0299】
＊＊＊実施の形態５の効果の説明＊＊＊
以上のように、本実施の形態によれば、要素間の遷移可否に関する判定においてクラス間の遷移可否に関する判定結果を活用するため、攻撃シナリオの生成がより高速化する。また、本実施の形態によれば、同一のクラスとして扱うことができる要素が多いほど、条件判定処理を省略することができる。
以上のように、本実施の形態によれば、要素間の遷移可否に関する判定においてクラス間の遷移可否に関する判定結果を活用するため、攻撃シナリオの生成がより高速化する。また、本実施の形態によれば、同一のクラスとして扱うことができる要素が多いほど、条件判定処理を省略することができる。
【0300】
＊＊＊他の実施の形態＊＊＊
前述した各実施の形態の自由な組み合わせ、あるいは各実施の形態の任意の構成要素の変形、もしくは各実施の形態において任意の構成要素の省略が可能である。
また、実施の形態は、実施の形態１から５で示したものに限定されるものではなく、必要に応じて種々の変更が可能である。フローチャートなどを用いて説明した手順は適宜変更されてもよい。
前述した各実施の形態の自由な組み合わせ、あるいは各実施の形態の任意の構成要素の変形、もしくは各実施の形態において任意の構成要素の省略が可能である。
また、実施の形態は、実施の形態１から５で示したものに限定されるものではなく、必要に応じて種々の変更が可能である。フローチャートなどを用いて説明した手順は適宜変更されてもよい。
【0301】
以下、本開示の諸態様を付記としてまとめて記載する。
【0302】
（付記１）
サイバーセキュリティに関するシナリオベースの脅威分析における分析対象を構成する複数の要素の各要素を対象要素とし、前記対象要素について、１つ以上の攻撃手法の各々を対象攻撃手法とし、各論理式と、各論理式に紐づく各単一条件とに基づいて前記対象攻撃手法の攻撃成立条件を示すグラフであって、前記対象要素の構成を示す環境情報と、各単一条件との関係性を示すグラフである攻撃成立判定グラフを生成し、前記攻撃成立判定グラフを用いて前記対象攻撃手法の成立可否を判定することによって前記対象要素において利用可能である各攻撃手法を特定し、前記対象要素において利用可能である各攻撃手法を戦術順に示すグラフであって、前記環境情報と、前記対象要素において利用可能である各攻撃手法に対応する攻撃成立条件とを示すグラフである要素グラフを生成する攻撃特定部と、
生成された各要素グラフと、前記分析対象の構成と、前記複数の要素のいずれかの要素である始点要素と、前記複数の要素のいずれかの要素である終点要素とに基づいて要素間の遷移可否を分析することにより、前記分析対象における攻撃シナリオを生成する攻撃シナリオ生成部と
を備える攻撃可視化装置。
サイバーセキュリティに関するシナリオベースの脅威分析における分析対象を構成する複数の要素の各要素を対象要素とし、前記対象要素について、１つ以上の攻撃手法の各々を対象攻撃手法とし、各論理式と、各論理式に紐づく各単一条件とに基づいて前記対象攻撃手法の攻撃成立条件を示すグラフであって、前記対象要素の構成を示す環境情報と、各単一条件との関係性を示すグラフである攻撃成立判定グラフを生成し、前記攻撃成立判定グラフを用いて前記対象攻撃手法の成立可否を判定することによって前記対象要素において利用可能である各攻撃手法を特定し、前記対象要素において利用可能である各攻撃手法を戦術順に示すグラフであって、前記環境情報と、前記対象要素において利用可能である各攻撃手法に対応する攻撃成立条件とを示すグラフである要素グラフを生成する攻撃特定部と、
生成された各要素グラフと、前記分析対象の構成と、前記複数の要素のいずれかの要素である始点要素と、前記複数の要素のいずれかの要素である終点要素とに基づいて要素間の遷移可否を分析することにより、前記分析対象における攻撃シナリオを生成する攻撃シナリオ生成部と
を備える攻撃可視化装置。
【0303】
（付記２）
前記攻撃可視化装置は、さらに、
生成された各要素グラフと、前記攻撃シナリオに対応する攻撃シナリオグラフとの一部を可視化するための可視化用グラフを可視化条件に応じて生成する可視化部
を備える付記１に記載の攻撃可視化装置。
前記攻撃可視化装置は、さらに、
生成された各要素グラフと、前記攻撃シナリオに対応する攻撃シナリオグラフとの一部を可視化するための可視化用グラフを可視化条件に応じて生成する可視化部
を備える付記１に記載の攻撃可視化装置。
【0304】
（付記３）
前記可視化部は、前記可視化用グラフとして、前記攻撃手法と、前記攻撃手法に関連する前記分析対象の要素とを表示するグラフを生成する付記２に記載の攻撃可視化装置。
前記可視化部は、前記可視化用グラフとして、前記攻撃手法と、前記攻撃手法に関連する前記分析対象の要素とを表示するグラフを生成する付記２に記載の攻撃可視化装置。
【0305】
（付記４）
前記攻撃特定部は、攻撃データベースが示す各要素に基づいて前記攻撃成立判定グラフを生成し、
前記可視化部は、前記可視化用グラフの要素であるグラフ要素を、前記グラフ要素に対応する情報であって、前記攻撃データベースが示す要素に対応する情報である外部攻撃情報に結びつける付記２又は３に記載の攻撃可視化装置。
前記攻撃特定部は、攻撃データベースが示す各要素に基づいて前記攻撃成立判定グラフを生成し、
前記可視化部は、前記可視化用グラフの要素であるグラフ要素を、前記グラフ要素に対応する情報であって、前記攻撃データベースが示す要素に対応する情報である外部攻撃情報に結びつける付記２又は３に記載の攻撃可視化装置。
【0306】
（付記５）
前記攻撃可視化装置は、さらに、
前記対象攻撃手法の成立可否に関する判定結果を示すデータを保管する第１結果キャッシュ部
を備え、
前記攻撃特定部は、前記対象攻撃手法の成立可否を判定する際に、保管されているデータを活用する付記１から４のいずれか１つに記載の攻撃可視化装置。
前記攻撃可視化装置は、さらに、
前記対象攻撃手法の成立可否に関する判定結果を示すデータを保管する第１結果キャッシュ部
を備え、
前記攻撃特定部は、前記対象攻撃手法の成立可否を判定する際に、保管されているデータを活用する付記１から４のいずれか１つに記載の攻撃可視化装置。
【0307】
（付記６）
前記攻撃シナリオ生成部は、各要素について攻撃手法間の遷移可否を分析し、各要素について攻撃手法間の遷移可否を分析した結果に基づいて要素間の遷移可否を分析し、
前記攻撃可視化装置は、さらに、
各要素について攻撃手法間の遷移可否に関する分析結果を示すデータを保管する第２結果キャッシュ部
を備え、
前記攻撃シナリオ生成部は、攻撃手法間の遷移可否を分析する際に、保管されているデータを活用する付記１から５のいずれか１つに記載の攻撃可視化装置。
前記攻撃シナリオ生成部は、各要素について攻撃手法間の遷移可否を分析し、各要素について攻撃手法間の遷移可否を分析した結果に基づいて要素間の遷移可否を分析し、
前記攻撃可視化装置は、さらに、
各要素について攻撃手法間の遷移可否に関する分析結果を示すデータを保管する第２結果キャッシュ部
を備え、
前記攻撃シナリオ生成部は、攻撃手法間の遷移可否を分析する際に、保管されているデータを活用する付記１から５のいずれか１つに記載の攻撃可視化装置。
【0308】
（付記７）
前記攻撃可視化装置は、さらに、
要素間の遷移可否を分析する際に特定された遷移可能な一連の要素を示すデータを保管する第３結果キャッシュ部
を備え、
前記攻撃シナリオ生成部は、要素間の遷移可否を分析する際に、保管されているデータを活用する付記１から６のいずれか１つに記載の攻撃可視化装置。
前記攻撃可視化装置は、さらに、
要素間の遷移可否を分析する際に特定された遷移可能な一連の要素を示すデータを保管する第３結果キャッシュ部
を備え、
前記攻撃シナリオ生成部は、要素間の遷移可否を分析する際に、保管されているデータを活用する付記１から６のいずれか１つに記載の攻撃可視化装置。
【0309】
（付記８）
前記環境情報と、前記攻撃手法と、前記攻撃成立条件との少なくとも１つに基づいて前記複数の要素が重複なく複数のグループに分割されており、各グループが１つのクラスに対応するとき、
前記攻撃シナリオ生成部は、要素間の遷移可否を分析する際に、クラス間の遷移可否を分析し、
前記攻撃可視化装置は、さらに、
クラス間の遷移可否に関する分析結果を示すデータを保管する遷移可否判定部
を備え、
前記攻撃シナリオ生成部は、クラス間の遷移可否を分析する際に、保管されているデータを活用する付記１から７のいずれか１つに記載の攻撃可視化装置。
前記環境情報と、前記攻撃手法と、前記攻撃成立条件との少なくとも１つに基づいて前記複数の要素が重複なく複数のグループに分割されており、各グループが１つのクラスに対応するとき、
前記攻撃シナリオ生成部は、要素間の遷移可否を分析する際に、クラス間の遷移可否を分析し、
前記攻撃可視化装置は、さらに、
クラス間の遷移可否に関する分析結果を示すデータを保管する遷移可否判定部
を備え、
前記攻撃シナリオ生成部は、クラス間の遷移可否を分析する際に、保管されているデータを活用する付記１から７のいずれか１つに記載の攻撃可視化装置。
【符号の説明】
【0310】
１ 攻撃可視化装置、１０ 作業者、１１ 環境情報、１２ 分析対象情報、１３ 可視化条件、２０ 攻撃特定部、２１ 攻撃成立条件、２２ 結果、３０ 攻撃データベース、３１ 攻撃情報、４０ 要素グラフ記憶部、４１ 要素グラフ、５０ 攻撃シナリオ生成部、５２ 結果、５３ 経路、５４，５５ 結果、６０ 攻撃シナリオ記憶部、６１
攻撃シナリオグラフ、７０ 可視化部、７１ 可視化用グラフ、８０ 外部Ｗｅｂサイト、８１ ＵＲＬ、９０ 画面、９１ ハイパーリンク、９９ 攻撃可視化システム、１００，１１０，１２０ 結果キャッシュ部、１３０ 遷移可否判定部、２０１ プロセッサ、２０２ メモリ、２０３ 補助記憶装置、２０４ 入出力ＩＦ、２０５ 通信装置、２０８ 処理回路、２０９ 信号線。
攻撃シナリオグラフ、７０ 可視化部、７１ 可視化用グラフ、８０ 外部Ｗｅｂサイト、８１ ＵＲＬ、９０ 画面、９１ ハイパーリンク、９９ 攻撃可視化システム、１００，１１０，１２０ 結果キャッシュ部、１３０ 遷移可否判定部、２０１ プロセッサ、２０２ メモリ、２０３ 補助記憶装置、２０４ 入出力ＩＦ、２０５ 通信装置、２０８ 処理回路、２０９ 信号線。
【要約】
攻撃可視化装置（１）は、攻撃特定部（２０）と攻撃シナリオ生成部（５０）とを備える。攻撃特定部（２０）は、分析対象の各要素について、各論理式に基づいて攻撃成立条件を示すグラフであって、環境情報（１１）と、各単一条件との関係性を示すグラフである攻撃成立判定グラフを生成し、攻撃成立判定グラフを用いて利用可能である各攻撃手法を特定し、利用可能である各攻撃手法を戦術順に示す要素グラフ（４１）を生成する。攻撃シナリオ生成部（５０）は、生成された各要素グラフ（４１）に基づいて要素間の遷移可否を分析することにより、分析対象における攻撃シナリオを生成する。
【図1】
【図2】
【図3】
【図4】
【図5】
【図6】
【図7】
【図8】
【図9】
【図10】
【図11】
【図12】
【図13】
【図14】
【図15】
【図16】
【図17】
【図18】
【図19】
【図20】
【図21】
【図22】
【図23】
【図24】
【図25】
【図26】
【図27】
【図28】
【図29】
【図30】
【図31】
【図32】
【図33】
【図34】
【図35】
【図36】
【図37】
【図38】
【図39】
【図40】
【図41】
【図42】
【図43】
【図44】
【図45】
【図46】