Improvements in Security Alert Analysis with a Truth Maintenance System | IEEE Conference Publication | IEEE Xplore