Cheun Ngen Chong Zhonghong Peng Pieter H. Hartel Secure Audit Logging with Tamper-Resistant Hardware. 73-84 2003 conf/sec/2003 SEC db/conf/sec/sec2003.html#ChongPH03