特開 2024-146417 安全性評価装置、安全性評価方法及び安全性評価プログラム

(19)【発行国】日本国特許庁(JP)

(12)【公報種別】公開特許公報(A)

(11)【公開番号】P2024146417

(43)【公開日】2024-10-15

(54)【発明の名称】安全性評価装置、安全性評価方法及び安全性評価プログラム

(51)【国際特許分類】

   G09C 1/00 20060101AFI20241004BHJP

【ＦＩ】

G09C1/00 650Z

【審査請求】未請求

【請求項の数】3

【出願形態】ＯＬ

(21)【出願番号】P 2023059297

(22)【出願日】2023-03-31

(71)【出願人】

【識別番号】000208891

【氏名又は名称】ＫＤＤＩ株式会社

(74)【代理人】

【識別番号】100106002

【弁理士】

【氏名又は名称】正林 真之

(74)【代理人】

【識別番号】100120891

【弁理士】

【氏名又は名称】林 一好

(72)【発明者】

【氏名】岡田 大樹

(57)【要約】

【課題】離散ガウスＬＷＥ問題を用いた暗号方式に対して、ｅｒｒｏｒの分散が同一の丸めガウスＬＷＥ問題に基づき、正当性が保証された安全性を評価できる安全性評価装置、安全性評価方法及び安全性評価プログラムを提供すること。
【解決手段】安全性評価装置１は、離散ガウスＬＷＥ問題ＬＷＥ（ｍ，ｎ，ｑ，Ｄ_Ｚｑ，ｒ）のパラメータｍ，ｎ，ｑ，ｒの入力を受け付ける入力部１１と、パラメータが共通する丸めガウスＬＷＥ問題のセキュリティビットを取得する取得部１２と、取得されたセキュリティビットから（πｍ／４ｒ^２）を減じた値を、離散ガウスＬＷＥ問題のセキュリティビットとして算出する算出部１３と、算出されたセキュリティビットを出力する出力部１４と、を備える。
【選択図】図２

【特許請求の範囲】

【請求項1】

離散ガウスＬＷＥ問題ＬＷＥ（ｍ，ｎ，ｑ，Ｄ_Ｚｑ，ｒ）のパラメータｍ，ｎ，ｑ，ｒの入力を受け付ける入力部と、
前記パラメータが共通する丸めガウスＬＷＥ問題のセキュリティビットを取得する取得部と、
前記取得部により取得されたセキュリティビットから（πｍ／４ｒ^２）を減じた値を、前記離散ガウスＬＷＥ問題のセキュリティビットとして算出する算出部と、
前記算出部により算出されたセキュリティビットを出力する出力部と、を備える安全性評価装置。

【請求項2】

離散ガウスＬＷＥ問題ＬＷＥ（ｍ，ｎ，ｑ，Ｄ_Ｚｑ，ｒ）のパラメータｍ，ｎ，ｑ，ｒの入力を受け付ける入力ステップと、
前記パラメータが共通する丸めガウスＬＷＥ問題のセキュリティビットを取得する取得ステップと、
前記取得ステップにおいて取得されたセキュリティビットから（πｍ／４ｒ^２）を減じた値を、前記離散ガウスＬＷＥ問題のセキュリティビットとして算出する算出ステップと、
前記算出ステップにおいて算出されたセキュリティビットを出力する出力ステップと、をコンピュータが実行する安全性評価方法。

【請求項3】

請求項１に記載の安全性評価装置としてコンピュータを機能させるための安全性評価プログラム。

【発明の詳細な説明】

【技術分野】

【0001】

本発明は、暗号方式の安全性を評価する装置、方法及びプログラムに関する。

【背景技術】

【0002】

非特許文献１において、連続ガウスＬＷＥ（Ｌｅａｒｎｉｎｇ ｗｉｔｈ Ｅｒｒｏｒｓ）問題（：＝ｅｒｒｏｒ分布が連続ガウス分布のＬＷＥ問題）の計算困難性が証明されている。また、これにより、丸めガウスＬＷＥ問題（：＝ｅｒｒｏｒ分布が丸めガウス分布のＬＷＥ問題）の困難性も自明に導かれることが示され、この問題に基づいた安全性証明付きの公開鍵暗号方式が提案された。
その後、非特許文献２等において、より高機能な暗号方式（属性ベース暗号）であるが、離散ガウスＬＷＥ問題（：＝ｅｒｒｏｒ分布が離散ガウス分布のＬＷＥ問題）に基づいた暗号方式も提案されている。

