Modeling Complex Packet Filters with Finite State Automata