IT資格用語解説応用情報技術者試験・セキュリティ制御
検証可能性
更新日:
用語解説
検証可能性は、システムのセキュリティの仕組みが、決めた方針や仕様に従っていることを、確かめて示せる性質です。
■ 試験で押さえるポイント
仕組みを小さく単純にすると、確かめやすくなります。
形式的な検証や、評価の制度（ISO/IEC 15408など）で確かめます。
■ 過去問での着眼点
安全であることを確かめられることが重要な点を押さえます。
例: セキュリティの機能を小さなモジュールにまとめ、すべての動作を確かめられるようにします。