A MACHINE LEARNING APPROACH WITH VERIFICATION OF PREDICTIONS AND ASSISTED SUPERVISION FOR A RULE-BASED NETWORK INTRUSION DETECTION SYSTEM Topics: Intrusion Detection and Response In Proceedings of the Fourth International Conference on Web Information Systems and Technologies - Volume 2: WEBIST, 143-148, 2008 , Funchal, Madeira, Portugal