Log correlation for intrusion detection: a proof of concept | IEEE Conference Publication | IEEE Xplore