An Analysis Of The Transport Layer Security Protocol