The following pages link to OpenSSH : Using Putty and an HTTP proxy to ssh anywhere through firewalls: