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

发布时间：2019-05-05 14:22

【摘要】：在有线电视网络领域,安全的网络通信协议是信息安全传输的保障,因此研究有效的协议安全性验证方法显得至关重要。当前,随着互联网的普及,数字电视的双向化、智能化趋势日益明显,处于互联网中的数字电视将面临严峻的信息安全威胁,必须通过通信协议的安全性验证法选择出安全性更高的通信协议,才能确保双向数字电视传输网络的安全性。目前,关于验证通信协议的方法主要分为逻辑推理分析法、模型模拟检测法、定理归纳证明法以及其他衍生验证法。在前期研究的基础上,对近五年提出的典型协议验证方法进行总结比较,分析各验证方法的优缺点。最后,对协议验证领域存在的问题及未来的发展趋势做以阐述。
[Abstract]:In the field of CATV network, secure network communication protocol is the guarantee of secure transmission of information. Therefore, it is very important to study effective verification methods of protocol security. At present, with the popularity of the Internet, the two-way digital television, the trend of intelligence is increasingly obvious, digital television in the Internet will face a severe threat to the security of information. In order to ensure the security of the two-way digital television transmission network, it is necessary to select the communication protocol with higher security through the verification of the security of the communication protocol. At present, the methods of verifying communication protocols are mainly divided into logical reasoning analysis, model simulation, theorem induction and other derivative verification. On the basis of the previous research, this paper summarizes and compares the typical protocol verification methods proposed in the last five years, and analyzes the advantages and disadvantages of each verification method. Finally, the problems existing in the field of protocol verification and the development trend in the future are described.
【作者单位】：辽宁工业大学电子与信息工程学院;北京歌华有线电视网络股份有限公司;
【基金】：辽宁省博士科研启动基金项目(20121045) 辽宁省高等学校杰出青年学者成长计划项目(LJQ2014066) 国家自然科学基金面上项目(61272214)
【分类号】：TN948.3;TN915.08

【相似文献】