-A. Bosselärs/B. Preneel (Eds.): Integrity Primitives for Secure Information Systems, Springer-Verlag 1995