Login / Signup

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

Slim RekhisNoureddine Boudriga
Published in: SAC (2005)
Keyphrases