Gửi tin nhắn: Efficient Network Security Policy Enforcement With Policy Space Analysis