【0003】

非特許文献３において、離散ガウスＬＷＥ問題が丸めガウスＬＷＥ問題以上に難しいこと、すなわち丸めガウスＬＷＥ問題から離散ガウスＬＷＥ問題への帰着（「丸めガウスＬＷＥ問題→離散ガウスＬＷＥ問題」と書く）が示された。離散ガウスＬＷＥ問題の計算困難性も証明されているため、非特許文献２の方式も安全性が証明されている。

【0004】

また、非特許文献４等では、ＬＷＥ問題の具体的なセキュリティビットλ（解読にかかる計算量２^λの指数）を生成する手法が示された。
ただし、この手法は、ＬＷＥ問題の困難性がｅｒｒｏｒの分散によってのみ決まるという仮説に基づいているため、丸めガウスＬＷＥ問題以外に用いた場合、セキュリティビットは安全性証明により正当性が保証されたパラメータ値ではない。

【先行技術文献】

【非特許文献】

【0005】

【非特許文献1】Oded Regev. "On Lattices, Learning with Errors, Random Linear Codes, and Cryptography". In: J. ACM 56.6 (Sept. 2009).

【非特許文献2】Sergey Gorbunov, Vinod Vaikuntanathan, and Hoeteck Wee. "Attribute-Based Encryption for Circuits". In: J. ACM 62.6 (Dec. 2015).

【非特許文献3】Chris Peikert. "An Efficient and Parallel Gaussian Sampler for Lattices". In: CRYPTO 2010. 2010, pp. 80-97.

【非特許文献4】Martin R. Albrecht, Benjamin R. Curtis, Amit Deo, Alex Davidson, Rachel Player, Eamonn W. Postlethwaite, Fernando Virdia, and Thomas Wunderer. "Estimate All the {LWE, NTRU} Schemes!" In: SCN 2018. 2018, pp. 351-367.

【非特許文献5】Thomas Prest. "Sharper Bounds in Lattice-Based Cryptography Using the Renyi Divergence". In: ASIACRYPT 2017. 2017, pp. 347-374.

【発明の概要】

【発明が解決しようとする課題】

【0006】

非特許文献３により、丸めガウスＬＷＥ問題から離散ガウスＬＷＥ問題への帰着

【数1】

を構成可能であるが、離散ガウスＬＷＥの標準偏差（パラメータ√２ｒ）が丸めガウスＬＷＥの標準偏差（パラメータｒ）より大きくなってしまうという課題がある。
この課題により、離散ガウスＬＷＥ問題に基づく暗号方式は、丸めガウスＬＷＥ問題より大きなノイズを利用する必要があり、つまり法ｑをより大きくとる必要があった。したがって、暗号文及び鍵のサイズが大きくなっていた。

【0007】

本発明は、離散ガウスＬＷＥ問題を用いた暗号方式に対して、ｅｒｒｏｒの分散が同一の丸めガウスＬＷＥ問題に基づき、正当性が保証された安全性を評価できる安全性評価装置、安全性評価方法及び安全性評価プログラムを提供することを目的とする。

【課題を解決するための手段】

【0008】

本発明に係る安全性評価装置は、離散ガウスＬＷＥ問題ＬＷＥ（ｍ，ｎ，ｑ，Ｄ_Ｚｑ，ｒ）のパラメータｍ，ｎ，ｑ，ｒの入力を受け付ける入力部と、前記パラメータが共通する丸めガウスＬＷＥ問題のセキュリティビットを取得する取得部と、前記取得部により取得されたセキュリティビットから（πｍ／４ｒ^２）を減じた値を、前記離散ガウスＬＷＥ問題のセキュリティビットとして算出する算出部と、前記算出部により算出されたセキュリティビットを出力する出力部と、を備える。

【0009】

本発明に係る安全性評価方法は、離散ガウスＬＷＥ問題ＬＷＥ（ｍ，ｎ，ｑ，Ｄ_Ｚｑ，ｒ）のパラメータｍ，ｎ，ｑ，ｒの入力を受け付ける入力ステップと、前記パラメータが共通する丸めガウスＬＷＥ問題のセキュリティビットを取得する取得ステップと、前記取得ステップにおいて取得されたセキュリティビットから（πｍ／４ｒ^２）を減じた値を、前記離散ガウスＬＷＥ問題のセキュリティビットとして算出する算出ステップと、前記算出ステップにおいて算出されたセキュリティビットを出力する出力ステップと、をコンピュータが実行する。

【0010】

