LEO/MEO双层空间信息网中基于身份的群组密钥管理方案

由于空间信息网中结点的移动性,在空间信息网中实现传统的群组密钥管理面临许多困难.根据空间信息网的特点,分析了空间信息网中群组密钥管理方案的需求,设计了一个适用于LEO/MEO双层空间信息网络的群组密钥管理方案,采用基于身份的思想,消除了对证书系统的依赖,能在空间信息网中灵活高效地实现.将空间信息网中的结点根据其逻辑位置划分为簇,其中簇头为MEO卫星,在密钥交换阶段中共享密钥仅由所有簇头结点决定,这种机制大大减少了通信量.方案能有效抵抗外部攻击者,并且具有前向保密性和后向保密性.仿真实验表明,方案具有很高的通信效率.     

利用LEX及YACC实现嵌入式SQL分析器

Lex和Yacc是用来产生词法分析器和语法分析器的工具。本文讨论了LEX与YACC之间的关系 ,然后讨论了如何利用LEX和YACC实现嵌入式SQL分析器。在上面的研究基础之上 ,文章最后给出了利用LEX和YACC实现嵌入式SQL分析器的流程图。     

一种新的容错蛀洞路由算法

研究了蛀洞网络的容错路由问题,提出了一种新的重新路由算法。与已知算法不同的是,该算法不需要虚拟信道,适用于任何网络拓扑结构和任意确定的路由策略,只要保证网络连通,也可适用于任意数目的故障信道。模拟结果表明,与现有方法相比,本文提出的方法在网格结构下具有更好或类似的性能。     

基于蜻蜓膜翅结构的飞机加强框的仿生设计

由于机动性和能耗的要求,飞机设计过程当中轻量化设计是十分重要的。经过亿万年的进化,在承受自身重量及生长环境的载荷过程中,生物体获得了适应环境的最优结构。通过分析蜻蜓膜翅和飞机机身加强框的结构相似性,提取决定蜻蜓膜翅结构优良力学性能的结构特征,将其应用到飞机机身加强框的设计当中,并用有限元工具验证了结构的优化效果。在同样的承载条件下,仿生型结构的比刚度比原型结构提高了2%~6%,比强度提高了1%~8%。同时,仿生型结构的最大应力减小,而最小应力明显增大,因此其应力分布更加均匀,从而体现了仿生结构件材料的优化分布和最大效能。     

UC安全的移动卫星通信系统认证密钥交换协议

由于移动卫星和移动用户的计算、存储和通信能力有限,解决移动卫星通信系统的安 全和保密问题面临许多困难。根据移动卫星通信系统的实际情况,分析了系统的安全需求, 基于UC安全模型定义了移动卫星通信系统认证密钥交换协议的理想函数,该理想函数保证了 强安全性和实用性,并用于实际协议的设计。在移动用户和移动卫星通信网络控制中心之 间,设计了一个简单、低计算复杂性的认证密钥交换协议,该协议涉及了较少的交互次数, 认证协议计算负载仅仅需要利用伪随机函数、散列函数和与或计算。同时,基于UC安全模 型,对新的协议进行了可证明安全分析。新协议的安全属性包括可用性、有效性、身份隐藏 的可认证性、前向保密的密钥交换以及协议的模块化可复合性。     

网络系统的广播技术和广播算法

讨论了计算机网络系统中的广播问题,重点放在广播算法上。首先,介绍了广播的概念和广播技术在网络中的应用。然后介绍了几种广播算法,其中包括：独立发送分组法、多目的地址法、生成树算法、逆向路径转发算法和扩散法,并提出有效的扩散算法改进思想。最后给出这几种算法的模拟结果和可靠性分析。     

综合化航空电子系统可信软件技术

航空电子系统要求航空任务的执行具有确定性、可预测和可控性。深入分析综合化航空电子系统软件安全性、可靠性、完整性和实时性需求,提出了综合化航空电子系统软件可信性的定义。首次将可信计算引入到综合化航空电子系统中,建立综合化航空电子系统可信软件体系结构,在此基础上,提出软件可信运行环境构建方法和可靠性增强技术。这些技术能够保障综合化航空电子系统的可预测性,对保证飞机任务的执行及其安全具有重要的作用,为研制适合于中国大飞机的综合化航空电子系统可信软件奠定基础。     

空间信息网的分布式证书撤销机制

针对以卫星网络为核心的空间信息网分析其安全隐患与安全目标,提出使用公钥证书机制作为其基本安全机制。根据空间信息网没有中心节点这一特点,给出了一种分布式证书撤销算法及其具体实现细节。该算法中任意节点可以对异常节点发起撤销指控,当指控量达到一定门限值时撤销异常节点的证书。网络中的节点只需维护两张表以标识全网节点证书状态,极大地减少了通信量。该算法可以防止被撤销节点发起有效指控,并且能够以很高的概率抵抗恶意节点的非法指控攻击。     

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

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