Enabling Protocol Inspection on Traffic Rules