Forensic Lucid, intrusion detection, IDS, theory of mathematical evidence