FADEC耦联双螺旋气涡发动机赛博-物理系统的可组合后量子安全
密码学与安全
2026-05-05 v1
摘要
我们发展了一种用于FADEC耦联双螺旋气涡发动机赛博-物理系统的后量子身份验证遥测与执行的统一数学公式。该公式整合了基于LWE/SIS假设的格基密钥建立、PUF派生的身份验证熵、身份验证加密、雷达-高度计完整性、航空总线时序以及卡尔曼残差监控于一个随机混合模型中。在该模型中，主机演化、通信延迟、泄漏、对手通道质量以及密码学状态都在同一个滤波过程中演化。我们展示了信道不确定性如何紧缩可接受的密钥更新周期，密文膨胀如何进入总线级别的可调度约束，感知和执行限制如何形成完整性阈值和可允许的控制延迟。我们进一步将PUF平滑最小熵与区分优势关联，并将创新统计量连接到保守的警报设计中。总体而言，结果刻画了后量子安全、实时可调度性和封闭环稳定性如何在安全关键航空控制架构中相互作用，这是一种不提供操作性指导的防御性分析处理，旨在干扰真实平台。
引用
@article{arxiv.2605.00961,
title = {Composable Post-Quantum Security for FADEC-Coupled Dual-Spool Turbofan Cyber-Physical Systems},
author = {Faruk Alpay and Taylan Alpay},
journal= {arXiv preprint arXiv:2605.00961},
year = {2026}
}