本発明に係る安全性評価プログラムは、前記安全性評価装置としてコンピュータを機能させるためのものである。

【発明の効果】

【0011】

本発明によれば、離散ガウスＬＷＥ問題を用いた暗号方式に対して、ｅｒｒｏｒの分散が同一の連続又は丸めガウスＬＷＥ問題に基づき、正当性が保証された安全性を評価できる。

【図面の簡単な説明】

【0012】

【図1】実施形態における離散ガウスＬＷＥ問題と、連続ガウスＬＷＥ問題及び丸めガウスＬＷＥ問題との安全性の関係を示す図である。

【図2】実施形態における安全性評価装置の機能構成を示す図である。

【図3】実施形態における安全性評価装置が実行する安全性評価プログラムのアルゴリズムを示す図である。

【発明を実施するための形態】

【0013】

以下、本発明の実施形態の一例について説明する。
本実施形態の安全性評価装置は、ｅｒｒｏｒ分布が離散ガウス分布であるＬＷＥ暗号のパラメータ設計に際して、安全性を示すセキュリティビットを出力するものである。

【0014】

図１は、本実施形態における離散ガウスＬＷＥ問題と、連続ガウスＬＷＥ問題及び丸めガウスＬＷＥ問題との安全性の関係を示す図である。
連続ガウスＬＷＥ問題から丸めガウスＬＷＥ問題への帰着は、前述の通り自明である。
また、連続ガウスＬＷＥ問題から離散ガウスＬＷＥ問題への帰着についても、前述の通り、パラメータｒ（ｅｒｒｏｒの標準偏差）が増大する条件の下でのみ示されていた。

【0015】

すなわち、離散ガウスＬＷＥ問題に基づく暗号方式は、連続ガウスＬＷＥ問題又は丸めガウスＬＷＥ問題よりも大きな標準偏差を用いなければ、同等の安全性は保証されていなかった。
本実施形態では、パラメータ値が同一の丸めガウスＬＷＥ問題と離散ガウスＬＷＥ問題との関係、すなわち、同じ標準偏差パラメータの丸めガウスＬＷＥ問題から離散ガウスＬＷＥ問題への帰着を示し、これに基づいて、従来よりも高い計算困難性が保証された離散ガウスＬＷＥ問題を用いた暗号方式の安全性評価装置を構成する。

【0016】

［定義］
以下では、次の表記を用いる。
・Ｒ^＋は、正の実数の集合である。
・確率分布Ｄの確率密度関数をＤ（ｘ）と書く。
・Ｕ（Ｘ）は、集合Ｘ上の一様分布を表す。
・Ｚ_ｑ上の値の行列又はベクトル同士の積は、全てｍｏｄ ｑ上で実行される。

【0017】

定義１（ガウス関数）： 中心ｃ∈Ｒ，パラメータｓの１次元ガウス関数は、

【数2】

と定義され、ｃ＝０のときρ_ｓ（ｘ）と省略される。
このとき、平均ｃ∈Ｒ、分散σ^２のガウス分布をＮ（ｃ，σ^２）と表記すると、Ｎ（ｃ，ｓ^２／２π）の確率密度関数は、ρ_ｓ（ｘ）／ｓと書ける。

【0018】

定義２（丸め処理Ｒ／ｑＺ→Ｚ_ｑ）： 法をｑ∈Ｎとした、［０，ｑ）上の確率分布の確率密度関数φに対しての、整数に丸めたＺ_ｑ上の分布を￣φとし、その確率密度関数を次のように定義する。

【数3】

【0019】

定義３（Ｒ／ｑＺ上の周期的な連続ガウス分布）： ｒ∈Ｒ^＋，ｑ∈Ｎとし、連続正規分布Ｎ（０，ｒ^２／２π）から得たサンプルにｍｏｄ ｑを施すことで得られる［０，ｑ）上の確率分布をΨ_ｑ，ｒと表記する。Ψ_ｑ，ｒの確率密度関数は、次の通りである。

【数4】

【0020】

定義４（丸めガウス分布）： Ψ_ｑ，ｒをＲ／ｑＺ上の連続ガウス分布（定義３）としたとき、この分布に定義２の丸め処理を施した分布を￣Ψ_ｑ，ｒと表記し、丸めガウス分布という。

【0021】

定義５（整数格子上の離散ガウス分布）： パラメータｒの整数格子上の離散ガウス分布Ｄ_Ｚ，ｒの確率密度関数は、次のように定義される。

【数5】

ここで、ρ_ｒ（Ｚ）＝Σ_ｘ∈Ｚρ_ｒ（ｘ）は、規格化定数である。

