TeRed: Normal Behavior-Based Efficient Provenance Graph Reduction for Large-Scale Attack Forensics | IEEE Journals & Magazine | IEEE Xplore