更强的密钥交换可证安全模型

设计和分析双方密钥交换协议,目前已提出多个可证安全模型。为保障密钥交换协议所需的安全特性,形成一个统一的安全模型是非常必要的。本文评估了eCK＇,eCK和CK模型,证明了eCK’模型是当前最强的密钥交换可证安全模型,并形式化分析了这些模型的强弱关系。此外,对于模型问存在的蕴含关系还提供了形式化证明,并对非蕴含关系给出了反例。     

风洞试验中旋翼的智能控制技术

直升机风洞试验是高转速、高难度、高风险的动态试验,人工操控具有效率低、安全性差、劳动强度大等缺点。为了克服人工操控的缺陷,构建了基于网络通信的试验管理系统和软硬结合的多重安全保护措施,在此基础上形成了成熟的直升机风洞试验自动配平技术。目前这些技术已成功应用于直升机风洞试验控制,应用效果表明旋翼的智能控制技术具有结构灵活、操作方便、安全可靠、数据质量好、试验效率高等特点,大大提升了直升机风洞试验的控制水平,充分满足了直升机风洞试验的需求。     

数据挖掘中的关联规则在入侵检测系统中的应用

由于知识发现的快速发展,对海量数据分析和处理的技术、能力也日渐成熟。从1999年起,就开始了将数据挖掘技术和入侵检测系统结合的尝试。将数据挖掘引入入侵检测系统的原因是它能够从大量的数据中自动提取出特征和模型,自动维护模式或特征库。系统利用这些大量的特征和数据进行有效的分类,加快处理速度,提高准确度。文章针对网络安全当中的大量的入侵事件,结合数据挖掘中的关联规则的概念,建立特征库及其特征关联,通过审计处理来加强网络入侵检测系统的功能。     

基于IPv6的安全技术及其应用

论述了新一代网络协议IPv6在安全方面的先进之处及其技术要点,并指出了它在网络不同层次的应用及安全性能.     

飞机通信寻址与报告系统消息安全研究及仿真

ACARS消息安全( AMS)以一种独立于底层通信机制的应用方式,通过安全机制及支持该机制的加密算法,提供数据机密性、消息认证和完整性的安全服务。介绍了AMS消息结构和处理过程,建议采用一种综合对称和非对称加密系统优势的航空通信方案,分析了安全会话过程,仿真试验证明, AMS在面对安全威胁时能保证ACARS消息的安全传输。     

某型装备安全风险评估系统设计与实现

针对某型装备配发部队后安全隐患多,缺乏有效手段进行安全风险评估和安全风险源控制的实际问题,在充分分析系统需求和特殊使用环境的基础上,综合利用 XML技术和数据库技术,以移动应用和桌面应用相结合的总体架构,基于 Android系统和.Net Framework设计并实现了某型装备安全风险评估系统,实际试用表明,系统实现了移动应用与桌面应用的良好数据交互,为部队进行安全风险检查、分析和控制提供了有效的技术手段。     

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

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

基于校园网的木马攻击原理及安全机制研究

目前,ARP木马攻击在校园网中频繁发生,导致网络运行不稳定,甚至中断。因此,本文从ARP协议入手,分析了ARP协议的漏洞和ARP木马的攻击原理,研究了校园网的安全机制,并给出了关于如何防范ARP攻击的策略。     

A new skeleton based flying bird detection method for low-altitude air traffic management

In low-altitude air traffic management, non-cooperation targets are the greatest threat to security of low-flying aircraft. Among various aviation fatalities, flying bird is the main factor with the highest risk and directs economic losses amounted to nearly 10 billion US dollars each year. Therefore, Flying Bird Detection (FBD) has attracted considerable attention in low-altitude air traffic management. In this paper, we propose a skeleton based FBD method via describing bird motion information with a set of key poses. To overcome the variability of birds, the skeleton feature is selected as a relatively fixed and common characteristic for the pose appearance of flying bird. Based on the geometric topology among some key parts of bird body, a set of key poses can be described by some extracted skeleton features, which are used to represent the bird motion information. Aimed at robustly handling with the pose variations, multiple pose-specific classifiers are individually trained to learn the representative poses of the flying bird. At the detection stage, the flying bird skeleton features are combined with extracted key-pose sets to perform the flying bird classification task from each image. Afterwards, the key-frame pose-change set and the consistency of the classification results from sequent images are employed to validate the final detection results. Experiments on flying bird datasets demonstrate the effectiveness and efficiency of the proposed method.     

平台本体的可靠性评估及其应用

平台本体的可靠性评估是用来验证其抽样数据是否符合其指标要求的一种方法。本文就平台本体的可靠性指标验证问题,进行了威布尔寿命型产品可靠性的讨论,阐述了新的可靠性评估方法的理论推导,它对比原始的可靠性评估方法更加准确和充分。最后将其应用在某型号平台本体的可靠性试验数据上并计算出结果,能够验证该平台本体满足控制系统的指标要求。