传输层安全性：一个基于Gong Needham Yahalom逻辑的证明
Transport Level Security: a proof using the Gong-Needham-Yahalom Logic
摘要：
本文利用Gong Needham Yahalom逻辑对提出的Internet标准传输级安全协议进行了证明。它的目的是作为一个教学辅助工具，并希望向学生展示：一个正式的协议设计方法的效力;一些微妙的认证方在网络上，所有的消息可以被拦截;设计什么应该是一个广泛接受的标准。
英文摘要：
This 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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
