复合型安全协议及其验证

根据可信第三方(Trusted third part,TTP)参与通信的方式,安全协议可以分为在线TTP型和离线TTP型两类。分析了两类协议的优缺点,提出了一种复合型安全协议,在同一协议中结合了两种方式,方式的选择由消息发送方和接收方共同决定。该协议由4条规则组成。为了描述协议的动态运行过程,对SVO逻辑系统进行了扩充,增加了3条公理,用于刻划消息接收者的不可否认性。基于扩充后的SVO逻辑系统对复合型安全协议进行了形式化描述,证明了该协议具有不可否认性。     

无人机网络中数控分离的安全传输机制

数据和飞控指令的安全性是无人机网络安全性的一个重要方面。针对现有的无人机网络安全机制中的不足，本文提出了一种数控分离的安全传输机制。针对无人机向地面站发送的数据采用基于高级加密标准的计数器和密文分组链接消息认证码（AES-CCM）认证加密机制的数据安全传输协议，保证数据的机密性和完整性，针对地面站向无人机发送的飞控指令设计了基于一次签名的飞控广播认证协议，保证飞控指令的完整性。通过安全性分析，证明所提出的方案能够保护数据的机密性和完整性，以及飞控指令的完整性。最后，通过仿真试验分析了所提出方案的性能，结果表明，所提出的数据安全传输协议发送100B和1KB的消息时，平均每个消息的认证加密时间和解密验证时间均不超过1ms；所提出的飞控广播认证协议在使用不同的哈希函数时，对1MB的飞控指令生成签名和验证签名的时间为1～2.7ms，在实际应用中具有高效性。     

基于5G的通导融合位置认证系统性能分析

随着无人化智能移动装备在工业、交通等安全敏感领域的普及应用，民用导航定位系统中的定位安全问题日益突出。位置认证是对终端的物理位置声明进行认证的过程，是导航定位安全技术的重要组成部分。基于第五代(5G)移动通信网络的通导融合位置认证系统具有覆盖范围广、认证精度高、用户容量大、建设运维成本低等多重优势。本文首先介绍了多基站位置认证系统的检测判决原理，提出了漏检平均距离的定义作为位置认证系统精度的量化评价指标。在此基础上，通过数值仿真分析了信号带宽、基站同步误差、信噪比对位置认证系统精度的影响，并利用5G信道模型评估了典型场景下的位置认证系统的性能。结果表明，在具备3个以上的视距基站时，基于5G的通导融合位置认证系统可以实现米级的位置认证精度。     

横向联邦学习环境基于身份认证及密钥协商协议

近年来，联邦学习受到多个领域的广泛关注，而认证及会话密钥协商是保证通信实体之间安全传输、可靠通信的关键技术和基本的安全保障。根据横向联邦学习参与方数据特征，提出一种基于身份的无证书轻量级认证及密钥协商协议；参与方在密钥生成中心（KGC）完成注册后，利用公共参数计算各自的临时密钥和长期密钥完成认证、计算会话密钥；最后，采用扩展的CK(eCK)模型对所提协议进行安全性证明。性能分析表明：所提协议在计算性能和通信开销方面可以有效地控制成本，适用于单服务器下横向联邦学习的训练环境。     

基于分段求解含错方程的扰码初态估计

针对低信噪比下扰码初态正确估计率低的问题，提出一种基于求解含错方程的扰码初态估计算法。根据初态递推关系，利用接收的软判决序列建立含错方程，将初态估计问题转化为含错方程组的求解；采用平均校验符合度来衡量含错方程组成立的可能性大小，通过遍历初态集合完成初态估计；通过分段寻优求解的方法来确定校验方程，该方法极大降低了高阶数下需要遍历的初态数。实验结果表明：所提算法在信噪比为0 dB的情况下，扰码初态正确估计率能达90%以上，相比于传统的卷积码快速相关攻击算法约有1～2 dB的性能提升。     

国外民机EWIS设计先进理念的介绍与探讨

随着适航新规章的发布,电气线路互联系统（EWIS）在整个民机设计体系中愈发得到重视。国外在EWIS设计方面已形成了非常专业化的体系,通过四个典型实例介绍了国外在EWIS设计中的先进理念,并探讨了对国内EWIS设计的借鉴意义并提出了相关建议。这些典型实例包括：EWIS适航认证、EWIS部件可靠性分析、EWIS安装设计标准制定、EWIS总体布局设计。     

江苏美龙航空部件有限公司

<正>江苏美龙航空部件有限公司成立于2009年12月,位于镇江新区航空产业园,占地面积150亩,建成厂房5万平方米厂,引进国外先进设备建成航空复合材料加工和精密机械加工生产线,主要从事航空先进材料结构件、客货舱内饰、地面训练机内饰、高铁用复合材料部件研制及航空精密机械加工零件制造。美龙航空通过必维国际检验集团的AS9100质量体系认证和中国新时代认证中心GJB9001认证,具有军工单位三级保密资质。公司通过中国商飞、中航工业、中电科技、航天科技、航天科工成员单位的合格供     

国内首个货运机场建成校飞

2021年12月29日,中国民航飞行校验中心一架奖状560飞机在鄂州花湖机场起飞、降落,标志着国内首个专业货运机场建成并启动校验飞行。作为国内首个专业货运机场,鄂州花湖机场建有2.3万平方米的航空货站、67.8万平方米的分拣中心、124个机位及2条3600米长、45米宽跑道。预计至2030年,鄂州花湖机场年货邮吞吐量和旅客吞吐量将达到330万吨和150万人次。     

基于码片幅度调制的导航信号扩频码认证方法

信号认证是满足全球卫星导航系统(GNSS)民用信号安全性需求的关键，相比于导航电文认证(NMA),扩频码认证(SCA)具有更强的安全性。为了在实现SCA的同时不对非认证用户造成影响，提出了一种基于码片幅度调制(CAM)的导航信号SCA方法，对民用信号的扩频码的码片幅度进行了调制，实现了在扩频码层面的认证特征的引入。为了验证所提方法的有效性，采用理论和仿真分析，与GPS L1C采用的Chimera SCA方法进行了比较。结果表明，所提方法在检测性能方面提升了2.55～2.78 dB。研究成果可为下一代高安全卫星导航信号的设计提供支持。