ffi cient Conflict Detection Algorithm for Packet Filters ∗