Flow Logic of the Ngfw Palo Alto