Clark-Wilsonモデルにおいて、データの整合性を検証・変換するためにユーザーが必ず経由しなければならないプログラムを何と呼ぶか。

TP（変換手続き）は、CDI（束縛データ項目）に対して正当な操作のみを行うようカプセル化されたプログラムであり、ユーザーは直接データを操作できずTPを介する必要がある。