Tracking the bad guys: An efficient forensic methodology to trace multi-step attacks using core attack graphs | IEEE Conference Publication | IEEE Xplore