A framework for the evaluation of the theoretical threat coverage provided by intrusion detection systems | IEEE Conference Publication | IEEE Xplore