Documents Informatique Secure Audit Logging with Tamper-Resistant Hardware C.N. Chong, Z. Peng, P.H. Hartel