宋劲
- 作品数:11 被引量:5H指数:2
- 供职机构:中国民用航空飞行学院计算机学院更多>>
- 发文基金:中国民航飞行学院青年基金国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域:自动化与计算机技术航空宇航科学技术文化科学更多>>
- 基于VDL4的DSR路由协议优化
- 2012年
- VDL4以自治模式和受控模式进行运作。针对受控模式运作条件下的VDL4自组织通信结构,分析了DSR路由协议在此类通信网络中运行的可行性。并将航空器移动节点的移动速度作为一个重要因素引入DSR协议并进行改进,分析了其优化性能和改进所引入的网络延迟。最后通过仿真软件进行了仿真比较,验证了改进后的DSR路由协议的节点失效率和网络延迟性能。
- 宋劲
- 关键词:DSR路由协议自组织网络
- 浅论Web服务器的安全技术
- 2013年
- 随着Internet的飞速发展,人类越来越依赖网络。网络一方面给人们带来了极大的便利,另一方面网络中存在着巨大的安全隐患。网络安全最终是要保护网络上信息的安全。作为网络信息的发布中心,Web服务器的安全成为网络安全的重要问题。概述了当前常用的WEB服务器攻击方法,并讨论了构建安全Web服务器的相关技术。
- 宋劲
- 关键词:WEB服务器安全技术WEB攻击
- 一个单向认证协议的形式化分析与改进
- 针对单向认证协议Woo-Lam中存在的重放攻击,运用基于串空间模型的认证测试方法,对Woo-Lam协议进行了分析,指出了该协议在认证正确性方面的缺陷,同时指出了对协议的改进方法,并用认证测试方法证明了改进协议的认证正确性...
- 宋劲李廷元
- 关键词:安全协议形式化分析
- 文献传递
- 认证测试方法在安全协议形式化分析中的应用研究
- 对认证测试方法在安全协议形式化分析中的应用进行了深入研究,应用认证测试方法对Needham-Schroeder协议进行了分析,指出Needham-Schroeder协议存在中间人攻击和类型错误攻击,对Needham-Sc...
- 李廷元宋劲郑涛袁小珂张建学
- 关键词:安全协议形式化方法
- 文献传递
- 一种ADS-B信号真伪验证方法的设计被引量:1
- 2013年
- ADS-B系统是基于卫星定位系统和无线数据链技术的新型空管监视系统。相比起传统的二次雷达监视系统,它具有建设与运行成本低、监视精度高、定位速度快、监视范围广等突出优势[1]。因此,它被认为是在未来取代二次雷达监视技术的理想方案。针对ADS-B系统一个重要的安全隐患,即ADS-B信息可能被伪造的问题展开讨论并探寻一条可行的解决途径。
- 宋劲
- 关键词:ADS-BGPS
- 计算机网络入侵检测系统被引量:2
- 2008年
- 网络入侵检测系统能够对网络中发生的安全事件和网络中存在的安全漏洞进行主动实时的监测,是现代计算机网络安全的关键技术之一。本文介绍了入侵检测技术的概念、原理、功能、分类和未来的发展趋势。
- 张欢宋劲
- 关键词:计算机网络入侵检测网络安全安全漏洞
- 计算机网络入侵检测系统
- 2007年
- 网络入侵检测系统能够对网络中发生的安全事件和网络中存在的安全漏洞进行主动实时的监测,是现代计算机网络安全的关键技术之一。本文介绍了入侵检测技术的概念、原理、功能、分类和未来的发展趋势。
- 张欢宋劲
- 关键词:入侵检测网络安全
- ADS-B飞行器监视系统的分析与设计被引量:2
- 2009年
- 目前,世界各国普遍加快了对ADS-B技术的研究和推广应用,本文探讨了ADS-B飞行器监视系统的设计。
- 宋劲
- 关键词:ADS-B监视系统GPS
- FC和iSCSI协议的分析
- 2007年
- 光纤通道(Fibre Channel,FC)和iSCSI(Internet SCSI)是目前存储区域网络SAN的两个主流协议。该文介绍FC和iSC-SI协议的协议结构以及流量控制和发现机制。在零复制、流量控制以及发现机制等方面对FC和iSCSI的协议功能进行了分析。
- 陈华英宋劲庄夏
- 关键词:存储区域网络ISCSI协议
- 计算机网络考试系统的分析与设计
- 2008年
- 本文介绍了基于校园网、B/S结构模式的计算机网络考试系统的基本构成和功能,并提供了相应的设计思路和关键技术的实现方法。
- 向阳娟宋劲
- 关键词:考试系统B/S模式NETWEBSERVICES