SHA-512を使ったファイル検証システムは「改ざん検知と安全な配布のための実務的な防御線」です
業務システムや社内ツール、配布用バイナリ、ログファイルなどを扱う読者のみなさんにとって、 「ファイルが途中で書き換えられていないか」を検証できる仕組みを持つことは、セキュリティと信頼性の両面で非常に重要です。
ここでは、SHA-512を使ってファイルの改ざんを検知する 実務レベルの「完全な検証システム設計図」を、初心者にも分かるようにステップバイステップで解説します。
ファイル検証システムの全体像
目的と役割
SHA-512を使ったファイル検証システムの目的は、次の2つです。
- 配布されたファイルが改ざんされていないことを確認する
- 保存されているファイルが意図しない変更を受けていないか検知する
このために、システムは次の要素で構成されます。
- ファイルのハッシュ値を「基準値」として保存する
- 検証時にファイルのハッシュ値を再計算する
- 保存されている基準値と一致するか比較する
データモデルの設計（ファイル検証用テーブル）
まず、ファイルのハッシュ値をどこに保存するかを決めます。 ここでは、データベースに保存する前提でテーブル例を示します。
FileIntegrity テーブル例
| 項目 | 説明 |
|---|---|
| FilePath | ファイルのパス |
| Sha512Hash | SHA-512ハッシュ値（Hex） |
| CreatedAt | ハッシュ登録日時 |
| UpdatedAt | 最終検証日時 |
このテーブルに「基準となるハッシュ値」を保存しておき、 後から検証するときに参照します。
ステップ1：ファイルのSHA-512ハッシュを計算するユーティリティ
まずは、ファイルからSHA-512ハッシュを計算するユーティリティを作ります。
using System;
using System.IO;
using System.Security.Cryptography;
public static class FileSha512Utility
{
/// <summary>
/// ファイルからSHA-512ハッシュを生成し、Hex形式で返します。
/// </summary>
public static string ComputeFileSha512Hex(string filePath)
{
using var stream = File.OpenRead(filePath);
using var sha512 = SHA512.Create();
byte[] hash = sha512.ComputeHash(stream);
return BitConverter.ToString(hash).Replace("-", "").ToLower();
}
}
このユーティリティは、 「ファイルをストリームとして読み込み、SHA-512でハッシュを計算し、Hex文字列として返す」 という役割を持ちます。
ステップ2：基準ハッシュ値の登録処理（初回登録）
次に、ファイルの「正しい状態」のハッシュ値を データベースに登録する処理を作ります。
public class FileIntegrityService
{
public void RegisterFile(string filePath)
{
string hash = FileSha512Utility.ComputeFileSha512Hex(filePath);
// ここでDBに保存する（疑似コード）
SaveFileIntegrityToDb(new FileIntegrityRecord
{
FilePath = filePath,
Sha512Hash = hash,
CreatedAt = DateTime.UtcNow,
UpdatedAt = DateTime.UtcNow
});
Console.WriteLine($"登録完了: {filePath}");
Console.WriteLine($"SHA-512: {hash}");
}
}
この処理は、 「このファイルが正しい状態である」と判断したタイミングで一度だけ実行します。
ステップ3：ファイル検証処理（改ざん検知）
次に、ファイルが改ざんされていないかを検証する処理を作ります。
public class FileIntegrityService
{
public bool VerifyFile(string filePath)
{
// DBから基準ハッシュ値を取得（疑似コード）
var record = GetFileIntegrityFromDb(filePath);
if (record == null)
{
throw new InvalidOperationException("基準ハッシュが登録されていません");
}
string currentHash = FileSha512Utility.ComputeFileSha512Hex(filePath);
bool match = string.Equals(record.Sha512Hash, currentHash, StringComparison.OrdinalIgnoreCase);
// 検証日時を更新（疑似コード）
UpdateFileIntegrityVerifiedAt(filePath, DateTime.UtcNow);
if (!match)
{
Console.WriteLine("ファイルが改ざんされている可能性があります。");
Console.WriteLine($"期待値: {record.Sha512Hash}");
Console.WriteLine($"現在値: {currentHash}");
}
else
{
Console.WriteLine("ファイルは正しい状態です。");
}
return match;
}
}
この処理は、 「現在のファイルのハッシュ値」と「基準ハッシュ値」を比較し、 一致しなければ改ざんの可能性があると判断します。
ステップ4：運用フローの設計（どう使うか）
1. 初回登録フェーズ
- 正しいファイルを配置する
RegisterFileを実行して基準ハッシュ値を登録する
2. 検証フェーズ
- 定期的にバッチ処理で
VerifyFileを実行する - デプロイ後やバックアップ復元後に検証する
- ユーザーに配布する前に検証する
3. 異常検知時の対応
- 改ざんが疑われるファイルを隔離する
- ログに記録する
- 管理者に通知する
- 正しいファイルを再配布する
SHA-512を使う理由（深掘り）
なぜSHA-512なのか
SHA-512は次のような特徴があります。
- 512ビットの長いハッシュ値で、衝突耐性が高い
- 大容量ファイルでも高速に処理できる
- セキュリティ用途で広く使われている標準的なアルゴリズム
ファイル検証では「衝突しにくいこと」が重要です。 SHA-512はその点で非常に優れています。
注意点：ハッシュは「改ざん検知」であり「暗号化」ではない
ここは初心者の方が誤解しやすいポイントです。
- ハッシュは「元に戻せない指紋」です
- ハッシュ値から元のファイル内容を復元することはできません
- ハッシュは「隠す」ためではなく「同じかどうかを確認する」ためのものです
ファイルの内容を隠したい場合は、 AESなどの暗号化を別途使う必要があります。
ファイル検証システムで絶対にやってはいけないこと
- 基準ハッシュ値を適当に更新してしまう
- 改ざん検知の結果を無視する
- ハッシュ値を「暗号化」と誤解する
- ハッシュ値をログに無制限に出力する
これらは、セキュリティ事故や運用トラブルの原因になります。
実務的ベストプラクティス
- 基準ハッシュ値は信頼できるタイミングで一度だけ登録する
- 検証は定期的なバッチ処理やデプロイ後に行う
- 異常検知時にはログ・通知・隔離をセットで行う
- ハッシュ値はHex形式で扱うと運用しやすい
- ファイルパスだけでなく、ファイルの種類や用途も一緒に管理する
まとめ：SHA-512ファイル検証システムは「改ざん検知の土台」
この設計図を使うことで、次のことが実現できます。
- ファイルが意図しない変更を受けていないか検証できる
- 配布物やログの整合性を継続的にチェックできる
- 改ざんが疑われる場合にすぐに検知・対応できる
読者のみなさんが業務システムを設計する際、 このファイル検証システムを組み込むことで、 「見えないところで起きている改ざん」を静かに、しかし確実に検知できるようになります。