オフサイト ストレージ サイトは、常に不正アクセスから保護され、少なくともプライマリ サイトと同じセキュリティ要件を満たす必要があります。選択肢 A は正しくありません。バックアップが同じ建物内にある場合、同じイベントが発生してアクセスできなくなる可能性があります。選択肢 B と C はアクセス リスクを表します。

実質的テストは、ログに記録されたデータとトランザクションの正確性、完全性、信頼性を直接検査する監査テストの一種であるため、組織のセキュリティ情報およびイベント管理 (SIEM) システムにおけるログの有効性と整合性の最良の証拠となります。実質的テストには、再実行、検査、観察、照会、コンピューター支援監査技法 (CAAT) などのさまざまな方法があり、ログ データの存在、発生、評価、所有権、表示、開示を検証します1。実質的テストでは、不正行為や虚偽表示を示す可能性のあるログ データのエラー、省略、変更、操作も検出できます2。
コンプライアンス テスト (A) は、法律、規制、ポリシー、および手順への準拠を保証するために実装された内部統制の設計と有効性を評価する監査テストの一種であるため、組織の SIEM システム内のログの有効性と整合性の最良の証拠ではありません。コンプライアンス テストには、ウォークスルー、アンケート、チェックリスト、フローチャートなどのさまざまな方法を使用して、内部統制の妥当性、一貫性、および運用を評価することができます1。コンプライアンス テストでは、ログ データが確立されたルールと標準に従って生成および処理されていることを保証できますが、ログ データ自体の正確性と信頼性を直接検証することはできません2。
ストップ・オア・ゴー サンプリング (B) は監査テストの一種ではなく、監査人が母集団からテスト用のサンプルを選択するために使用するサンプリング手法の一種です。ストップ・オア・ゴー サンプリングは、結果が満足できる、または決定的である場合に、監査人が所定のサンプル サイズに達する前にテストを停止できる順次サンプリング手法です。ストップ・オア・ゴー サンプリングは、不要なテストを回避することで監査コストと時間を削減できますが、より小さなサンプルに依存することでサンプリングのリスクと不確実性も増大する可能性があります3。ストップ・オア・ゴー サンプリングだけでは、組織の SIEM システム内のログの有効性と整合性の証拠は得られません。これは、選択されたサンプルに対して実行される監査テストの種類と品質に依存します。
変数サンプリング (D) は監査テストの一種ではなく、監査人がテスト対象集団の数値特性を推定するために使用するサンプリング手法の一種です。変数サンプリングは、監査人が定量的方法を使用して集団内のエラーまたは偏差の量または率を測定できる統計的サンプリング手法です。変数サンプリングは、数式と信頼区間を使用して正確で客観的な結果を提供できます4。変数サンプリングだけでは、組織の SIEM システム内のログの有効性と整合性の証拠は提供されません。これは、選択したサンプルに対して実行される監査テストの種類と品質に依存します。
参考文献:
* 監査テスト手順 - 5 つのタイプとその使用例
* 監査手順で使用される 5 種類のテスト方法 | IS Partners
* Stop-or-Goサンプリングの定義
* 変数サンプリングの定義

自動定理証明 (ATP) は、コンピュータ プログラムによる数学定理の証明です。基礎となるロジックに応じて、定理の妥当性を判断する問題は、簡単なものから不可能なものまでさまざまです。自動定理証明の商用利用は、主に集積回路の設計と検証に集中しています。