Log correlation for intrusion detection: a proof of concept | Synapse