A Formal Approach for the Forensic Analysis of Logs. - Ali Reza Arasteh; Mourad Debbabi; Assaad Sakha (SoMeT, 2006)

Analyzing multiple logs for forensic evidence. - Ali Reza Arasteh; Mourad Debbabi; Assaad Sakha; Mohamed Mostafa Saleh (Digit. Investig., 2007)

Forensic analysis of logs: Modeling and verification. - Mohamed Mostafa Saleh; Ali Reza Arasteh; Assaad Sakha; Mourad Debbabi (Knowl. Based Syst., 2007)