事实证明,目前用于确保卫星系统网络安全的方法存在缺陷或过时。此外,目前的趋势表明,卫星在不久的将来将连接到互联网,这一事实将进一步加剧人们对太空系统的安全担忧。在这项研究中,我们通过确定未来卫星系统的主要特征设计了一个具体模型,并借助该模型,我们发现了后续太空航空电子设备中的主要网络安全威胁。我们与 RUAG Space 公司合作,通过分析当前的标准、协议和技术创建了联网卫星模型。然后,通过将我们的模型与当前卫星以及最近面临类似挑战的汽车行业进行比较,我们从网络安全的角度突出了几个主要关注领域。我们相信,所获得的结果将成为以前未被充分探索的卫星网络安全领域标准化的良好起点。
有时彼此之间有外部链接。在这里,我们展示了如何使用单个数据集 BRON 1 ,该数据集支持行为级别的 AI 建模和 ML 推理,见图 1,方法是使用一组合并的关键公共威胁和漏洞信息源。BRON 在 [11] 中有完整描述。不幸的是,公共威胁和漏洞信息是从历史攻击中提取的,例如高级持续性威胁 (APT)。事后,APT 被分类和定义为特定行为者追求目标的行为,构成具有特定策略、技术和程序的威胁。攻击目标被列为硬件或软件漏洞或暴露,有时它们本身会交叉引用到代码、设计或系统架构中发现的某种弱点。攻击模式是手动识别和枚举的。根据其类型,每个信息单元都填充为特定数据库的条目,并进行一定程度的交叉引用。组合数据库之间具有不规则的成对链接,可用于防御推理。本文展示了将四个公共数据库的数据合并成一个图形数据库 BRON [11] 的用途。这四个数据库分别是:
量子密钥分布或简短的QKD旨在建立一个安全的密钥,而无需对仅受自然法则限制的对手的能力或计算能力做出任何其他假设。在给定相关系统参数的某些QKD协议的安全键率或至少下界的数学表达式的过程中称为安全性证明。在本论文中,我们使用最近的数值证明技术来检查具有正交相移键调制和四个或八个信号状态的连续可变量子密钥分布(CV-QKD)方案的不同后选择后策略。CV-QKD协议使用连贯的状态来编码信息并通过同型或异差检测来测量段落的成分。使用的数值安全性技术的基本思想是在两步过程中解决关键率发现问题。在第一个步骤中,使用数值算法大致解决了该问题,该算法在安全密钥速率上产生上限。接下来是第2步,其中所获得的上限使用定理序列并考虑了数值误差。选择后旨在通过删除钥匙的那些部分来提高安全的密钥利率,在这些部分中,潜在的对手可能比沟通方获得更多信息。对不受信任的理想和受信任的非理想探测器情景进行了研究,我们为与选择后图相关的操作员提供了新的分析结果。
摘要 尽管对网络安全的各个方面做出了重大贡献,但网络攻击仍然令人遗憾地呈上升趋势。越来越多的国际公认实体(如美国国家科学基金会和美国国家科学技术委员会)注意到人工智能可以帮助分析数十亿个日志文件、暗网数据、恶意软件和其他数据源,以帮助执行基本的网络安全任务。我们举办第一届人工智能网络安全分析研讨会(半天;与 ACM KDD 同地举办)的目标是聚集学术界和从业者,为人工智能网络安全分析的最新工作做出贡献。我们组建了一个优秀的跨学科计划委员会,该委员会在人工智能网络安全分析的各个方面拥有丰富的专业知识,以评估提交的工作。在 CTI、漏洞评估和恶意软件分析领域为半天研讨会做出了重大贡献。
第 1 章:研究堆简介和总体描述 ............................................................................................................................. 34 第 2 章:安全目标和工程设计要求 ............................................................................................................. 35 第 3 章:场址特点 ............................................................................................................................. 42 第 4 章:建筑物和结构 ............................................................................................................. 48 第 5 章:反应堆 ............................................................................................................................. 4849 第 6 章:研究堆冷却系统及连接系统 .................................................................................................. 49 53 第 7 章:工程安全特征 ...................................................................................................... 55 第 8 章:仪器和控制系统 .............................................................................................. 56 第 9 章:电力 ...................................................................................................................... 5758 第 10 章:辅助系统 ................................................................................................................ 58 第 11 章:研究反应堆的利用 ...................................................................................................... 60 第 12 章:运行辐射安全 ...................................................................................................... 61 第 13 章:运行的实施 ......................................................................................................
摘要。在设计飞机时,系统安全分析 (SSA) 是与初始适航认证相关的系统工程活动的重要组成部分。对于军用飞机,这不仅需要一个过程来确定系统是否足够安全,还需要确定安全性、成本和军事能力之间的可接受平衡。在本文中,主要针对民用飞机的 SSA 执行标准已分析其与军用飞机认证的相关性。此外,还分析了系统工程标准 ISO/IEC/IEEE 15288:2015 将 SSA 与军用飞机项目中的其他活动相结合的适用性。本文的目的是分析这些过程如何相互关联以及如何将它们集成以创建有效且高效的流程,以根据 EMAR 21 对军事设计组织的要求开发和认证飞机。
准备。ICS 215A 通常由安全官在事故行动计划周期内准备。当运营科科长准备战术会议时,安全官与运营科科长合作完成事故行动计划安全分析。此工作表与运营计划工作表 (ICS 215) 紧密相关。列出了事故区域或地区以及相关危险和风险。对于涉及风险和危险的任务,应制定缓解措施或控制措施以保护响应者,并应向适当的事故人员简要介绍危险、缓解措施和相关措施。根据需要使用其他工作表。
摘要。本文展示了如何使用一种新的危害分析技术 STPA(系统理论过程分析)在概念开发阶段的早期生成高级安全要求,然后帮助设计系统架构。在做出决策时,可以使用 STPA 来细化这些一般的系统级要求。该过程与设计和生命周期的其余部分密切相关,因为 STPA 可用于提供信息以协助整个开发甚至运营阶段的决策。STPA 也适用于基于模型的工程过程,因为它在系统模型上工作(在做出设计决策时也会进行细化),尽管该模型与当今通常为基于模型的系统工程提出的架构模型不同。该过程促进了整个开发过程的可追溯性,因此可以更改决策和设计,而对重新进行以前的分析的要求最低。最后,虽然本文描述了与安全性相关的方法,但它可以应用于任何新兴系统属性。
摘要。本文展示了如何使用一种新的危险分析技术 STPA(系统理论过程分析)在概念开发阶段的早期生成高级安全需求,然后帮助设计系统架构。这些一般的系统级需求可以在做出决策时使用 STPA 进行细化。该过程与设计和生命周期的其余部分密切相关,因为 STPA 可用于提供信息以协助整个开发甚至运营阶段的决策。STPA 也适用于基于模型的工程过程,因为它在系统模型上工作(在做出设计决策时也会进行细化),尽管该模型与当今通常为基于模型的系统工程提出的架构模型不同。该过程促进了整个开发过程的可追溯性,因此可以更改决策和设计,而对重新进行先前分析的要求最低。最后,虽然本文描述了与安全性相关的方法,但它可以应用于任何新兴的系统属性。
功能依赖于外部输入(如驱动、机械运动或电源)的组件,因此会以主动方式影响系统过程,例如泵、阀门、风扇、继电器和晶体管。需要强调的是,此定义必然是通用的,无源组件的相应定义也是如此。某些组件(如爆破片、止回阀、喷射器和某些固态电子设备)具有一些特性,在指定为主动或无源组件之前需要特别考虑。