Fundamentals of Secure Proxies