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

摘要

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