If I have an PIX Firewall with an WebSense Server to filter the URL access. How does the user authenticate? Does the user load they Explorer and connect directly to the URL and the PIX intercept the connection and send the user an login page in wich...