An IDS Rule Redundancy Verification. - Piyawat Noiprasong; Assadarat Khurat (JCSSE, 2020)