为解决TLS协议存在的握手交互次数多、密钥计算开销大等诸多性能问题，在对TLS协议进行分析的基础上，设计了一种基于ECC算法的TLS协议，用ECC算法代替原协议中的RSA算法，充分发挥ECC算法的优越性，提高协议的性能。使用缓存握手参数的方法对协议交互过程进行优化，通过SVO逻辑对优化后的协议进行形式化证明，证明协议是安全的。通过实验将改进后的协议与原协议进行了比较分析，结果表明，随着协议安全等级的提高，改进后的协议在性能上具有明显的优越性。