XiaoMi-AI文件搜索系统
World File Search System安全分析
基于模型的安全分析 - informatik.hu-berlin.de
• 自动襟翼功能 – 根据负载自动调整襟翼位置 • 关键事件 – 不对称襟翼位置 – 动力失控 – 由于自动襟翼功能导致襟翼意外缩回 • 全面监控 – 检测关键事件
基于模型的安全分析 - informatik.hu-berlin.de
• 自动襟翼功能 – 根据负载自动调整襟翼位置 • 关键事件 – 不对称襟翼位置 – 动力失控 – 由于自动襟翼功能导致襟翼意外缩回 • 全面监控 – 检测关键事件
安全分析 SFR 1 - 长期安全性
2 方法 23 2.1 简介 23 2.2 方法中的步骤 24 2.2.1 FEP 处理 24 2.2.2 初始状态描述 25 2.2.3 安全功能 25 2.2.4 参考演变描述 26 2.2.5 场景选择和描述 26 2.2.6 计算案例选择和描述 27 2.2.7 放射性核素输送和剂量计算 27 2.2.8 根据风险标准进行评估 27 2.2.9 安全评估概要 28 2.3 时间段 28 2.3.1 瑞典监管机构的要求和建议 28 2.3.2 安全评估中的时间段 29 2.4 安全原则 29 2.4.1 总体目标和要求 29 2.4.2 关闭后安全原则 30 2.5 不确定性管理 30 2.5.1 确定 FEP 和方案选择的完整性 30 2.5.2 初始状态的量化 31 2.5.3 概念不确定性 31 2.5.4 计算放射性核素传输的输入数据的不确定性 31 2.6 风险管理 32 2.6.1 对生物群落的剂量 33 2.7 文件记录和质量保证 33 2.7.1 数据选择 34
将系统安全分析过程标准集成到...
摘要。在设计飞机时，系统安全分析 (SSA) 是与初始适航认证相关的系统工程活动的重要组成部分。对于军用飞机，这不仅需要一个过程来确定系统是否足够安全，还需要确定安全性、成本和军事能力之间的可接受平衡。在本文中，主要针对民用飞机的 SSA 执行标准已分析其与军用飞机认证的相关性。此外，还分析了系统工程标准 ISO/IEC/IEEE 15288:2015 将 SSA 与军用飞机项目中的其他活动相结合的适用性。本文的目的是分析这些过程如何相互关联以及如何将它们集成以创建有效且高效的流程，以根据 EMAR 21 对军事设计组织的要求开发和认证飞机。
智能医疗系统的安全分析
摘要：医疗保健行业通过整合医学互联网（IOMT）来通过从不同设备的传输介质（大约对医疗保健人员设备到医疗保健员工设备）启用数据来实现数据进行改革，以通过基于云的服务器进行适当诊断的患者进行进一步分析，从而产生高效和准确的结果。但是，IOMT技术在安全风险和脆弱性方面伴随着一系列缺点，例如违反和暴露患者的敏感和机密数据。此外，网络流量数据容易受到由无线通信和数据更改引起的拦截攻击，这可能会导致不良结果。倡导方案提供了对IOMT网络强大的入侵检测系统（ID）的洞察力。它利用一个蜜罐将攻击者从关键系统中移开，从而减少了攻击表面。此外，IDS还采用了结合逻辑回归和k-neart邻居算法的集合方法。这种方法可以利用两种算法的优势，以提高攻击检测准确性和鲁棒性。这项工作分析了使用的两个与IOMT相关的数据集的影响，性能，准确性和精确结果，其中包含多种攻击类型，例如中间人（MITM），数据注入和分布式拒绝服务（DDOS）。产生的结果表明，所提出的合奏方法有效地检测入侵尝试并将其分类为攻击或正常网络流量，第一个数据集的高精度为92.5％，第二个数据集的精度为99.54％，第二个数据集的精确度为96.74％，对于第二个数据集和99.228％的数据集和99.228％。
卫星软件安全分析实验
摘要 — 卫星是现代社会不可或缺的一部分，它通过现代电信、全球定位和地球观测等方式对我们的生活方式做出了重大贡献。近年来，尤其是在新太空时代到来之后，卫星部署的数量呈爆炸式增长。尽管卫星安全至关重要，但学术界对卫星安全性，尤其是机载固件安全性的研究却很少。这种缺乏可能源于现在已经过时的通过模糊性实现安全性的假设，从而有效地阻碍了对卫星固件进行有意义的研究。在本文中，我们首先提供针对卫星固件的威胁分类。然后，我们对三个现实世界的卫星固件映像进行了实验性安全分析。我们的分析基于一组现实世界的攻击者模型，并在所有分析的固件映像中发现了几个安全关键漏洞。我们的实验性安全评估结果表明，现代在轨卫星存在不同的软件安全漏洞，而且往往缺乏适当的访问保护机制。它们还强调了克服流行但过时的假设的必要性。为了证实我们的观察，我们还对 19 名专业卫星开发商进行了调查，以全面了解卫星安全状况。
互联网卫星的网络安全分析
事实证明，目前用于确保卫星系统网络安全的方法存在缺陷或过时。此外，目前的趋势表明，卫星在不久的将来将连接到互联网，这一事实将进一步加剧人们对太空系统的安全担忧。在这项研究中，我们通过确定未来卫星系统的主要特征设计了一个具体模型，并借助该模型，我们发现了后续太空航空电子设备中的主要网络安全威胁。我们与 RUAG Space 公司合作，通过分析当前的标准、协议和技术创建了联网卫星模型。然后，通过将我们的模型与当前卫星以及最近面临类似挑战的汽车行业进行比较，我们从网络安全的角度突出了几个主要关注领域。我们相信，所获得的结果将成为以前未被充分探索的卫星网络安全领域标准化的良好起点。
工作能力和安全分析 AF IMT 1754 ...
Error 500 (Server Error)!!1500.That’s an error.There was an error. Please try again later.That’s all we know.
早期概念开发和... 中的安全分析
摘要。本文展示了如何使用一种新的危害分析技术 STPA（系统理论过程分析）在概念开发阶段的早期生成高级安全要求，然后帮助设计系统架构。在做出决策时，可以使用 STPA 来细化这些一般的系统级要求。该过程与设计和生命周期的其余部分密切相关，因为 STPA 可用于提供信息以协助整个开发甚至运营阶段的决策。STPA 也适用于基于模型的工程过程，因为它在系统模型上工作（在做出设计决策时也会进行细化），尽管该模型与当今通常为基于模型的系统工程提出的架构模型不同。该过程促进了整个开发过程的可追溯性，因此可以更改决策和设计，而对重新进行以前的分析的要求最低。最后，虽然本文描述了与安全性相关的方法，但它可以应用于任何新兴系统属性。
卫星的实验软件安全分析 - CISPA
摘要 — 卫星是现代社会不可或缺的一部分，它通过现代电信、全球定位和地球观测等方式对我们的生活方式做出了重大贡献。近年来，尤其是在新太空时代到来之后，卫星部署的数量呈爆炸式增长。尽管卫星安全至关重要，但学术界对卫星安全性，尤其是机载固件安全性的研究却很少。这种缺乏可能源于现在已经过时的通过模糊性实现安全性的假设，从而有效地阻碍了对卫星固件进行有意义的研究。在本文中，我们首先提供针对卫星固件的威胁分类。然后，我们对三个现实世界的卫星固件映像进行了实验性安全分析。我们的分析基于一组现实世界的攻击者模型，并在所有分析的固件映像中发现了几个安全关键漏洞。我们的实验性安全评估结果表明，现代在轨卫星存在不同的软件安全漏洞，而且往往缺乏适当的访问保护机制。它们还强调了克服流行但过时的假设的必要性。为了证实我们的观察，我们还对 19 名专业卫星开发商进行了调查，以全面了解卫星安全状况。