A Model-Based Approach to Predicting the Performance of Insider Threat Detection Systems | IEEE Conference Publication | IEEE Xplore