2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/33183This paper provides a proof of the proposed Internet standard Transport Level Security protocol using the Gong-Needham-Yahalom logic. It is intended as a teaching aid and hopes to show to students: the potency of a formal method for protocol design; some of the subtleties of authenticating parties on a network where all messages can be intercepted; the design of what should be a widely accepted standard.22 pages, 2 figures, 1 appendixCryptography and SecurityC.2.0; C.2.2; E.4; F.4.3text