无线多用户投影网关切换技术设计与实现

针对目前无线投影网关多用户切换技术研究的缺失及必要性,为了减少切换带来的延迟、抖动,提出了多用户的切换协议。通过实现基于Wi-Fi Direct的无线投影网关系统,模拟多用户使用场景,给出了详细的切换流程、数据结构,同时分析了延迟产生的原因,提出了数据预缓冲技术,进一步对多用户切换进行改进,最后通过实验测试证明其在减少切换延时的有效性。     

基于混合机制的Kerberos安全性增强方案

针对Kerberos协议的弱点和安全性问题,提出了一个基于混合加密机制的Kerberos改进方案,目的是防范口令攻击和内部攻击。给应用服务器和AS服务器分配公钥和私钥,用户与服务器之间的会话密钥由DH密钥交换生成。给出了改进后的 Kerberos 协议的六个步骤,并对安全性进行分析。分析结果表明,新方案能够增强Kerberos协议的安全性,而且比公钥加密机制高效。     

基于多角度多层次的认知无线电网络安全研究

认知无线电(Cognitive Radio)技术是为了解决无线网络中频谱资源短缺问题而提出来的新兴技术,它的提出有效的缓解了频谱资源短缺问题,但同时也引入了特有的安全威胁,针对认知无线的特点,从整体架构、协议栈和认知行为的多个角度和层次,研究其在无线网络中引入的安全隐患和已有的解决方案,并对认知无线电安全问题做进一步的展望.     

基于USB的WSN测试与分析系统

实时监控无线传感器网络（WSN）从单个节点到整个网络的运行状态,是进行无线传感器各类研究及应用开发的关键技术之一,为了克服基于UART的数据传输所存在的速率瓶颈问题,设计了一种基于USB的WSN监测系统,主要包括侦听节点和监测分析系统两部分。侦听节点采用CC2531 USB Dongle,以被动侦听的方式获取无线传感器网络的数据包（符合IEEE802.15.4标准）,封装后通过USB接口上传至上位机监测分析系统。上位机监测系统,通过USB接口读取数据帧、完成帧信息存储、解析。实验结果表明该设计能够实现数据传输并以图形方式动态显示网络运行状态。本监测系统的设计为开展WSN的各类理论及实验研究提供了有力的分析工具。     

一种高效的最短路径完全动态更新算法

在通信网络中,节点间最短路径的计算是链路状态路由协议计算路由的基础。通过对现有动态最短路径算法的深入研究,提出了一种处理网络拓扑变化的完全动态最短路径算法DSPT-ID。该算法利用已有SPT的信息,建立一个最短路径树的更新队列,当网络拓扑发生变化时,算法针对边的权值增大和减小,分别进行更新,并将更新节点局限在受拓扑变化影响的节点中,从而达到SPT的增量更新。算法复杂度分析和仿真结果显示,DSPT-ID算法具有更少的节点更新次数和更高的时间效率。     

Evolutionary circuit design for fast FPGA-based classification of network application protocols

The evolutionary design can produce fast and efficient implementations of digital circuits. It is shown in this paper how evolved circuits, optimized for the latency and area, can increase the throughput of a manually designed classifier of application protocols. The classifier is intended for high speed networks operating at 100 Gbps. Because a very low latency is the main design constraint, the classifier is constructed as a combinational circuit in a field programmable gate array (FPGA). The classification is performed using the first packet carrying the application payload. The improvements in latency (and area) obtained by Cartesian genetic programming are validated using a professional FPGA design tool. The quality of classification is evaluated by means of real network data. All results are compared with commonly used classifiers based on regular expressions describing application protocols.     

基于事件逻辑的改进Needham-Schroeder协议安全性证明

安全协议是现代网络安全的基础,密码协议的安全性证明是一个挑战性的问题。事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于刻画安全协议的形式化描述,是定理证明的基础。用事件序语言、事件类和一个表示随机数、密钥、签名和密文的原子类,给出身份认证协议可以被形式化定义和强认证性证明理论。利用该理论对增加时间戳的Needham-Schroeder协议安全性进行证明,证明改进的Needham-Schroeder协议是安全的。此理论适用于类似复杂协议形式化分析与验证。     

运用SPIN对开放授权协议OAuth 2.0的分析与验证

OAuth 2.0协议是一种开放授权协议,主要用于解决用户账号关联与资源共享问题。但是,其弱安全性导致各网络公司海量用户信息泄露,且OAuth 2.0传输数据采用的https通道效率低下,成为黑客攻击对象。提出采用http通道传输OAuth 2.0协议数据,基于Promale语言及Dolev-Yao攻击者模型对OAuth 2.0协议建模,运用SPIN进行模型检测。形式化分析结果表明,采用公钥加密体系对OAuth 2.0协议进行加密不安全。上述建模方法对类似的授权协议形式化分析有重要借鉴意义。     

基于6LoWPAN和ARM的校园无线传感网络设计

为了实现对校园多种传感信息的实时采集、处理和监控,以及对电器实现智能控制.本文采用TI公司的CC2530无线模块实现了无线传感网络的自定义组建与通信.客户端采用PC、iOS和Android三种实现,能够随时登陆查看相应信息,并远程控制电器.本方案解决了校园与互联网的信息无缝连接问题,具有广阔的应用前景.     

AMI通信网络中微功率无线通信的性能测试技术及系统研究

微功率无线通信是高级量测体系的主要通信方式之一,各厂家的通信模块性能不一,测试技术尚未形成统一的规范;设计了微功率无线通信的测试系统,由射频性能测试系统和协议一致性分析系统组成;系统采用屏蔽测试箱、多功能电磁波小室、综合测试分析仪、误码分析仪、标准协议信号源等模块组成,屏蔽箱对800 MHz频率以下的无线电信号有超过70dB的抑制,可以提供相对纯净的无线电暗室环境,减少外界无线电波的干扰;测试频率范围为30MHz~1GHz,提供66个测试频点,测试频率误差小于2ppm,误码测试精度小于0.001%,功率测试精度(闭环)为5%(0.2dB);实现了在实验室情况下对微功率无线网络性能的全面测试和评估,具备很好可操作性、便利性和可复现性。