马晓光
- 作品数：1 被引量：0H指数：0
- 供职机构：北京歌华有线电视网络股份有限公司更多>>
- 发文基金：辽宁省高等学校杰出青年学者成长计划辽宁省博士科研启动基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 智能化电视网络安全协议的验证方法综述
- 2015年
- 在有线电视网络领域,安全的网络通信协议是信息安全传输的保障,因此研究有效的协议安全性验证方法显得至关重要。当前,随着互联网的普及,数字电视的双向化、智能化趋势日益明显,处于互联网中的数字电视将面临严峻的信息安全威胁,必须通过通信协议的安全性验证法选择出安全性更高的通信协议,才能确保双向数字电视传输网络的安全性。目前,关于验证通信协议的方法主要分为逻辑推理分析法、模型模拟检测法、定理归纳证明法以及其他衍生验证法。在前期研究的基础上,对近五年提出的典型协议验证方法进行总结比较,分析各验证方法的优缺点。最后,对协议验证领域存在的问题及未来的发展趋势做以阐述。
- 张兴韩冬马晓光
- 关键词：数字电视网络通信协议信息安全
