千兆三余度AFDX帧管理的形式化建模与验证

为了提升新一代航空电子全双工交换以太网(AFDX)网络的传输速率和余度设计可靠性,在AFDX网络标准的基础上(ARINC 664 p7),建立千兆三余度AFDX网络的帧管理机制模型并进行了形式化建模,而且实现了AFDX网络标准中描述的SkewMax机制。使用UPPAAL形式化工具对千兆三余度AFDX网络帧管理机制进行形式化验证,验证帧管理机制的完整性检查及冗余管理功能的可用性。结果表明,千兆三余度AFDX网络帧传输过程中不存在死锁。此外,针对标准AFDX的冗余管理中一个帧的丢失可能会导致其冗余备份的丢失的现象,提出在接收端设置一个队列,记录那些比连续帧更晚到达的冗余备份的帧序号,从而减少不必要的丢帧,提高QoS和数据完整性。形式化验证的结果可以作为千兆AFDX网络标准制定和实际应用的参考。

高速缓存体FIFO的帧中断管理方法

针对在高速采集中使用ＦＩＦＯ（先入先出存储器）作为缓存体出现的各种问题，本文提供了一种新的管理方法：通过对ＦＩＦＯ 的分帧与编址，并设定相应的中断信号，定时对ＦＩＦＯ的存储信息进行更新和记录，准确及时地进行信号触发和控制信号缓存长度，并确定所采集信号的起点。文章首先介绍了数据采集系统中ＦＩＦＯ 的工作原理，然后系统地描述了帧中断管理方法的原理以及工作过程。

适用于Data over SDH的GFP通用成帧规程协议

本文分析了现有Data over SDH协议存在的缺陷,介绍了一种全新的GFP通用戍帧规程协议.对GFP协议的帧格式、帧映射、透明映射,以及用于管理传输链路的GFP管理帧进行了详细介绍.

无线HART网络节点变速率资源调度算法实现

无线HART网络的资源调度是通过对超帧的资源分配来实现。目前无线HART网络的资源调度算法研究主要应用于节点更新速率固定的场合。将超帧分为数据超帧和管理超帧,提出了一种针对于节点变速率上传数据的数据超帧分配算法,同时根据数据超帧上行数据特性,在超帧中均匀分配时隙,提出了一种提高抗扰性的数据超帧分配算法。实验结果表明,算法解决了无线HART网络变速率节点的资源分配问题,并提高了端对端数据传输的抗扰性。

IEEE802.11i协议密钥协商机制的分析与改进

通过分析无线局域网的安全协议,发现密钥协商机制——四次握手协议在第一次握手时未对消息进行任何处理,导致该协议存在拒绝服务攻击的安全隐患,就此提出加密管理帧的方法来消除该安全隐患,并对该方法加以论证。

一种基于背板总线的模块间数据传输设计方法

使用ARINC659背板总线做为机载计算机产品的背板总线,通过表驱动比例访问(TDPA)的通信机制和四条总线交叉传输校验提高系统的可靠性,满足当前机载电子系统的余度要求及可靠性和安全性要求。通过小帧调度、切换及子帧调用等设计思想,对659总线命令表进行优化设计,大大缩短了总线正常调度周期,满足复杂系统的周期控制要求,并通过仿真及测试,总线命令表满足系统功能要求,提高产品性能。

谈无线局域网WLAN的安全协议的改进

阐述管理帧在WLAN通信中的作用、意义、种类和结构,并对WLAN攻击中可能存在的漏洞进行了列举和分析.重点提出了一种新基于管理帧认证和加密的安全模型.并对该模型在抵御目前已知的攻击方面进行了基于概率的数学评估.

100M以太网光通信的TS-1000协议的研究

TS-1000协议是一种用于100 M单模光纤双向光口的通信协议。利用该协议可以进行网络管理及环回测试,可实现对媒体转换器设备的状态监测和远程控制。TS-1000协议确保了网络稳健运行,满足了用户对局端和远端的管理需求。本文对TS-1000协议中的管理帧进行了分析,对管理帧的发送和接收的工作原理进行了研究。

关于电信家庭宽带三千兆业务中全屋Wi-Fi的部署策略

末端无线局域网的服务质量在很大程度上决定着用户对家庭宽带业务的感知,通过对无线局域网的原理机制进行分析,进而针对不同的痛点制定相应的部署策略。以期利用协调一致的系统性方法达到降低家庭宽带业务用户投诉,有效提升用户感知的目的。

无线校园网络钓鱼AP攻击检测技术研究

信息时代下为校园网络的全面覆盖创造了有利条件,无线校园网络的落实,在一定程度上为教师与学生提供了便利条件,能够随时随地查询教育资料以及合理安排学习时间。无线校园网络的运行,在优化教学条件的同时,也面临着网络钓鱼AP的攻击、窃取个人信息、损坏个人数据等。此次研究的目的是及时、准确地检测无线校园网络钓鱼AP攻击。应用理论分析与技术分析的方法,明确钓鱼AP攻击检测关键点,运用不同方法不同角度对钓鱼AP进行检测,制订完善的检测方案,以顺利完成检测任务。

使用WPA3保护无线网络安全

WPA3是最新的Wi-Fi访问保护技术(Wi-Fi Protected Access),使用更加安全的认证和加密技术保护无线网络安全,它有效解决了WPA2存在的安全隐患。WPA3使用最新的安全算法,禁止过时的遗留协议,要求使用保护管理框架PMF(即强制要求管理帧保护)。WPA3提供了一些增强的安全特性,例如支持对等实体同时验证(SAE)、机会性无线加密(OWE)、Suite B密码学等内容。