计算可靠的Diffie-Hellman密钥交换协议自动证明

针对Diffie-Hellman密钥交换协议,提出了采用观测等价关系的建模方法,证明了该方法的可靠性,并利用该方法扩展了自动工具CryptoVerif的验证能力。发现了对公钥Kerberos协议自动证明中敌手能力模型的缺陷,并提出了修正方法。利用扩展的CryptoVerif自动证明了基于Diffie-Hellman的Kerberos协议的安全性,验证了该扩展方法的有效性。与现有大部分证明方法不同的是,该证明方法既保留了自动证明工具的易用性,又保证了计算模型下的强可靠性。     

基于LEACH协议的无线传感器网络路由算法的改进与仿真

针对无线传感器网络中传感器能量有限的问题,从路由算法的角度出发,提出LEACH协议的低功耗改进方案.本文采用划定区域的方式对LEACH协议中的簇头选举进行改进,从而减少网络中节点分布不均匀的情况对簇头节点能量损耗所造成的影响,并使用NS-2进行协议改进前后的仿真.仿真实验结果表明,协议改进后网络生存期有效增长,能量消耗...     

电调天线设备嵌入式AISG协议栈的设计与实现

针对移动通信网络对于远程控制单元(RCU)、塔顶放大器(TMA)等电调天线设备(AND)远程监控要求,讨论了ALD设备嵌入式AISG协议栈的设计与实现方法.开发的AISG协议栈完整实现了AISG2.0要求,保证ALD设备能够与任何符合AISG2.0的电调天线控制系统或基站系统兼容和互操作.协议栈采用层次化、模块化的体系...     

Asterix Category 021协议的应用与分析

介绍了Asterix Category 021协议的数据项内容、用户应用程序框架(UAP)的结构、报文数据块的布局,以及ADS-B系统应用该协议的方式,分析了该协议的实例应用和协议报文的解析,提出了处理报文的思路.研究与分析结果可为如何使用Asterix Category 021协议生成与解析报文提供参考.     

短波电台模拟训练系统的设计与实现

针对当前常用短波电台的业务训练手段、效率等问题,在局域网内基于C/S模型,利用TCP/IP协议、嵌入式系统设计了这套短波电台联合组网式模拟训练系统。这套系统由服务监控系统和模拟训练终端组成。服务组网监控系统用VC＋＋6.0与数据库结合编写,实现对短波电台模拟终端的接入控制、状态监控、数据存储、语音通信的控制与交换等。短波电台模拟训练终端采用嵌入式系统设计,实现了语音处理、键盘控制、网络连接、链路分析等功能。     

基于IPv6的以太网数据传送

随着现代网络技术和嵌入式系统的迅速发展,实现数据在网络上传输已是嵌入式系统研究的重要组成部分,对于进行数据的实时操作也具有现实意义.由ARM处理器LPC2468和以太网芯片DM9000A构建系统,做为微机保护系统的通讯端口,重点实现数据的传送过程.简要说明了以太网接口的的硬件设置,讨论了网络接口的软件设计以及基于IPv6的TCP/IP上层协议的实现过程,完成了使用IPv6实现以太网数据的发送接收.     

基于Zigbee的WPAN安全性研究和分析

近年来随着半导体技术、微系统技术和计算技术的飞速发展,无线个域网的研究和应用在世界各地迅速发展,随之而来的是对其安全性的高要求,因此安全性成为基于Zigbee的无线个域网（WPAN,Wireless Personal-Area Network）广泛应用和发展的瓶颈。通过分析Zigbee的协议栈架构及其安全体系、从安全模式、安全服务、安全方案规范和网络密钥管理等方面对基于Zigbee的WPAN安全性进行细致的分析,特别对Zigbee在认证和加密方面存在的问题和未来的发展进行了分析和总结。     

LTE网络接口的协议一致性测试研究

在研究LTE网络演进进程、网络架构及接口协议特性的基础上提出了一种针对X2和S1接口的协议一致性测试方案.从产品实现的角度介绍了该方案的软硬件平台架构.该方案采用硬件解码技术应对LTE网络中高速网络流所带来的协议数据包处理问题,在软件架构中提供开放的用户接口支持自定义的测试例扩展和自定义协议开发,为不断演进的网络在组网...     

基于ZigBee的无线传感器网络研究

为了验证ZigBee协议的有效性,叙述了新型无线ZigBee通信技术,介绍ZigBee协议的结构和特点,基于ZigBee协议的无线网络设备以及网络拓扑结构;ZigBee标准协议栈结构及数据在协议栈内部的传输机制。以两个网络设备成网为例,详细给出了ZigBee设备形成网络时,各个设备的工作状态、设备之间网络连接过程以及数据帧的发送过程。最后,通过Microchip公司的ZigBee实验平台验证了ZigBee无线星型组网,实验证明,ZigBee技术是有效的无线传感器网络组网技术。     

能量高效的无线传感器网络AODV路由协议研究

针对传统AODV路由协议在路由发现过程中采用洪泛机制会带来很大的通信开销这一问题,提出了一种基于路径深度的AODV路由协议,减少了参与路由发现过程的节点数,以减少通信开销。在节点转发路由请求时,引入一个时间延时,最大可能地选择最短路径实现通信。实验结果表明:改进的协议有效地减少了能量消耗,减少通信冲突。