Describir: Integrity primitives for secure information systems :