4 Verifying File Integrity by Using BART