Computer Security and PGP: How do Proxy Servers work