机场行李5级安检系统的仿真建模与分析

5级安检系统是机场安检、行李(自动)分拣系统中的重要组成部分,其应用大大提高了机场安全保障系数和行李分拣系统的处理效率。本研究简要介绍了5级安检系统,应用Flexsim软件对该系统进行仿真建模和结果分析。该系统可形象地展示系统各个环节之间的关系,并能直观而迅速地找到系统中的影响因素和瓶颈位置。     

可信计算之细粒度模糊信任链研究

针对可信计算平台信任链技术的实现,在可信与安全相关性研究基础上,总结了信任链技术中存在的几个值得探讨的问题,对可信与安全的关系、认证链和信任链的区别以及组件划分的粒度等问题进行了分析。提出了一种细粒度模糊信任链模型,对组件划分原则、组件、系统的安全度量方法和信任转移理论进行了深入研究。为可信计算信任问题的研究提供了一个可行的方案,对实际系统可信性和安全性研究具有参考意义。     

航空复合材料智能敲击检测方法研究

复合材料在生产和制造过程中难免会存在缺陷和损伤,严重影响着航空安全。敲击检测是最简单、运用最广泛的无损检测方法,然而其向智能化方向发展过程中出现了诸多问题。对复合材料结构特性、缺陷和损伤、安全性、敲击检测原理、敲击锤设计、信号处理单元、数据库搭建和智能检测算法进行了深入研究,提出了敲击检测标准流程和规范、数据库搭建方法、以及智能聚类检测算法,在此基础上开发了智能敲击检测系统。     

基于虚拟安全域的多级安全访问控制

虚拟化技术作为云计算的核心技术,相对于传统技术具有节约开销、易于管理、灵活制定等优势,成为业界应用的热点技术。文章研究了传统的BLP多级安全模型,并改进了该模型应用于虚拟化系统访问控制,结合虚拟安全域的概念,设计实现了虚拟化系统访问控制模型,主要结合分级分域原则对虚拟机之间的通信控制和虚拟机对虚拟磁盘的访问控制进行约束。     

载人航天器系统防操作失误设计分析

载人航天中任何人为操作错误都会对载人航天器系统和航天员的安全构成威胁。文章对载人航天器系统中人的操作特点进行了论述,并对保证载人航天器安全而进行的防操作失误设计问题进行了探讨。在此基础上,提出了进行载人航天器系统防操作失误设计的方法以及提高航天员操作可靠性的措施。     

联邦学习安全与隐私保护综述

联邦学习是一种新型的分布式学习框架,它允许在多个参与者之间共享训练数据而不会泄露其数据隐私。但是这种新颖的学习机制仍然可能受到来自各种攻击者的前所未有的安全和隐私威胁。本文主要探讨联邦学习在安全和隐私方面面临的挑战。首先,本文介绍了联邦学习的基本概念和威胁模型,有助于理解其面临的攻击。其次,本文总结了由内部恶意实体发起的3种攻击类型,同时分析了联邦学习体系结构的安全漏洞和隐私漏洞。然后从差分隐私、同态密码系统和安全多方聚合等方面研究了目前最先进的防御方案。最后通过对这些解决方案的总结和比较,进一步讨论了该领域未来的发展方向。     

基于单代号网络的银行家算法

通过对银行家算法的分析,提出单代号网络的进程安全状态序列的改进算法-基于单代号网络的银行家算法,并通过具体的示例实现此算法。     

基于最近服务的层次式网格信任模型

阐述了网格环境中信任模型的需求,并分析了传统网格信任模型的优缺点,由此提出了基于最近服务的层次式网格信任模型,设计了相应的计算公式.与传统的信任模型相比较,该模型占用网格资源少、信任评估复杂度低、可伸缩性强,能够较好地抑制网格环境下的恶意评价和协同作弊的威胁.采用改进后的网格仿真工具GridSim进行模拟实验,结果表明该信任模型提高了网格系统的可靠程度.     

基于过程工程的航空企业建模技术研究与实现

 通过研究国内航空企业建模的需求,探讨现有企业建模方法的不足,提出了基于过程工程的航空企业建模方法。首先针对航空企业的特点,尤其是考虑到航空军工企业对信息安全性的要求,给出了一个六元组表示的航空企业模型,并对航空企业模型的信息安全子模型进行了详细描述;然后研究了基于过程工程的航空企业建模的实现技术,包括企业模型体系、企业建模支持系统等。建立基于过程工程的航空企业模型,以模型为驱动,为航空企业信息系统的建立、实施和重构提供了基础和依据,适应了航空企业对企业模型动态响应性和信息安全性的要求。该研究成果已成功地应用于某大型航空企业两种型号飞机的研制,实践证明所提出的方法是可行和有效的。     

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

随着软件的应用规模越来越大,软件系统一旦出现故障,很可能会造成人员伤亡或财产等重大损失,因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域,作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时,可信性会下降,会影响到与它可信关联的组件可信性,从而影响到整个系统的可信...