Enriched Diagnosis and Investigation Models for Security Event Correlation | IEEE Conference Publication | IEEE Xplore