智能化电视网络安全协议的验证方法综述

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

Review of verification methods for intelligent TV network security protocols

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.