A formal logic-based language and an automated verification tool for computer forensic investigation.

Slim Rekhis, Noureddine Boudriga

Browse the full SAC paper archive.