Clark-Wilsonモデルが主に保証するセキュリティ特性と、そのための仕組みはどれか。

Clark-Wilsonモデルは、商用アプリケーション向けのモデルで、データの完全性(Integrity)を「適格なトランザクション(Well-formed transaction)」を通じて保証する。