クラークウィルソンインテグリティモデル：ルール
クラークウィルソンモデルの認証ルールと施行ルールの概念的な違いは何ですか？
認証ルールが外部の整合性を保証し、施行ルールが内部の整合性を保証すると想定した場合、私は間違った道をたどっていますか？
概念の違いは主要な機能の1つだと思います。
認証ルールは、特定のデータオブジェクトが有効な状態であることをシステムがどのように認証するかを示します（別のルールセットに従って）。施行規則は、システムがデータオブジェクトと対話するときに、既に認定されたデータオブジェクトが認定された状態を維持する（整合性を維持する）ようにします。
クラークウィルソンIMを使用してより具体的にするには：
認証ルールは、CDIが完全性検証手順の対象であることを保証する方法を指定します。施行規則は、トランザクションの発生時にシステムが認証済みCDIを維持する方法を指定します。