Specification, Enforcement, and Measurement of Integrity Policies