基于身份的空间网络安全研究

空间网络安全的研究是天地一体化网络研究的重要组成部分,日益受到研究人员的重视。本文根据空间网络面临的安全威胁,分析需要采用的安全机制,构建了空间网络的安全体系结构。深入分析基于身份的密码体制（IBC）,在空间网络中应用IBC提供安全服务框架,以此为基础,提出了一种密钥交换协议,并详细描述了安全通信的建立过程。分析表明,同传统的基于公钥基础设施（PKI）体制的安全解决方案相比,IBC具有较低的存储、通信和计算开销,是适合空间网络的有效安全方案。     

隐私保护自我效能对App用户隐私安全保护行为的影响研究

在隐私侵犯事件频发的情况下,研究如何提高App用户运用现有能力应对隐私侵犯,对提高用户隐私保护意识,强化企业隐私保护服务具有重要现实意义。基于保护动机理论与控制代理理论探究隐私保护自我效能对用户隐私安全保护行为的影响机理,通过问卷调查收集数据,采用结构方程模型进行实证分析。结果表明,内部隐私保护自我效能对隐私保护机制(隐私设置、隐私声明和政府监管)的感知有效性产生正向影响,外部隐私保护自我效能对隐私声明和政府监管的感知有效性产生正向影响,隐私设置和政府监管的感知有效性对用户隐私安全保护行为产生正向影响。     

嵌入式多核操作系统的形式化建模与验证

在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件系统、机载网络/总线的形式化验证案例,在此基础之上引出嵌入式多核操作系统形式化的问题;对嵌入式多核操作系统的时间确定性和功能正确性属性进行形式化建模和验证;并对全文进行总结。     

升降带宽度缩减对障碍物限高影响分析

针对升降带宽度缩减给机场净空管理带来的新问题,将升降带缩减前后对过渡面的设置及限高情况进行对比分析。以跑道中点为原点建立直角坐标系,对跑道纵坡为0的情况下标准形式过渡面各关键位置点的设置参数进行计算,并提出运用过渡面进行障碍物限高评价的公式。实例分析中,依据跑道中线各点的标高变化情况,绘制某机场过渡面,并对5个障碍物的超高情况进行对比,阐述升降带缩减后给过渡面内障碍物限高计算工作产生的影响。     

地热能源的地震风险

利用地热能源发电,是替代能源的一个选项。但由于它也有引发地震的风险,这其中如何平衡,是一大挑战。越来越多的深层地热,正在开发来作为一项极具吸引力的替代能源。虽然在过去的百年中,温泉等传统水热资源已被充分利用,但是其分布范围以及供电的潜能却相当有限。因此,深层地热的前景看好。     

美国机场业可持续发展手册的分析比较

1987年世界环境与发展委员会在《我们共同的未来》报告中第一次阐述了可持续发展的概念,1989年“联合国环境发展会议”（UNEP）专门为“可持续发展”的定义和战略通过了《关于可持续发展的声明》。可持续发展是建立在社会、经济、人口、资源、环境相互协调和共同发展的基础上的一种发展,其宗旨是既能相对满足当代人的需求,又不能对后代人的发展构成危害。     

基于 AOS 的试飞安全管理体系建设

为了解决企业中多套管理体系并存的问题,提高管理效率,本文依据AOS管理1236原则,阐述了试飞安全管理体系与AOS运营管理体系相互融合的思路和方法。通过建立基于AOS的试飞安全管理体系,使得试飞安全管理取得了显著效果,试飞安全水平稳步提升,同时对于AOS运营管理体系框架内的多体系融合工作具有一定的指导作用。     

制度是基础 落实是关键

近年来民航事业飞速发展,飞机数量、航班流量的快速增长,给空管系统提出了越来越高的要求,带来了越来越大的压力。现实要求我们安全保障的每一个环节不但要高效运转,而且要密切协作。要确保整个安全保障系统高效协调运转,没有一套系统严密的规章制度是不可想象的。     

青岛空管站召开航管楼塔台搬迁前期安全评估会

青岛空管站航管楼、塔台工程是2008年北京奥运会的重要空管保障工程项目。为保证如期完成搬迁工作,确保搬迁后的平稳运行,2008年1月24日,青岛空管站召开安全评估会,对工程建设、设备安装与使用、人员培训、工作与休息环境等进行了评估,对存在的问题落实了相关部门的责任,并敦促抓紧解决。     

Net110网吧安全审计管理系统的设计与实施

信息时代对公安管理系统提出了新的挑战，Net110网吧安全审计管理系统充分利用互联网络的技术特点，通过公安监察部门的电脑系统集中，统一和高效地管理在城区分散的网吧。本文着重阐述了系统设计的基本原理，并以南昌市公安局为例，介绍了从需求分析、系统设计到系统实施的建设全过程。