Title: Integrity and recovery in computer systems