Chapter 9. Checking integrity with AIDE