【0022】

定義６（ＬＷＥ）： ｍ，ｎ，ｑ≧２を整数、χをＺ_ｑ上のｅｒｒｏｒ分布とする。秘密ベクトルｓ～Ｕ（Ｚ^ｎ _ｑ）のＬＷＥサンプルＬＷＥ_ｓ（ｍ，ｎ，ｑ，χ）とは、（Ａ，Ａｓ＋ｅ）であり、Ａ～Ｕ（Ｚ^ｍ×ｎ _ｑ），ｅ～χ^ｍである。ＬＷＥ問題とは、与えられたＬＷＥサンプルから秘密ベクトルｓを求める問題である。

【0023】

定義７（Ｍａｘ－ｌｏｇ ｄｉｓｔａｎｃｅ）： 同じ台を持つ確率分布Ｄ_１とＤ_２（Ｓ＝Ｓｕｐｐ（Ｄ_１）＝Ｓｕｐｐ（Ｄ_２））の間のＭａｘ－ｌｏｇ ｄｉｓｔａｎｃｅは、次のように定義される。

【数6】

【0024】

また、ここから次の関係が導かれる。

【数7】

【0025】

定義８（Ｓｍｏｏｔｈｉｎｇ ｐａｒａｍｅｔｅｒ）： 格子Ｌ，任意実数ε＞０に対して、ｓｍｏｏｔｈｉｎｇ ｐａｒａｍｅｔｅｒ η_ε（Ｌ）は、次のように定義される。

【数8】

【0026】

［定理］
本実施形態では、次の定理９から導かれる系１０を用いて、安全性評価装置１を構成する。

【0027】

定理９： ｎ∈Ｎ，ｒ≧η_ε（Ｚ），ε＞０，ｑ：＝２ｔｒ，ｔ＝Ω（√ｎ）に対して、次式が成り立つ。

【数9】

【0028】

証明： 後述する補題１３及び１５から、

【数10】

が成り立つ。よって、後述する補題１１により、定理９は導かれる。

【0029】

系１０： 任意のε＝ｎｅｇｌ（ｎ），ｍ＝ｐｏｌｙ（ｎ）に対して、次式が成り立つ。

【数11】

【0030】

補題１１： 任意のε＞０，ｒ≧η_ε（Ｚ）に対して、次式が成り立つ。

【数12】

【0031】

証明： 非特許文献１から、任意のε＞０，ｒ≧η_ε（Ｚ）に対して、ρ_ｒ（Ｚ）∈（１±ε）ｒが成り立つ。よって、∀ｘ∈Ｚに対し、

【数13】

が成り立つ。ここで、

【数14】

である。

【数15】

なので、ｙ＞０で単調減少、ｙ＜０で単調増加（ｙ＝０に向かって増大）であるので、

【数16】

が成り立つ。したがって、

【数17】

である。

【0032】

補題１２：

【数18】

とすると、任意のｔ＞０に対して、次式が成り立つ。

【数19】

【0033】

証明：

【数20】

に対して、

【数21】

である。

【0034】

補題１３： ｎ∈Ｎ，ｑ：＝２ｔｒ，ｔ＝Ω（√ｎ）に対して、次式が成り立つ。

【数22】

【0035】

証明： 定義より、

【数23】

よって、

【数24】

である。

【0036】

補題１４： 任意のε＞０に対して、ｒ≧η_ε（Ｚ）であり、任意のｔ＞０に対して、次式が成り立つ。

【数25】

【0037】

証明： 非特許文献１から、ρ_ｒ（Ｚ）＝（１±ε）ｒである。よって、

【数26】

である。

【0038】

補題１５： ｎ∈Ｚ，ｒ≧η_ε（Ｚ），ε＞０，ｑ：＝２ｔｒ，ｔ＝Ω（√ｎ）に対して、次式が成り立つ。

【数27】

【0039】

証明： 任意のｘ∈Ｚ_ｑに対して、

【数28】

である。

【0040】

［安全性の帰着］
まず、Δ_ＭＬと類似する確率分布間の距離尺度であるＲｅｎｙｉ ｄｉｖｅｒｅｇｅｎｃｅを定義し、Δ_ＭＬとＲＤとの関係、及びＲＤの性質を説明する。

【0041】

