TY - RPRT TI - An Audit Logic for Accountability AU - J. G. Cederquist AU - R. Corin AU - M. A. C. Dekker AU - S. Etalle AU - J. I. den Hartog PY - 2005 DO - 10.1109/policy.2005.5 UR - https://arxiv.org/abs/cs/0502091 ID - cs/0502091 ER -