面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大，软件系统一旦出现故障，很可能会造成人员伤亡或财产等重大损失，因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域，作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时，可信性会下降，会影响到与它可信关联的组件可信性，从而影响到整个系统的可信性.遵循这一思路，设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式，进一步给出当一组件可信性发生变化，整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例，证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

安全性评估流程在现役飞机维修中的应用研究

针对部分现役国产飞机在研制阶段尚未应用国际主流的安全性评估流程和方法、客观上存在一些单点故障导致飞行事故和飞行事故征候等问题,探讨在已定型飞机上使用安全性评估流程方法和思路识别可能存在的导致飞机产生飞行事故征候及以上重大问题的故障点、风险点,以作为维修企业提升飞机维修质量安全水平的参考。     

不可忽略的ATM网络安全

本文结合中国民航数据网(ATM网）的实际情况，并根据ITU—T和删论坛中有关删安全的相应论述，对删网络的安全性进行了简述。     

浅谈《安全自毁系统设备设计规范》的编制

概述了安全自毁系统在航天型号研制中的重要作用以及编制高质量《安全自毁系统设备设计规范》的必要性,论述了编制其设计规范应把可靠性、安全性放在首位,并在设备的设计、功能和线路的设计等方面,应尽量采用成熟技术、安全电路和成熟线路,以保证编制的《安全自毁系统设备设计规范》实用、有效和可操作。     

基于Web的固体火箭发动机质量信息系统安全性研究

提高固体火箭发动机质量信息系统的安全性，对于固体火箭发动机的研制与生产具有重要的信息保护作用。针对基于Web的固体火箭发动机质量信息管理与评判系统。分析了操作系统，网络和数据库等三个方面的安全性，利用三维模型提出了系统安全性方案的基本框架，该方案的试运行表明，该方案的使用具有积极的意义和作用。     

浅析当前中国民航旅客订座系统的安全隐患

以具体实例对现行的民航订座系统网络的一个安全隐患进行了分析,同时为从根本上弥补此缺陷提出了建议.     

浅谈民航新疆空管局VPN网络的建设

当今世界,信息技术日新月异,信息资源已经成为国民经济和社会发展的战略资源,信息化水平也已成为现代化水平和综合国力的重要标志。新疆空管局自成立以来,经过几年的建设,信息化工作在基础设施建设、重要信息系统的开发和运行等方面都取得了显著成绩,为便于管理,提高信息安全性,建立一套专用的计算机网络安全通道意义重大。     

型号设计中的安全性设计分析

通过对“长征三号”运载火箭的一些安全性设计实例帕的分析来建立安全性设计的概念，论述安全性设计在型号设计中的重要作用和地位。分析认为，安全性设计应以总体、系统设计师为主，并从设计初期抓起。     

载人宇宙飞行的不利因素与紧急情况分析

载人宇宙飞行对航天器地面模拟试验提出了新的、更严格的要求。本文从保障航天员安全性的角度简要介绍了在地面模拟试验时应考虑的载人宇宙飞行的不利因素,分析了产生紧急情况的原因。     

"神舟"号载人飞船电源分系统的研制

根据载人航天的特点和飞船电源系统的任务,研制了"神舟"号载人飞船的电源分系统,并介绍了该分系统及其技术的特点,以及采用的安全性和可靠性技术措施。数次飞行试验结果表明,所设计的电源分系统性完全满足载人航天工程的要求。