定義１６（Ｒｅｎｙｉ ｄｉｖｅｒｅｇｅｎｃｅ）： Ｓ：＝Ｓｕｐｐ（Ｄ_１）⊆Ｓｕｐｐ（Ｄ_２）を満たす確率分布Ｄ_１，Ｄ_２に対して、オーダーａ≧１のＲｅｎｙｉ ｄｉｖｅｒｅｇｅｎｃｅは、次のように定義される。

【数29】

【0042】

ここで、Ｒ_ａ（Ｄ_１∥Ｄ_１）＝１であり、Ｒ_ａ（Ｄ_１∥Ｄ_２）が１に近いほど、Ｄ_１とＤ_２の分布が類似しているといえる。また、Ｒｅｎｙｉ ｄｉｖｅｒｅｇｅｎｃｅの最も重要な性質として、計算量帰着への応用が可能な点がある。

【0043】

補題１７（非特許文献５参照）： λ∈Ｎをセキュリティパラメータとする。任意の関数（アルゴリズム）ｆに対して、Ｐ^ｆ（ｒｅｓｐ． Ｑ^ｆ）を、ｙ～Ｐ（ｒｅｓｐ． ｙ～Ｑ）をサンプルしてｆ（ｙ）を出力したときの分布とする。任意の（確率的多項式時間：ＰＰＴ）アルゴリズムｆに対して、あるイベントＥ⊆Ｓｕｐｐ（Ｑ^ｆ）が起こる確率が

【数30】

であると仮定する。このとき、任意のａ＞１に対して、

【数31】

が成り立つ。

【0044】

また、Δ_ＭＬは、任意オーダーのＲｅｎｙｉ ｄｉｖｅｒｅｇｅｎｃｅの上界を与えることが確認できるので、Ｒ_ａの上界を求めるにはΔ_ＭＬの上界を求めば十分である。すなわち、次が成り立つ。

【0045】

補題１８（Ｒｅｎｙｉ＜Δ_ＭＬ）： Ｄ_１，Ｄ_２をＳ＝Ｓｕｐｐ（Ｄ_１）＝Ｓｕｐｐ（Ｄ_２）上の確率分布とする。任意のａ∈［１，∞］に対して、

【数32】

【0046】

次に、ＬＷＥ問題（定義６）に対して、λ－安全性の定義を示す。
定義１９（λ－安全性）： 任意の確率的多項式時間（ＰＰＴ： Ｐｒｏｂａｂｉｌｉｓｔｉｃ ｐｏｌｙｎｏｍｉａｌ ｔｉｍｅ）アルゴリズムｆに対して、ＬＷＥサンプル（Ａ，ｂ）←ＬＷＥ_ｓ（ｍ，ｎ，ｑ，χ）からｓを出力するイベントＥの確率が

【数33】

を満たすとき、ＬＷＥ_ｓ（ｍ，ｎ，ｑ，χ）はλ－安全であるという。

【0047】

以上より、次の定理を導くことができる。
定理２０：

【数34】

【0048】

証明：

【数35】

とおく。仮定より、任意のＰＰＴアルゴリズムｆに対して、（Ａ，ｂ）からｓを出力するイベントＥの確率（＝丸めガウスＬＷＥの解読成功確率）は、

【数36】

を満たす。ここで、

【数37】

とおくと、

【数38】

である。上式と、系１０、補題１８より、

【数39】

である。よって、補題１７より、

【数40】

が成り立つ。（Ａ，ｂ’）^ｆ（Ｅ）は、離散ガウスＬＷＥ（ｍ，ｎ，ｑ，Ｄ_Ｚｑ，ｒ）問題の解読成功確率に他ならない。したがって、十分に小さい項ｎｅｇｌ（ｎ）を無視したとき、定理２０を得る。

【0049】

［機能構成］
本実施形態では、前述の定理２０に基づいて、安全性評価装置１を構成する。
図２は、本実施形態における安全性評価装置１の機能構成を示す図である。
安全性評価装置１は、制御部１０及び記憶部２０の他、各種の入出力インタフェース等を備えた情報処理装置（コンピュータ）である。

【0050】

制御部１０は、安全性評価装置１の全体を制御する部分であり、記憶部２０に記憶された各種プログラムを適宜読み出して実行することにより、本実施形態における各機能を実現する。制御部１０は、ＣＰＵであってよい。

【0051】

記憶部２０は、ハードウェア群を安全性評価装置１として機能させるための各種プログラム、及び各種データ等の記憶領域であり、ＲＯＭ、ＲＡＭ、フラッシュメモリ又はハードディスクドライブ（ＨＤＤ）等であってよい。

【0052】

