A constraint based framework for dependability goals: Integrity