【摘 要】
:
本文分析了军用计算机软件的特点,比较了多种操作系统平台的特点,对Linux操作系统进行了介绍,指出Linux是军用计算机软件理想的开发和使用平台,并以嵌入式linux作为应用实例加以分析。
【机 构】
:
第二炮兵装备研究院 北京 10085
【出 处】
:
全国抗恶劣环境计算机第二十届学术年会
论文部分内容阅读
本文分析了军用计算机软件的特点,比较了多种操作系统平台的特点,对Linux操作系统进行了介绍,指出Linux是军用计算机软件理想的开发和使用平台,并以嵌入式linux作为应用实例加以分析。
其他文献
多重独立安全等级(MILS)是在同一系统中执行不同安全级别应用的可验证安全体系架构,基于MILS架构的安全通信组件防止高安全级别通信实体把信息泄露给低安全实体。本文结合安全通信组件对基于MILS的分区间安全通信进行了研究,讨论了在单机环境和分布式系统中的消息内容处理和信息流控制机制,揭示了其发展趋势,探索了未来综合化航空电子系统安全通信的发展方向。
随着可信计算技术的发展,利用可信计算来提高嵌入式终端系统的安全性已成为热点。针对可信计算技术中的核心硬件可信平台模块(TPM),文章提出了基于TPM嵌入式可信终端构建方案,并基于ARM嵌入式平台进行原型系统的设计与实现,有效解决了嵌入式终端面临的安全问题。
开展网络安全态势感知系统研究,对于降低我国网络系统风险,提高应对网络攻击的能力具有十分重要的意义。本文介绍了非协作条件下网络安全态势感知的概念,提出了非协作条件下网络安全态势感知系统框架,并对涉及的关键技术和难点进行论述。
信息模型是安全态势感知系统各部分协同工作的公共数据基础,也是态势感知系统和其它相关安全系统进行数据交换的基础。设计出了具有层次式结构的安全态势感知信息模型,该模型规范的定义了网络空间中哪些安全元素构成了态势信息,对安全事件、攻击行为、态势评估和使命影响等不同层次的态势元素予以了表示,同时以IDMEF为基础定义了信息之间的交换格式,最后对相关的存储结构进行了说明。
直接或者间接地误用缺陷函数是软件脆弱性的主要根源之一,针对二进制程序,本文对缺陷函数误用导致的代码脆弱性模式进行了建模和形式化,在此基础上,提出了一种缺陷函数启发的二进制程序脆弱性分析框架。介绍了框架的体系结构和检测流程,设计二进制程序脆弱性分析工具原型,验证了分析框架和工具的有效性。
本文在介绍分布式软件安全测试方法和测试过程的基础上,针对分布式软件的特点,描述了安全性功能测试指标,并建立了分布式软件安全指标体系,并对体系中各个度量元的测试方法和检测手段进行描述。
本文重点对IEEE 802.16标准的保密和密钥管理协议进行安全分析,指出其中存在的安全漏洞。在此基础上分析了IEEE 802.16e的改进协议的安全性,安全分析表明改进后的协议修正了原标准中存在的问题,其安全性得到了保障。
虽然通过软件维护可以提高星载软件的可靠性,但是维护过程本身也必须十分可靠。针对空间恶劣环境下提高星载软件维护可靠性的方法进行了研究,重点分析和探讨了VxWorks操作系统下,星载软件维护异常的处理方法,设计了处理流程,并对该处理方法进行了测试和验证。对其它的提高维护可靠性的方法进行了说明。
对轨道快车、凤凰号等国内外航天器上的自主运行管理的现状进行了分析;从自主管理能力、实时处理能力等方面对自主运行管理软件平台的需求进行了分析;设计了自主运行管理平台;最后对自主运行管理软件平台的结构和功能模块的设计进行了说明,并重点分析了资源与状态监控、应用任务监控和容锗处理、远程加载与维护等功能的设计与实现。
与常见的数据库相比,嵌入式数据库具有体积小、功能齐备、可移植性、健壮性等特点。首先,本文分析了嵌入式数据库系统的功能及其关键技术;其次,研究了在嵌入式环境下数据库系统的结构及特性等相关问题;最后,探讨了嵌入式数据库的发展方向和应用前景。