制御部１０は、入力部１１と、取得部１２と、算出部１３と、出力部１４とを備え、これらの機能部により、設計対象である暗号方式が採用する離散ガウスＬＷＥ問題の計算困難性（暗号の安全性）を示す評価値を出力する。

【0053】

入力部１１は、離散ガウスＬＷＥ問題ＬＷＥ（ｍ，ｎ，ｑ，Ｄ_Ｚｑ，ｒ）のパラメータｍ，ｎ，ｑ，ｒの入力を受け付ける。

【0054】

取得部１２は、入力部１１により受け付けられたパラメータが共通する丸めガウスＬＷＥ問題のセキュリティビットλ’を取得する。
丸めガウスＬＷＥ問題のセキュリティビットは、例えば、非特許文献４等に示された既知の手法により取得可能である。なお、計算済みの値は、パラメータと対応付けてデータベースに保存されてもよい。

【0055】

算出部１３は、取得部１２により取得されたセキュリティビットλ’から（πｍ／４ｒ^２）を減じた値を、離散ガウスＬＷＥ問題のセキュリティビットλとして算出する。

【0056】

出力部１４は、算出部１３により算出されたセキュリティビットλを、暗号の安全性評価値として出力する。

【0057】

図３は、本実施形態における安全性評価装置１が実行する安全性評価プログラムのアルゴリズムを示す図である。
このアルゴリズムは、パラメータｍ，ｎ，ｑ，ｒを入力とし、離散ガウスＬＷＥ問題のセキュリティビットλを出力するものである。

【0058】

ステップ１において、安全性評価装置１は、入力されたパラメータに対応する丸めガウスＬＷＥ問題のセキュリティビットλ’を入手する。
ステップ２において、安全性評価装置１は、λ：＝λ’－（πｍ／４ｒ^２）を計算する。

【0059】

本実施形態によれば、ｅｒｒｏｒの分散が同一の離散ガウスＬＷＥ問題で、セキュリティビットの損失（πｍ／４ｒ^２）はあるものの、ｒ^２がｍに対して十分に大きい場合には、丸めガウスＬＷＥ問題と同等の計算困難性、すなわち暗号の安全性が保証された。これにより、従来の仮説に基づく安全性（非特許文献４）とは異なり、安全性評価装置１は、離散ガウスＬＷＥ問題を用いた暗号方式に対して、パラメータが共通する丸めガウスＬＷＥ問題に基づいて、正当性が保証された安全性を評価できる。
この結果、従来は、丸めガウスＬＷＥ問題と同等の計算困難性を得るためには、ｅｒｒｏｒの分散が大きな（２倍程度の）離散ガウスＬＷＥ問題を利用する必要があったが、同一の分散、すなわち暗号文及び鍵のサイズを変えることなく、同等の安全性が保証された離散ガウスＬＷＥ問題を用いた暗号方式を設計することができる。

【0060】

ここで、本実施形態の安全性証明では、制限として、（πｍ／４ｒ^２）の分だけセキュリティビットを損失してしまうため、ｒ^２≧ｍの場合等、ｒ^２がｍに対して十分大きい場合に用いられることが好ましい。

【0061】

なお、前述の実施形態により、例えば、安全で効率的な暗号方式を設計できることから、国連が主導する持続可能な開発目標（ＳＤＧｓ）の目標９「レジリエントなインフラを整備し、持続可能な産業化を推進するとともに、イノベーションの拡大を図る」に貢献することが可能となる。

【0062】

以上、本発明の実施形態について説明したが、本発明は前述した実施形態に限るものではない。また、前述した実施形態に記載された効果は、本発明から生じる最も好適な効果を列挙したに過ぎず、本発明による効果は、実施形態に記載されたものに限定されるものではない。

【0063】

安全性評価装置１による安全性評価方法は、ソフトウェアにより実現される。ソフトウェアによって実現される場合には、このソフトウェアを構成するプログラムが、情報処理装置（コンピュータ）にインストールされる。また、これらのプログラムは、ＣＤ－ＲＯＭのようなリムーバブルメディアに記録されてユーザに配布されてもよいし、ネットワークを介してユーザのコンピュータにダウンロードされることにより配布されてもよい。さらに、これらのプログラムは、ダウンロードされることなくネットワークを介したＷｅｂサービスとしてユーザのコンピュータに提供されてもよい。

【符号の説明】

【0064】

１ 安全性評価装置
１０ 制御部
１１ 入力部
１２ 取得部
１３ 算出部
１４ 出力部
２０ 記憶部

【図1】

【図2】

【図3】