Automated Verification Methodology of Security Events Based on Heuristic Analysis. (27th September 2015)