Dependencies

Clark-Wilson triples are stateless. Actions performed by current transformation procedure does not require any knowledge or activity by a prior transformation.
Separation of Duty can accomplish this. Usually through the use of dual signatures.
Generally though distinctness is easily implemented if it is stated as a policy requirement.

Clark-Wilson triples are stateless. Actions performed by current transformation procedure does not require any knowledge or activity by a prior transformation.