フォレンジック調査において、データの改ざんがないことを数学的に証明する値はどれか。

リスク低減のために導入される「ガードマン」は、どのコントロールタイプに該当するか。