PRIMA: policy-reduced integrity measurement architecture
Resolving constraint conflicts