(57)【要約】本発明は、システムに必要なセキュリティ対策を実現するための要素を、漏れなく用意可能であることを検証することが可能なセキュリティ検証装置及びセキュリティ検証方法を提供する。そのセキュリティ検証装置及びセキュリティ検証方法は、セキュリティ要件情報に基づいて検証アイテムを選択し、セキュリティ対象モデルに基づいて、その検証アイテムで特定されるパーツのセキュリティ要件情報を生成し、その検証アイテムに含まれる実現方式に基づいて抽出した機能アイテムに基づいて、そのセキュリティ対象モデルに含まれるパーツのセキュリティの保有機能を示す情報を生成し、そのパーツのセキュリティ要件情報とその保有機能を示す情報との比較検証結果を出力する。
2013081185.tif 000002
【特許請求の範囲】
【請求項１】
セキュリティの内容を特定する情報であるセキュリティ機能名と前記セキュリティの実現方式を示す情報である実現方式と前記セキュリティを実現する１以上のパーツそれぞれの識別情報であるパーツ識別情報を含むパーツ情報とを少なくとも含む検証アイテムを１以上記憶する検証アイテム記憶手段と、
前記パーツ識別情報と前記セキュリティ機能名と前記パーツ識別情報で特定されるパーツの前記セキュリティ機能名で特定されるセキュリティの実現手段を示す情報である実現手段とを少なくとも含む機能アイテムを１以上記憶する機能アイテム記憶手段と、
被検証システムのセキュリティの要件を示す情報であるシステム要件に基づいて、前記検証アイテム記憶手段から前記検証アイテムを選択して出力し、前記被検証システムのセキュリティ対象部分の構成を示す情報であるセキュリティ対象モデルに基づいて、前記選択した検証アイテムのパーツ情報に含まれるパーツ識別情報で特定されるパーツそれぞれのセキュリティの要件を示す情報を生成し、出力する要件モデル生成手段と、
前記要件モデル生成手段が選択した前記検証アイテムに含まれる実現方式に基づいて、前記機能アイテム記憶手段から前記機能アイテムを抽出し、前記抽出した機能アイテムに基づいて、前記セキュリティ対象モデルに含まれるパーツそれぞれのセキュリティの保有機能を示す情報を生成し、出力する保有機能モデル生成手段と、
前記パーツそれぞれのセキュリティの要件を示す情報と前記パーツそれぞれのセキュリティの保有機能を示す情報とを比較検証し、前記比較検証の検証結果を、出力する検証手段と、を含む
セキュリティ検証装置。
【請求項２】
前記システム要件と前記セキュリティ対象モデルの構成を全体の構成の一部として含むシステムモデルとに基づいて、前記セキュリティ対象モデルを生成し、出力するセキュリティ対象モデル抽出手段を更に含む、
ことを特徴とする請求項１記載のセキュリティ検証装置。
【請求項３】
前記セキュリティ機能名と前記セキュリティ機能名で特定されるセキュリティの内容に対応する、予め定められたセキュリティ基準における各規定を１つ以上特定する情報である規定識別情報とが関連付けられたレコードを１以上含むセキュリティ規定記憶手段を更に含み、
前記検証手段は、セキュリティ規定記憶手段を参照し、前記検証結果の対象であるセキュリティ機能に対応する規定識別情報を、出力する
ことを特徴とする請求項１または２記載のセキュリティ検証装置。
【請求項４】
前記検証手段は、前記パーツそれぞれのセキュリティの要件を示す情報及び前記パーツそれぞれのセキュリティの保有機能を示す情報の内の、任意の情報を更に出力する
ことを特徴とする請求項１乃至３のいずれか１項に記載のセキュリティ検証装置。
【請求項５】
セキュリティの内容を特定する情報であるセキュリティ機能名と前記セキュリティの実現方式を示す情報である実現方式と前記セキュリティを実現する１以上のパーツそれぞれの識別情報であるパーツ識別情報を含むパーツ情報とを少なくとも含む検証アイテムを１以上記憶し、
前記パーツ識別情報と前記セキュリティ機能名と前記パーツ識別情報で特定されるパーツの前記セキュリティ機能名で特定されるセキュリティの実現手段を示す情報である実現手段とを少なくとも含む機能アイテムを１以上記憶している、コンピュータが、
被検証システムのセキュリティの要件を示す情報であるシステム要件に基づいて、前記１以上記憶している検証アイテムの内から前記検証アイテムを選択して出力し、
前記被検証システムのセキュリティ対象部分の構成を示す情報であるセキュリティ対象モデルに基づいて、前記選択した検証アイテムのパーツ情報に含まれるパーツ識別情報で特定されるパーツそれぞれのセキュリティの要件を示す情報を生成し、出力し、
前記選択した前記検証アイテムに含まれる実現方式に基づいて、前記１以上記憶している機能アイテムの内から前記機能アイテムを抽出し、
前記抽出した機能アイテムに基づいて、前記セキュリティ対象モデルに含まれるパーツそれぞれのセキュリティの保有機能を示す情報を生成し、出力し、
前記対象パーツそれぞれのセキュリティの要件を示す情報と前記パーツそれぞれのセキュリティの保有機能を示す情報とを比較検証し、
前記比較検証の検証結果を、出力する
セキュリティ検証方法。
【請求項６】
セキュリティの内容を特定する情報であるセキュリティ機能名と前記セキュリティの実現方式を示す情報である実現方式と前記セキュリティを実現する１以上のパーツそれぞれの識別情報であるパーツ識別情報を含むパーツ情報とを少なくとも含む検証アイテムを１以上記憶し、
前記パーツ識別情報と前記セキュリティ機能名と前記パーツ識別情報で特定されるパーツの前記セキュリティ機能名で特定されるセキュリティの実現手段を示す情報である実現手段とを少なくとも含む機能アイテムを１以上記憶している、コンピュータに、
被検証システムのセキュリティの要件を示す情報であるシステム要件に基づいて、前記１以上記憶している検証アイテムの内から前記検証アイテムを選択して出力する処理と、
前記被検証システムのセキュリティ対象部分の構成を示す情報であるセキュリティ対象モデルに基づいて、前記選択した検証アイテムのパーツ情報に含まれるパーツ識別情報で特定されるパーツそれぞれのセキュリティの要件を示す情報を生成し、出力する処理と、
前記選択した前記検証アイテムに含まれる実現方式に基づいて、前記１以上記憶している機能アイテムの内から前記機能アイテムを抽出する処理と、
前記抽出した機能アイテムに基づいて、前記セキュリティ対象モデルに含まれるパーツそれぞれのセキュリティの保有機能を示す情報を生成し、出力する処理と、
前記対象パーツそれぞれのセキュリティの要件を示す情報と前記パーツそれぞれのセキュリティの保有機能を示す情報とを比較検証する処理と、
前記比較検証の検証結果を、出力する処理と、を実行させる
プログラムを記録した不揮発性記憶媒体。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、システムのセキュリティに関し、特にセキュリティ設計の検証を行うセキュリティ検証装置、セキュリティ検証方法、及びそのためのプログラムに関する。
【背景技術】
【０００２】
セキュリティ技術に関し、さまざまな関連技術が知られている。
特許文献１は、以下に示す情報セキュリティ対策決定支援装置を開示する。
その情報セキュリティ対策決定支援装置は、診断対象システムの属性情報の入力を受ける。続けて、その情報セキュリティ対策決定支援装置は、脅威一覧や、その脅威とセキュリティ対策（以下、単に「対策」と記載）との関係等を参照して、その診断対象システムに含まれる情報セキュリティ上の問題点を洗い出す。ここで、その脅威一覧は、不正アクセス行為の手順を構造化したセキュリティ・イベント遷移モデルに基づいて生成されたものである。
次に、その情報セキュリティ対策決定支援装置は、診断対象システムの情報セキュリティを保つための対策パターンを提示する。
また、その情報セキュリティ対策決定支援装置は、その各対策のコストや効果を示す対策一覧を参照し、洗い出したその各対策について、その対策に掛かるコスト、その対策を施した場合の効果、及び残存リスク等を計算する。そして、その情報セキュリティ対策決定支援装置は、この計算結果に基づいて、そのコストを最小にし、求める対策の強度を担保できる対策例、コスト対効果を最大にする対策例、コストを度外視してセキュリティ対策の強度を最大にする対策例など、要望にあった対策を選び出して提示する。
特許文献２は、以下に示す統合システムセキュリティ設計方法を開示する。
特許文献２の統合システムセキュリティ設計方法は、国際セキュリティ基準ＩＳＯ１７７９９（ＩＳＭＳ（Ｉｎｆｏｒｍａｔｉｏｎ  Ｓｅｃｕｒｉｔｙ  Ｍａｎａｇｅｍｅｎｔ  Ｓｙｓｔｅｍ））とＩＳＯ１５４０８（ＣＣ（Ｃｏｍｍｏｎ  Ｃｒｉｔｅｒｉａ））との両基準に準拠するサイト及び情報システムに関するセキュリティ設計方法である。
統合システムセキュリティ設計方法を実現するセキュリティ設計支援装置は、あるサイトについて、セキュリティの対象となる資産グループの情報の入力を受け付ける。
次に、そのセキュリティ設計支援装置は、その入力された資産グループの情報を表示し、各資産グループに対応する情報システムの「資産の情報」の入力を受け付ける。
次に、そのセキュリティ設計支援装置は、その入力された資産グループの情報を表示し、その各資産グループについて、「サイトの脅威の情報」の入力を受け付ける。
次に、そのセキュリティ設計支援装置は、その資産グループとその資産との対応関係に基づいて、その資産グループについてその入力された「サイトの脅威の情報」とその「資産の情報」とを表示し、その資産について「情報システムの脅威の情報」の入力を受け付ける。
次に、そのセキュリティ設計支援装置は、その入力された「サイトの脅威の情報」を表示し、その各サイトの脅威について「サイトの対策方針」の入力を受け付ける。
次に、そのセキュリティ設計支援装置は、「サイトの脅威の情報」と「情報システムの脅威の情報」との対応関係に基づいて、その「サイトの脅威の情報」に対応して入力されたその「サイトの対策方針」とその「情報システムの脅威の情報」とを表示し、その各情報システムの脅威について「情報システムの対策方針」の入力を受け付ける。
次に、そのセキュリティ設計支援装置は、その入力された「サイトの対策方針」を表示し、対策基準マッピングテーブルを参照して上位レベル対策基準を表示し、選択されたその「サイトの対策方針」について上位レベル対策基準の選択入力を受け付ける。ここで、その対策基準マッピングテーブルは、ＩＳＭＳに準拠する上位レベル対策基準とＣＣに準拠する下位レベル対策基準との対応関係を格納するテーブルである。
次に、そのセキュリティ設計支援装置は、その「サイトの対策方針」とその「情報システムの対策方針」との対応関係に基づいて、選択されたその「サイトの対策方針」に対応するその「情報システムの対策方針」を表示する。次に、そのセキュリティ設計支援装置は、その「選択されたサイトの対策方針」に対応して選択された、上位レベル対策基準とその対策基準マッピングテーブル上で対応関係をもつ下位レベル対策基準とを表示し、選択されたその「情報システムの対策方針」について下位レベル対策基準の選択入力を受け付ける。
次に、そのセキュリティ設計支援装置は、その資産グループの情報とその資産の情報との対応から、選択された上位レベル対策基準と選択された下位レベル対策基準との対応に至るまでの、それらの対応を含む対応関係に従ってＩＳＭＳ準拠セキュリティ設計書とＣＣ準拠セキュリティ設計書を作成して出力する。
【先行技術文献】
【特許文献】
【０００３】
【特許文献１】特開２００９−１１０１７７号公報
【特許文献２】特開２００５−２５８５１２号公報
【発明の概要】
【発明が解決しようとする課題】
【０００４】
しかしながら、上述した特許文献に記載された技術においては、システムに必要なセキュリティ対策を実現するための、要素（例えば、機器、ソフトウェア）を漏れなく用意可能であることを検証することができないという問題点がある。
検証することができない理由は、以下のとおりである。
システムのセキュリティ設計において、そのシステムのセキュリティ要件（例えば、顧客の運用する資産の機密性／完全性保護）を満たすＩＴ（Ｉｎｆｏｒｍａｔｉｏｎ  Ｔｅｃｈｎｏｌｏｇｙ）セキュリティ対策を、そのシステムを構成する機器やソフトウェアで実現する必要がある。
そのシステムのセキュリティ要件は、例えば、ユーザからの要求にそったそのシステムの構成／動作要件である。そのシステムのセキュリティ要件は、また、ユーザ指定の各種セキュリティ規定（ＮＩＳＣ（Ｎａｔｉｏｎａｌ  Ｉｎｆｏｒｍａｔｉｏｎ  Ｓｅｃｕｒｉｔｙ  Ｃｅｎｔｅｒ、内閣官房情報セキュリティーセンター）統一基準等、業界で定められたセキュリティ要件）に対応するものである。
そのＩＴセキュリティ対策は、それらのシステムのセキュリティ要件を、そのシステムを構成する要素でどのように実現するかについて、確実に設計できているかどうかを検証される必要がある。
特許文献１の情報セキュリティ対策決定支援装置は、システムによるセキュリティ対策の実現手段と、各構成要素との整合性を検証していない。そのため、その情報セキュリティ対策決定支援装置による設計では、セキュリティ設計に必要な製品が漏れなく含まれているかどうかを保証できず、システム構築時の製品調達漏れ等が発生する可能性がある。
同じく、特許文献２の統合システムセキュリティ設計方法も、システムによるセキュリティ対策の実現手段と、各構成要素との整合性を検証していない。
本発明の目的は、上述した問題点を解決できるセキュリティ検証装置、セキュリティ検証方法、及びそのためのプログラムを提供することにある。
【課題を解決するための手段】
【０００５】
本発明のセキュリティ検証装置は、セキュリティの内容を特定する情報であるセキュリティ機能名と前記セキュリティの実現方式を示す情報である実現方式と前記セキュリティを実現する１以上のパーツそれぞれの識別情報であるパーツ識別情報を含むパーツ情報とを少なくとも含む検証アイテムを１以上記憶する検証アイテム記憶手段と、
前記パーツ識別情報と前記セキュリティ機能名と前記パーツ識別情報で特定されるパーツの前記セキュリティ機能名で特定されるセキュリティの実現手段を示す情報である実現手段とを少なくとも含む機能アイテムを１以上記憶する機能アイテム記憶手段と、
被検証システムのセキュリティの要件を示す情報であるシステム要件に基づいて、前記検証アイテム記憶手段から前記検証アイテムを選択して出力し、前記被検証システムのセキュリティ対象部分の構成を示す情報であるセキュリティ対象モデルに基づいて、前記選択した検証アイテムのパーツ情報に含まれるパーツ識別情報で特定されるパーツそれぞれのセキュリティの要件を示す情報を生成し、出力する要件モデル生成手段と、
前記要件モデル生成手段が選択した前記検証アイテムに含まれる実現方式に基づいて、前記機能アイテム記憶手段から前記機能アイテムを抽出し、前記抽出した機能アイテムに基づいて、前記セキュリティ対象モデルに含まれるパーツそれぞれのセキュリティの保有機能を示す情報を生成し、出力する保有機能モデル生成手段と、
前記対象パーツそれぞれのセキュリティの要件を示す情報と前記パーツそれぞれのセキュリティの保有機能を示す情報とを比較検証し、前記比較検証の検証結果を、出力する検証手段と、を含む。
本発明のセキュリティ検証方法は、セキュリティの内容を特定する情報であるセキュリティ機能名と前記セキュリティの実現方式を示す情報である実現方式と前記セキュリティを実現する１以上のパーツそれぞれの識別情報であるパーツ識別情報を含むパーツ情報とを少なくとも含む検証アイテムを１以上記憶し、
前記パーツ識別情報と前記セキュリティ機能名と前記パーツ識別情報で特定されるパーツの前記セキュリティ機能名で特定されるセキュリティの実現手段を示す情報である実現手段とを少なくとも含む機能アイテムを１以上記憶している、コンピュータが、
被検証システムのセキュリティの要件を示す情報であるシステム要件に基づいて、前記１以上記憶している検証アイテムの内から前記検証アイテムを選択して出力し、
前記被検証システムのセキュリティ対象部分の構成を示す情報であるセキュリティ対象モデルに基づいて、前記選択した検証アイテムのパーツ情報に含まれるパーツ識別情報で特定されるパーツそれぞれのセキュリティの要件を示す情報を生成し、出力し、
前記選択した前記検証アイテムに含まれる実現方式に基づいて、前記１以上記憶している機能アイテムの内から前記機能アイテムを抽出し、
前記抽出した機能アイテムに基づいて、前記セキュリティ対象モデルに含まれるパーツそれぞれのセキュリティの保有機能を示す情報を生成し、出力し、
前記対象パーツそれぞれのセキュリティの要件を示す情報と前記パーツそれぞれのセキュリティの保有機能を示す情報とを比較検証し、
前記比較検証の検証結果を、出力する。
本発明の不揮発性記憶媒体に記録されたプログラムは、セキュリティの内容を特定する情報であるセキュリティ機能名と前記セキュリティの実現方式を示す情報である実現方式と前記セキュリティを実現する１以上のパーツそれぞれの識別情報であるパーツ識別情報を含むパーツ情報とを少なくとも含む検証アイテムを１以上記憶し、
前記パーツ識別情報と前記セキュリティ機能名と前記パーツ識別情報で特定されるパーツの前記セキュリティ機能名で特定されるセキュリティの実現手段を示す情報である実現手段とを少なくとも含む機能アイテムを１以上記憶している、コンピュータに、
被検証システムのセキュリティの要件を示す情報であるシステム要件に基づいて、前記１以上記憶している検証アイテムの内から前記検証アイテムを選択して出力する処理と、
前記被検証システムのセキュリティ対象部分の構成を示す情報であるセキュリティ対象モデルに基づいて、前記選択した検証アイテムのパーツ情報に含まれるパーツ識別情報で特定されるパーツそれぞれのセキュリティの要件を示す情報を生成し、出力する処理と、
前記選択した前記検証アイテムに含まれる実現方式に基づいて、前記１以上記憶している機能アイテムの内から前記機能アイテムを抽出する処理と、
前記抽出した機能アイテムに基づいて、前記セキュリティ対象モデルに含まれるパーツそれぞれのセキュリティの保有機能を示す情報を生成し、出力する処理と、
前記対象パーツそれぞれのセキュリティの要件を示す情報と前記パーツそれぞれのセキュリティの保有機能を示す情報とを比較検証する処理と、
前記比較検証の検証結果を、出力する処理と、を実行させる。
【発明の効果】
【０００６】
本発明は、システムに必要なセキュリティ対策を実現するための要素を、漏れなく用意可能であることを検証することが可能になるという効果がある。
【図面の簡単な説明】
【０００７】
【図１】図１は、第１の実施の形態の構成を示すブロック図である。
【図２】図２は、第１の実施の形態におけるシステム要件の一例を示す図である。
【図３】図３は、第１の実施の形態におけるセキュリティ対象モデルの一例を示す図である。
【図４】図４は、第１の実施の形態における検証アイテムデータベースの一例を示す図である。
【図５】図５は、第１の実施の形態における検証アイテムの一例を示す図である。
【図６】図６は、第１の実施の形態における要件モデルの一例を示す図である。
【図７】図７は、第１の実施の形態における機能アイテムデータベースの一例を示す図である。
【図８】図８は、第１の実施の形態における機能アイテムの一例を示す図である。
【図９】図９は、第１の実施の形態における保有機能モデルの一例を示す図である。
【図１０】図１０は、第１の実施の形態のハードウェア構成を示す図である。
【図１１】図１１は、第１の実施の形態におけるセキュリティ検証装置１０１の動作を示すフローチャートである。
【図１２】図１２は、第２の実施の形態の構成を示すブロック図である。
【図１３】図１３は、第２の実施の形態におけるシステムモデルの一例を示す図である。
【図１４】図１４は、第３の実施の形態の構成を示すブロック図である。
【図１５】図１５は、第３の実施の形態におけるセキュリティ規定データベースの一例を示す図である。
【図１６】図１６は、プログラムを記録した不揮発性記憶媒体の例を示すブロック図である。
【発明を実施するための形態】
【０００８】
本発明を実施するための形態について図面を参照して詳細に説明する。
［第１の実施の形態］
図１は、本発明の第１の実施形態の構成を示すブロック図である。
図１を参照すると、本実施形態に係るセキュリティ検証装置１０１は、要件モデル生成部２００、検証アイテムデータベース（検証アイテム記憶手段とも呼ばれる）２１０、保有機能モデル生成部３００、機能アイテムデータベース（機能アイテム記憶手段とも呼ばれる）３１０及び検証部４００を含む。
まず、本実施形態に係るセキュリティ検証装置１０１の動作の概要を説明する。
セキュリティ検証装置１０１は、外部装置（不図示）或いは操作者（不図示）から、被検証システムのセキュリティの要件を示す情報を受け取る。また、セキュリティ検証装置１０１は、被検証システムの内そのセキュリティの要件に対応するセキュリティ対象部分の構成を示す情報を受け取る。そして、セキュリティ検証装置１０１は、これらの受け取った情報に基づいて、その被検証システムのセキュリティ（安全性）を検証し、結果を出力する。
図２は、被検証システムのセキュリティの要件を示す情報である、システム要件１１０の一例を示す図である。図２に示すようにシステム要件１１０は、セキュリティ要件に係わるキーワードとして、例えば、「主体認証」、「ＷＥＢ（ウェブ、ワールドワイドウェブのこと）」、「ＡＰ（ＡＰＰＲＩＣＡＴＩＯＮ）」及び「ＤＢ（ＤＡＴＡＢＡＳＥ）」を含む。尚、図２に示すシステム要件１１０は、セキュリティの要件を１件示している。しかし、システム要件１１０は、任意の数のセキュリティ要件を示すものであってよい。
図３は、被検証システムのセキュリティ対象部分の構成を示す情報である、セキュリティ対象モデル１４０の一例を示す図である。図３に示すようにセキュリティ対象モデル１４０は、被検証システムのセキュリティ対象部分の構成を示す情報として、接続元識別情報（例えば、装置名、機能ブロック名）１４２と接続先識別情報１４３とを含む。尚、図３に示すセキュリティ対象モデル１４０は、図２に示すシステム要件１１０に対応する、被検証システムのセキュリティ対象部分の構成を示す情報である。システム要件１１０が複数の件数のセキュリティ要件を示している場合、セキュリティ対象モデル１４０は、そのセキュリティ要件に対応する被検証システムのセキュリティ対象部分の構成の種類の数だけ存在する。
被検証システムのセキュリティの検証の結果は、セキュリティ対象モデル１４０の保有する機能が、システム要件１１０で示されるセキュリティの要件を満足するか否かを示す情報である。尚、その結果は、他の情報（例えば、セキュリティ機能の運用条件、セキュリティを満足するための設定情報）を含んでいてもよい。
次に、第１の実施の形態におけるセキュリティ検証装置１０１が備える各構成要素について説明する。尚、図１に示す構成要素は、ハードウェア単位の構成要素ではなく、機能単位の構成要素を示している。
＝＝＝要件モデル生成部２００＝＝＝
要件モデル生成部２００は、被検証システムのシステム要件１１０に基づいて、検証アイテムデータベース２１０の内容を参照し、セキュリティ機能と実現方式と対象パーツとが関連付けられた検証アイテムを選択して出力する。また、要件モデル生成部２００は、セキュリティ対象モデル１４０に基づいて、選択した検証アイテムに含まれる対象パーツそれぞれのセキュリティの要件を示す情報を生成し、出力する。
具体的には、第１に要件モデル生成部２００は、検証アイテムデータベース２１０を参照し、受け取ったシステム要件１１０に対応する検証アイテムを選択し、出力する。
図４は、検証アイテムデータベース２１０の一例を示す図である。図４に示すように、検証アイテムデータベース２１０は、セキュリティ機能名２１２と実現方式２１３とパーツ情報２１４とが関連付けられたレコード（検証アイテム）を１以上含む。セキュリティ機能名２１２は、セキュリティの内容（例えば、主体認証）を特定する情報である。実現方式２１３は、セキュリティ機能名２１２で特定されるセキュリティの実現方式（例えば、ＩＤ（ＩＤＥＮＴＩＦＩＣＡＴＩＯＮ）／パスワード方式）を示す情報である。パーツ情報２１４は、そのセキュリティを実現する１以上のパーツ（例えば、装置、機能ブロック）それぞれの識別情報（例えば、ＷＷＷサーバ、ＡＰサーバ、ＤＢサーバ）を含む。
図５は、要件モデル生成部２００が選択した検証アイテム２１１の一例を示す図である。尚、図５は、システム要件１１０に対応して、検証アイテムデータベース２１０から１レコードが選択された場合の例を示している。しかし、システム要件１１０が複数のセキュリティの内容を指定している場合、選択されるレコードも複数であってよい。
第２に、要件モデル生成部２００は、受け取ったセキュリティ対象モデル１４０と、検証アイテム２１１とからパーツ毎のセキュリティ検証の要件を示すモデルを生成する。
図６は、パーツ毎のセキュリティ検証の要件を示すモデルである、要件モデル２３０の例を示す図である。図６に示すように、要件モデル２３０は、パーツ識別情報２３２、セキュリティ機能名２３３及び実現方式２３４とから構成されるレコードを１以上含む。パーツ識別情報２３２は、各パーツを識別する情報である。このパーツ識別情報２３２は、検証アイテム２１１のパーツ情報２１４で示されるパーツの識別情報と、受け取ったセキュリティ対象モデル１４０に含まれる接続先識別情報１４３と、が一致している識別情報である。セキュリティ機能名２３３は、検証アイテム２１１のセキュリティ機能名２１２のコピーである。実現方式２３４は、検証アイテム２１１の実現方式２１３のコピーである。
即ち、要件モデル生成部２００は、検証アイテム２１１のパーツ情報２１４で示されるパーツの識別情報の内、受け取ったセキュリティ対象モデル１４０に含まれる接続先識別情報１４３と一致する識別情報で特定されるパーツを抽出する。続けて、要件モデル生成部２００は、抽出したパーツ毎のセキュリティの要件を示す、要件モデル２３０を生成する。
＝＝＝検証アイテムデータベース２１０＝＝＝
検証アイテムデータベース２１０は、複数の検証アイテム２１１を記憶し、要求に応答して出力する。
＝＝＝保有機能モデル生成部３００＝＝＝
保有機能モデル生成部３００は、要件モデル生成部２００が出力した検証アイテム２１１に含まれる実現方式２１３に基づいて、機能アイテムデータベース３１０から機能アイテムを抽出する。続けて、保有機能モデル生成部３００は、抽出した機能アイテムに基づいて、セキュリティ対象モデル１４０に含まれるパーツそれぞれのセキュリティの保有機能を示す情報を生成し、出力する。
具体的には、第１に保有機能モデル生成部３００は、受け取った検証アイテム２１１の実現方式２１３に基づいて、機能アイテムデータベース３１０から機能アイテムを抽出する。
図７は、機能アイテムデータベース３１０の一例を示す図である。図７に示すように機能アイテムデータベース３１０は、パーツ識別情報３１２とセキュリティ機能名３１３と実現手段３１４とが関連付けられたレコード（機能アイテム）を１以上含む。パーツ識別情報３１２は、各パーツを識別する情報である。セキュリティ機能名３１３は、セキュリティの内容（例えば、識別認証）を特定する情報である。実現手段３１４は、パーツ識別情報３１２で特定されるパーツのセキュリティ機能名３１３で特定されるセキュリティの実現手段（例えば、ＩＤ（ＩＤＥＮＴＩＦＩＣＡＴＩＯＮ）／パスワード方式）を示す情報である。
図８は、機能アイテム３２０の一例を示す図である。図８に示すように機能アイテム３２０は、検証アイテムデータベース２１０から選択されたレコードを１以上含む。
第２に、保有機能モデル生成部３００は、受け取ったセキュリティ対象モデル１４０と、機能アイテム３２０とから、パーツ毎のセキュリティ検証の保有機能を示すモデルを生成する。
図９は、パーツ毎のセキュリティ検証の保有機能を示すモデルである、保有機能モデル３３０の例を示す図である。図９に示すように、保有機能モデル３３０は、パーツ識別情報３３２、セキュリティ機能名３３３及び実現手段３３４とから構成されるレコードを１以上含む。パーツ識別情報３３２は、各パーツを識別する情報である。このパーツ識別情報３３２は、機能アイテム３２０のパーツ識別情報３１２と、受け取ったセキュリティ対象モデル１４０に含まれる接続先識別情報１４３と、が一致している識別情報である。セキュリティ機能名３３３は、セキュリティ機能名３１３のコピーである。実現手段３３４は、機能アイテム３２０の実現手段３１４のコピーである。
即ち、保有機能モデル生成部３００は、機能アイテム３２０のパーツ識別情報３１２の内、受け取ったセキュリティ対象モデル１４０に含まれる接続先識別情報１４３と一致する、パーツ識別情報３１２を含むレコードを抽出する。続けて、保有機能モデル生成部３００は、抽出したパーツ毎の保有機能を示す、保有機能モデル３３０を生成する。
＝＝＝機能アイテムデータベース３１０＝＝＝
機能アイテムデータベース３１０は、複数の機能アイテム３２０を記憶し、要求に応答して出力する。
＝＝＝検証部４００＝＝＝
検証部４００は、要件モデル２３０と保有機能モデル３３０とを比較検証し、その検証結果を、出力する。
具体的には、第１に検証部４００は、要件モデル２３０に含まれるパーツ識別情報２３２の内、保有機能モデル３３０に含まれるパーツ識別情報３３２のいずれにも一致しないパーツ識別情報２３２が存在するか否かを検証する。
第２に、検証部４００は、検証した結果を出力する。この、検証結果は、セキュリティ対象モデル１４０がシステム要件１１０を満足していることを示す情報、或いは、満足していないことを示す情報である。
尚、検証部４００は、検証結果に加えて、セキュリティ機能名２３３及び保有機能モデル３３０を出力してもよい。
以上が、セキュリティ検証装置１０１の機能単位の各構成要素についての説明である。
次に、セキュリティ検証装置１０１のハードウェア単位の構成要素について説明する。
図１０は、本実施形態におけるセキュリティ検証装置１０１とその周辺装置のハードウェア構成を示す図である。図１０に示されるように、セキュリティ検証装置１０１は、ＣＰＵ（Ｃｅｎｔｒａｌ  Ｐｒｏｃｅｓｓｉｎｇ  Ｕｎｉｔ）１０７０、記憶部１０７１、記憶装置１０７２、入力部１０７３、出力部１０７４及び通信部１０７５を含む。
図１６は、プログラムを記録した不揮発性記憶媒体１０７７の例を示すブロック図である。
ＣＰＵ１０７０は、オペレーティングシステム（不図示）を動作させて、本実施形態に係るセキュリティ検証装置１０１の全体の動作を制御する。また、ＣＰＵ１０７０は、例えば記憶装置１０７２に装着された不揮発性記録媒体１０７７（または記憶媒体）から、プログラムやデータを読み込み、読み込んだプログラムやデータを記憶部１０７１に書き込む。そして、ＣＰＵ１０７０は、読み込んだプログラムに従って、また読み込んだデータに基づいて、図１に示す要件モデル生成部２００、保有機能モデル生成部３００及び検証部４００として各種の処理を実行する。
尚、ＣＰＵ１０７０は、通信網（不図示）に接続されている外部コンピュータ（不図示）から、記憶部１０７１にプログラムやデータをダウンロードするようにしてもよい。
記憶部１０７１は、プログラムやデータを記憶する。
記憶装置１０７２は、例えば、光ディスク、フレキシブルディスク、磁気光ディスク、外付けハードディスク及び半導体メモリであって、不揮発性記憶媒体１０７７を含む。記憶装置１０７２は、プログラムをコンピュータ読み取り可能に記録する。また、記憶装置１０７２は、データをコンピュータ読み取り可能に記録してもよい。記憶装置１０７２は、検証アイテムデータベース２１０及び機能アイテムデータベース３１０を含んでもよい。
入力部１０７３は、例えばマウスやキーボード、内蔵のキーボタンなどで実現され、入力操作に用いられる。入力部１０７３は、マウスやキーボード、内蔵のキーボタンに限らず、例えばタッチパネル、加速度計、ジャイロセンサ、カメラなどでもよい。
出力部１０７４は、例えばディスプレイで実現され、出力を確認するために用いられる。
通信部１０７５は、セキュリティ検証装置１０１と外部装置（不図示）とのインタフェースを実現する。通信部１０７５は、要件モデル生成部２００、保有機能モデル生成部３００及び検証部４００の一部として含まれる。
以上が、セキュリティ検証装置１０１のハードウェア単位の各構成要素についての説明である。
以上説明したように、図１に示す機能単位のブロックは、図１０に示すハードウェア構成によって実現される。但し、セキュリティ検証装置１０１が備える各部の実現手段は、上記に限定されない。すなわち、セキュリティ検証装置１０１は、物理的に結合した一つの装置により実現されてもよいし、物理的に分離した２つ以上の装置を有線または無線で接続し、これら複数の装置により実現されてもよい。
また、前述のプログラムを記録した不揮発性記録媒体１０７７がセキュリティ検証装置１０１に供給され、セキュリティ検証装置１０１は、不揮発性記録媒体１０７７に格納されたプログラムを読み込み、実行してもよい。すなわち、本実施形態は、セキュリティ検証装置１０１が実行するプログラムを、一時的にまたは非一時的に、記憶する記録媒体の実施形態を含む。図
次に本実施形態の動作について、図１〜図１１を参照して詳細に説明する。
図１１は、セキュリティ検証装置１０１の動作を示すフローチャートである。尚、このフローチャートによる処理は、前述したＣＰＵによるプログラム制御に基づいて、実行されても良い。また、処理のステップ名については、Ｓ６０１のように、記号で記載する。
セキュリティ検証装置１０１は、外部装置（不図示）から、システム要件１１０とセキュリティ対象モデル１４０とを受け取る（Ｓ６１０）。
例えば、セキュリティ検証装置１０１は、図１０に示す通信部１０７５を介して、外部のサーバ（不図示）から、システム要件１１０とセキュリティ対象モデル１４０とを受け取る。また、セキュリティ検証装置１０１は、図１０に示す入力部１０７３から操作者が入力するシステム要件１１０とセキュリティ対象モデル１４０とを受け取るようにしてもよい。
次に、セキュリティ検証装置１０１の要件モデル生成部２００は、受け取ったシステム要件１１０に含まれるセキュリティ機能を示すキーワード（図２に示すシステム要件１１０の場合、「主体認証」）を抽出する（Ｓ６１２）。
次に、要件モデル生成部２００は、検証アイテムデータベース２１０を検索し、抽出したキーワードに一致するセキュリティ機能名２１２を含むレコード（検証アイテム２１１）を選択し、出力する（Ｓ６１４）。
次に、要件モデル生成部２００は、選択した検証アイテム２１１のパーツ情報２１４に含まれるパーツの識別情報（ここでは、「ＷＷＷサーバ」、「ＡＰサーバ）及び「ＤＢサーバ」）と一致する、セキュリティ対象モデル１４０の接続先識別情報１４３を選択する（Ｓ６１６）。
続けて、要件モデル生成部２００は、次の第１、第２及び第３の手順で、要件モデル２３０を生成する。第１に、要件モデル生成部２００は、選択した接続先識別情報１４３をパーツ識別情報２３２とする。第２に、要件モデル生成部２００は、検証アイテムデータベース２１０のセキュリティ機能名２１２をセキュリティ機能名２３３とする。第３に、要件モデル生成部２００は、検証アイテムデータベース２１０の実現方式２１３を実現方式２３４とする。（Ｓ６１８）。
次に、保有機能モデル生成部３００は、受け取った検証アイテム２１１から実現方式２１３を取得する（Ｓ６２０）。
次に、保有機能モデル生成部３００は、機能アイテムデータベース３１０を検索し、取得した実現方式２１３に一致する実現手段３１４を含むレコードを機能アイテム３２０として取得する（Ｓ６２２）。
次に、保有機能モデル生成部３００は、受け取ったシステム要件１１０に含まれるパーツを示すキーワード（図２に示すシステム要件１１０の場合、「ＷＥＢ」、「ＡＰ」及び「ＤＢ」）を抽出する（Ｓ６２４）。
次に、保有機能モデル生成部３００は、機能アイテム３２０の内、抽出したキーワードに対応するパーツ識別情報３１２を含むレコードを選択する（Ｓ６２６）。
続けて、保有機能モデル生成部３００は、選択したレコードのパーツ識別情報３１２をパーツ識別情報３３２とし、実現手段３１４を実現手段３３４として保有機能モデル３３０を生成する（Ｓ６２８）。
次に、検証部４００は、要件モデル２３０に含まれる各レコードに対応するレコードを保有機能モデル３３０が含むか否かを判定する（Ｓ６３０）。ここで、要件モデル２３０に含まれる各レコードに対応する、保有機能モデル３３０に含まれるレコードは、以下の第１、第２及び第３の条件を満たす。第１に、要件モデル２３０に含まれるレコードのパーツ識別情報２３２と保有機能モデル３３０に含まれるレコードのパーツ識別情報３３２とが一致する。第２に、要件モデル２３０に含まれるレコードのセキュリティ機能名２３３と保有機能モデル３３０に含まれるレコードのセキュリティ機能名３３３とが対応する。第３に、要件モデル２３０に含まれるレコードの実現方式２３４と保有機能モデル３３０に含まれるレコードの実現手段３３４とが一致する。尚、セキュリティ機能名２３３に対応するセキュリティ機能名３３３は、例えば、同じ認証機能を表す、「主体認証」に対する「識別認証」である。
要件モデル２３０に含まれる全てのレコードに対応するレコードを保有機能モデル３３０が含む場合（Ｓ６３０でＹＥＳ）、検証部４００は、セキュリティ対象モデル１４０がシステム要件１１０を満足していることを示す情報を出力する（Ｓ６３２）。
要件モデル２３０に含まれるいずれかのレコードに対応するレコードを保有機能モデル３３０が含んでいない場合（Ｓ６３０でＮＯ）、検証部４００は、セキュリティ対象モデル１４０がシステム要件１１０を満足していないことを示す情報を出力する（Ｓ６３４）。
上述した本実施形態における第１の効果は、システムに必要なセキュリティ対策を実現するための要素を、漏れなく用意可能であることを検証することを可能にする点である。
その理由は、以下のような構成を含むからである。即ち、要件モデル生成部２００が、被検証システムのセキュリティ要件に対応する、パーツ毎のセキュリティ要件を示す要件モデル２３０を生成する。第２に、保有機能モデル生成部３００が被検証システムのセキュリティ対象部分を構成するパーツ毎の、セキュリティに関する保有機能を示す保有機能モデル３３０を生成する。第３に、検証部４００が要件モデル２３０と保有機能モデル３３０とを比較検証する。
上述した本実施形態における第２の効果は、システム要件１１０が被検証システムの構成要素によりどのように実現されているかの提示を可能にする点である。
その理由は、検証部４００が、検証結果に加えて、セキュリティ機能名２３３及び保有機能モデル３３０を出力するようにしたからである。
［第２の実施形態］
次に、本発明の第２の実施形態について図面を参照して詳細に説明する。以下、本実施形態の説明が不明確にならない範囲で、前述の説明と重複する内容については説明を省略する。
図１２は、本発明の第２の実施形態に係るセキュリティ検証装置１０２の構成を示すブロック図である。
図１２を参照すると、本実施形態のセキュリティ検証装置１０２は、第１の実施形態のセキュリティ検証装置１０１と比べて、セキュリティ対象モデル抽出部５００を更に含む。
セキュリティ検証装置１０２は、第１の実施形態のセキュリティ検証装置１０１が受け取るセキュリティ対象モデル１４０に替えて、図１３に示すようなシステムモデル１２０を受け取る。システムモデル１２０は、セキュリティ対象モデル１４０の構成を、全体の構成の一部として含む。例えば、システムモデル１２０は、被検証システム全体の構成を示す情報である。
図１３は、システムモデル１２０の一例を示す図である。図１３に示すようにシステムモデル１２０は、被検証システム全体の構成を示す情報として、接続元識別情報１４２と接続先識別情報１４３とを含む。
＝＝＝セキュリティ対象モデル抽出部５００＝＝＝
セキュリティ対象モデル抽出部５００は、受け取ったシステムモデル１２０から、システム要件１１０に基づいて、セキュリティ対象モデル１４０を生成し、出力する。
例えば、セキュリティ対象モデル抽出部５００は、システム要件１１０に含まれるキーワード「ＷＥＢ」に基づいて、「外部ＷＷＷサーバ」から「インターネット」までの経路に係わるレコードを、システムモデル１２０から抽出する。更に、セキュリティ対象モデル抽出部５００は、システム要件１１０に含まれるキーワード「ＡＰ」に基づいて、「ＡＰサーバ」から「インターネット」までの経路に係わるレコードを、システムモデル１２０から抽出する。更に、セキュリティ対象モデル抽出部５００は、システム要件１１０に含まれるキーワード「ＤＢ」に基づいて、「ＤＢサーバ」から「インターネット」までの経路に係わるレコードを、システムモデル１２０から抽出する。次に、セキュリティ対象モデル抽出部５００は、これらの抽出したレコードをセキュリティ対象モデル１４０として出力する。
上述した本実施形態における効果は、セキュリティ対象モデル１４０を正確に生成することを可能にする点である。
その理由は、セキュリティ対象モデル抽出部５００が、システム要件１１０に基づいてセキュリティ対象モデル１４０を生成するようにしたからである。
［第３の実施形態］
次に、本発明の第３の実施形態について図面を参照して詳細に説明する。以下、本実施形態の説明が不明確にならない範囲で、前述の説明と重複する内容については説明を省略する。
図１４は、本発明の第３の実施形態に係るセキュリティ検証装置１０３の構成を示すブロック図である。
図１４を参照すると、本実施形態のセキュリティ検証装置１０３は、第１の実施形態のセキュリティ検証装置１０１と比べて、セキュリティ規定データベース（セキュリティ規定記憶手段とも呼ばれる）４１０を更に含む。また、セキュリティ検証装置１０３は、第１の実施形態のセキュリティ検証装置１０１と比べて、検証部４００に替えて検証部４０３を含む。
＝＝＝セキュリティ規定データベース４１０＝＝＝
図１５は、セキュリティ規定データベース４１０の一例を示す図である。図１５に示すように、セキュリティ規定データベース４１０は、セキュリティ機能名４１２と規定識別情報４１３とが関連付けられたレコードを１以上含む。セキュリティ機能名４１２は、セキュリティの内容を特定する情報である。規定識別情報４１３は、セキュリティ機能名４１２で特定されるセキュリティの内容に対応する、予め定められたセキュリティ基準における各規定を１つ以上特定する情報である。ここで、予め定められたセキュリティ基準は、例えば、公的セキュリティ基準（例えば、「政府機関の情報セキュリティ対策のための統一基準」）である。また、各規定を特定する情報は、例えば、「政府機関の情報セキュリティ対策のための統一基準」の見出し番号である。また、各規定を特定する情報は、基準名（例えば、ＩＳＭＳ）とその基準名で特定される基準で規定される各セキュリティ機能の識別情報との組（例えば、ＩＳＭＳ：１２．１．４）であってもよい。
＝＝＝検証部４０３＝＝＝
検証部４０３は、検証部４００が出力する検証結果に加えて、その検証結果の対象であるセキュリティ機能に対応する規定識別情報４１３を、出力する。
例えば、検証部４０３は、セキュリティ機能名２３３が「主体認証」の要件モデル２３０について検証を行った場合、セキュリティ規定データベース４１０を参照して規定識別情報４１３の「２．２．１．１（１）（ａ）」を取得し、検証結果と合わせて出力する。
更に、検証部４０３は、他のデータベース（不図示）を参照し、関連する情報（例えば、パーツ識別情報３３２で特定されるパーツの設定情報）を検証結果と合わせて出力するようにしてもよい。
また、検証部４０３は、第１の実施形態と同様に、検証結果に加えて、セキュリティ機能名２３３及び保有機能モデル３３０を出力するようにしてもよい。
尚、検証部４０３は、第２の実施形態に適用してもよい。
上述した本実施形態における第１の効果は、政府／業界で定められているセキュリティ規定の各項目に対して、被検証システムが規定を満足しているか否かを示すことを、可能にする点である。
その理由は、検証部４０３が、セキュリティ規定データベース４１０を参照して、規定識別情報４１３を、出力するようにしたからである。
上述した本実施形態における第２の効果は、予め定められたセキュリティ基準が、被検証システムの構成要素によりどのように実現されているかの提示を可能にする点である。
その理由は、検証部４００が、検証結果に加えて、セキュリティ機能名２３３及び保有機能モデル３３０を出力するようにしたからである。
尚、上述の各実施形態においては、１つのセキュリティ機能に関して入力情報が各セキュリティ検証装置に入力され、各セキュリティ検証装置からそれに対応する１つの検証結果を出力する場合を説明した。しかし、各セキュリティ検証装置は、複数のセキュリティ機能に関して入力情報が入力され、それに対応する複数の検証結果を出力するようにしてもよい。この場合検証結果及びその他の関連情報は、表の形式で出力されてもよい。
また、実施形態３の場合、その表は、予め定められたセキュリティ基準の各項目と、その項目それぞれに対応する一覧表であってもよい。
以上の各実施形態で説明した各構成要素は、必ずしも個々に独立した存在である必要はない。例えば、各構成要素は、複数の構成要素が１個のモジュールとして実現されたり、１つの構成要素が複数のモジュールで実現されたりしてもよい。また、各構成要素は、ある構成要素が他の構成要素の一部であったり、ある構成要素の一部と他の構成要素の一部とが重複していたり、といったような構成であってもよい。
以上説明した各実施形態における各構成要素及び各構成要素を実現するモジュールは、必要に応じ可能であれば、ハードウェア的に実現されても良いし、コンピュータ及びプログラムで実現されても良いし、ハードウェア的なモジュールとコンピュータ及びプログラムとの混在により実現されても良い。プログラムは、磁気ディスクや半導体メモリなど、不揮発性のコンピュータ可読記録媒体に記録されて提供され、コンピュータの立ち上げ時などにコンピュータに読み取られる。この読み取られたプログラムは、そのコンピュータの動作を制御することにより、そのコンピュータを前述した各実施形態における構成要素として機能させる。
また、以上説明した各実施形態では、複数の動作をフローチャートの形式で順番に記載してあるが、その記載の順番は複数の動作を実行する順番を限定するものではない。このため、各実施形態を実施するときには、その複数の動作の順番は内容的に支障しない範囲で変更することができる。
更に、以上説明した各実施形態では、複数の動作は個々に相違するタイミングで実行されることに限定されない。例えば、ある動作の実行中に他の動作が発生したり、ある動作と他の動作との実行タイミングが部分的に乃至全部において重複していたりしていてもよい。
更に、以上説明した各実施形態では、ある動作が他の動作の契機になるように記載しているが、その記載はある動作と他の動作の全ての関係を限定するものではない。このため、各実施形態を実施するときには、その複数の動作の関係は内容的に支障のない範囲で変更することができる。また各構成要素の各動作の具体的な記載は、各構成要素の各動作を限定するものではない。このため、各構成要素の具体的な各動作は、各実施形態を実施する上で機能的、性能的、その他の特性に対して支障をきたさない範囲内で変更されて良い。
以上、実施形態を参照して本願発明を説明したが、本願発明は上記実施形態に限定されるものではない。本願発明の構成や詳細には、本願発明のスコープ内で当業者が理解し得るさまざまな変更をすることができる。
この出願は、２０１１年１２月１日に出願された日本出願特願２０１１−２６３７５４を基礎とする優先権を主張し、その開示の全てをここに取り込む。
【符号の説明】
【０００９】
１０１  セキュリティ検証装置
１０２  セキュリティ検証装置
１０３  セキュリティ検証装置
１１０  システム要件
１２０  システムモデル
１４０  セキュリティ対象モデル
１４２  接続元識別情報
１４３  接続先識別情報
２００  要件モデル生成部
２１０  検証アイテムデータベース
２１１  検証アイテム
２１２  セキュリティ機能名
２１３  実現方式
２１４  パーツ情報
２３０  要件モデル
２３２  パーツ識別情報
２３３  セキュリティ機能名
２３４  実現方式
３００  保有機能モデル生成部
３１０  機能アイテムデータベース
３１２  パーツ識別情報
３１３  セキュリティ機能名
３１４  実現手段
３２０  機能アイテム
３３０  保有機能モデル
３３２  パーツ識別情報
３３３  セキュリティ機能名
３３４  実現手段
４００  検証部
４０３  検証部
４１０  セキュリティ規定データベース
４１２  セキュリティ機能名
４１３  規定識別情報
５００  セキュリティ対象モデル抽出部
１０７０  ＣＰＵ
１０７１  記憶部
１０７２  記憶装置
１０７３  入力部
１０７４  出力部
１０７５  通信部
【図１】
2013081185.tif 000003
【図２】
2013081185.tif 000004
【図３】
2013081185.tif 000005
【図４】
2013081185.tif 000006
【図５】
2013081185.tif 000007
【図６】
2013081185.tif 000008
【図７】
2013081185.tif 000009
【図８】
2013081185.tif 000010
【図９】
2013081185.tif 000011
【図１０】
2013081185.tif 000012
【図１１】
2013081185.tif 000013
【図１２】
2013081185.tif 000014
【図１３】
2013081185.tif 000015
【図１４】
2013081185.tif 000016
【図１５】
2013081185.tif 000017
【図１６】
2013081185.tif 000018
【手続補正書】
【提出日】平成25年7月10日(2013.7.10)
【手続補正１】
【補正対象書類名】特許請求の範囲
【補正対象項目名】請求項６
【補正方法】変更
【補正の内容】
【請求項６】
セキュリティの内容を特定する情報であるセキュリティ機能名と前記セキュリティの実現方式を示す情報である実現方式と前記セキュリティを実現する１以上のパーツそれぞれの識別情報であるパーツ識別情報を含むパーツ情報とを少なくとも含む検証アイテムを１以上記憶し、
前記パーツ識別情報と前記セキュリティ機能名と前記パーツ識別情報で特定されるパーツの前記セキュリティ機能名で特定されるセキュリティの実現手段を示す情報である実現手段とを少なくとも含む機能アイテムを１以上記憶している、コンピュータに、
被検証システムのセキュリティの要件を示す情報であるシステム要件に基づいて、前記１以上記憶している検証アイテムの内から前記検証アイテムを選択して出力する処理と、
前記被検証システムのセキュリティ対象部分の構成を示す情報であるセキュリティ対象モデルに基づいて、前記選択した検証アイテムのパーツ情報に含まれるパーツ識別情報で特定されるパーツそれぞれのセキュリティの要件を示す情報を生成し、出力する処理と、
前記選択した前記検証アイテムに含まれる実現方式に基づいて、前記１以上記憶している機能アイテムの内から前記機能アイテムを抽出する処理と、
前記抽出した機能アイテムに基づいて、前記セキュリティ対象モデルに含まれるパーツそれぞれのセキュリティの保有機能を示す情報を生成し、出力する処理と、
前記対象パーツそれぞれのセキュリティの要件を示す情報と前記パーツそれぞれのセキュリティの保有機能を示す情報とを比較検証する処理と、
前記比較検証の検証結果を、出力する処理と、を実行させる
プログラム。
【国際調査報告】
2013081185.tif 000019
2013081185.tif 000020