audit/verify
ok: true
verifyChain ▸ 連鎖する SHA-256 · 署名付きレシート
用語の意味
改ざん検知可能 を、平易な言葉で。
改ざん検知可能とは、記録が原理的には変更され得るとしても、いかなる改変も検知できる痕跡を残すことを意味します。これは改ざん不能(変更そのものが不可能だと主張するもの)より弱いものの、より実用的な保証です — 改ざん検知性はストレージに手が加えられ得ることを受け入れ、いかなる操作も見過ごされないようにすることに焦点を当てます。
エビデンスにとって重要なのは改ざん検知性です。監査人が気にするのは「誰かが編集できたのか」ではなく「これが編集されていないことを証明できるか」です。改ざん検知可能な記録は、信頼ではなく数学によって後者の問いに答えます。
Cortex での実装
Cortex はこれをこう実装します。
この用語はここでは抽象概念ではありません — ランタイム上の実際の機能に対応します。Cortex がどのように強制適用し、どう関係するのかを正確に示します。
データと来歴
Cortex は監査ログそのものを改ざん検知可能にします。ハッシュチェーンと署名付きレシートにより、verifyChain は一定範囲のレコードが改変されていないことを証明し、改変があった場合は hashOk:false と破綻したシーケンスを返します。エビデンスは存在するだけでなく、その完全性まで証明できます。
これは SOC 2 や記録保持に関する主張を強化する性質です — Type II のサンプル検査では、特権を持つ内部者でもログをひそかに編集できなかった、実際に運用されている統制が確認されます。
関連用語
語彙をさらに広げる。
これらは統制されたAIのモデルで隣り合う用語です。つながりをたどれば、各コントロールがどう連携するかがわかります。
改ざん検知可能 を、定義ではなく実際の強制適用で確認。
ウェイトリストにご登録ください。この用語集のコントロールが実際の判定を返し、証拠を封印し、あらゆる事実をその出典までたどる様子をご覧いただけます。