中文摘要：

在有线电视网络领域,安全的网络通信协议是信息安全传输的保障，因此研究有效的协议安全性验证方法显得至关重要，当前，随着互联网的普及，数字电视的双向化、智能化趋势日益明显，处于互联网中的数字电视将面临严峻的信息安全威胁，必须通过通信协议的安全性验证法选择出安全性更高的通信协议，才能确保双向数字电视传输网络的安全性。目前，关于验证通信协议的方法主要分为逻辑推理分析法、模型模拟检测法、定理归纳证明法以及其他衍生验证法，在前期研究的基础上，对近五年提出的典型协议验证方法进行总结比较，分析各验证方法的优缺点。最后，对协议验证领域存在的问题及未来的发展趋势做以阐述。

英文摘要：

In the field of intelligent digital TV, secure information transmission is to rely on secure communication protocols. So it is very important to study the effective protocol security, At present, with the popularization of the Internet, the intelligent trend is becoming more and more obvious. The digital TV in the Internet will face severe information security threat. Only through the security of the communication protocol to choose a higher security communication protocol, in order to ensure the security of smart TV. At present, the method of verifying the communication protocol is mainly divided into logical reasoning analysis, model simulation test method, theorem proving method and other derivative verification method. On the basis of previous research, this paper summarizes and compares the typical protocol verification methods proposed in recent five years, and analyzes the advantages and disadvantages of each method. Finally, the problem and the future development trend of protocol verification are described.