Integrity Primitives for Secure Information Systems