Title: Integrity Primitives for Secure Information Systems