本文针对基于近似全同态加密（FHE）的多智能体控制系统中存在的安全与性能权衡问题，提出了一种新的博弈论分析框架。在加密控制场景下，云端使用CKKS方案对智能体的状态进行全同态加密计算，但由于控制环需要解密以执行控制动作，解密过程中会泄露加密噪声，构成密钥恢复攻击的途径。现有研究多假设静态安全或半诚实云端，且持续性威胁博弈未考虑密码系统内部细节。本文将该系统的安全性建模为一个两阶段博弈：被动侦察阶段和主动操纵阶段，中间由仅检测操纵行为的残差检测器分隔。在被动阶段，问题简化为已知的泛洪攻击权衡；主动防御策略采用重密钥（re-keying）而非自举（bootstrapping），因为只有重密钥能重置累积的泄露。主动阶段是一个检测-规避时间博弈：如果对手进行过度操纵会被检测到，因此理性对手会选择保持隐蔽。在Stackelberg均衡下，防御方采用最懒惰的重密钥节奏来阻止对手，该节奏由图拓扑的控制理论脆弱性决定。边际稳定图（marginally-stable graph）需要比重密连通图更频繁地重密钥。本文揭示了FHE精度、控制精度和重密钥节奏之间的三维张力，确定了博弈存在的可行区域（介于可防御下限和静态足够上限之间）。有效安全点位于该窗口内，其中重密钥是精度效率的代价。更广泛地，反馈环中近似密码系统的安全性是一个动态博弈，防御方的动作是密码方案自身的刷新，该结论可推广到任何必须重复解密以执行动作的系统。

本文针对动态加密控制系统中云服务器计算的完整性验证问题，提出了一种新颖的验证算法。传统加密控制虽能保护数据和参数隐私，但云服务器可能篡改计算结果，现有方法要么依赖强假设，要么计算开销大，且仅适用于静态计算。作者利用控制器的系统理论输入输出特性，通过在云端并行处理人工挑战信号，与请求的控制输入一起计算，从而在工厂侧检查结果的正确性。该方法几乎不增加额外计算负担，能以高概率检测错误计算，且能防御重放攻击。论文属于理论与方法贡献，适合从事加密控制、安全计算和自动化领域的学者与工程师阅读。

本文研究网络控制系统（NCS）中加密控制器对隐密攻击（covert attacks）的抵抗能力。加密控制通常利用同态加密（HE）将控制器外包给第三方平台（如云服务）以保护数据机密性。近期研究试图通过修改HE方案来同时抵御完整性攻击，但本文证明，公钥HE方案固有的可塑性问题使得仅靠HE无法解决完整性安全问题。因为加密控制所依赖的同态性既可被善用也可被滥用，攻击者即使不知道未加密模型，也能在加密控制实施的情况下成功发动隐密攻击。然而，通过互补技术仍能实现对此类攻击的弹性。文章提出一种基于可验证计算的方法，与现代同态密码系统集成，具有渐进安全性且不增加通信开销。该工作从系统理论角度揭示了加密控制的局限性，并给出了可行的解决方案。适合研究网络物理系统安全、加密计算和自动化控制理论的研究人员和工程师阅读。