具有主动感知与反应性传感器攻击的不完美信息博弈中的定性规划：无察觉的代价

我们考虑如下概率规划问题：智能体（称为玩家 1，或 P1）可在传感器网络中联合规划控制动作与传感器查询，而攻击者（称为玩家 2，或 P2）可对传感器实施攻击。我们使用一种形式化模型——具有部分可控观测函数的可达性博弈——对这种对抗性交互建模。本文的主要贡献是评估 P1 无察觉的代价：假设 P1 将传感器故障误解为不可靠网络通信导致的的概率性节点故障，而 P2 除自身部分可观测外还知晓 P1 的误解。那么，从哪些状态出发 P2 可实施传感器攻击，以概率一确保 P1 无法完成其可达性任务，尽管由于误解 P1 相信她几乎必然能达成任务。我们开发了给定 P1 基于观测的策略下求解几乎必然获胜传感器攻击策略的算法。我们的攻击分析可用于无线通信网络中的攻击检测，以及信息物理系统决策理论模型中可证明安全的感知攻击感知传感器分配设计。