Alert verification through alert correlation—An empirical test of SnIPS. Issue 1 (2nd January 2017)