High Threat Alarms Mining for Effective Security Management: Modeling, Experiment and Application | IEEE Conference Publication | IEEE Xplore