马尔可夫决策过程中基于模型的事件处理器的渐近安全性
Asymptotic Security by Model-based Incident Handlers for Markov Decision Processes
摘要：
本研究探讨一般模型为基础的事件处理器的渐近行为在时间上对网络攻击的控制系统。攻击者和防御者的动态决策被建模为一个动态信号博弈的均衡。它表明，防御者的信念存在的攻击者收敛于任何攻击者的策略，只要随机动态的控制系统是已知的防御者随着时间的推移。这一事实意味着，只要防御者拥有有效的对抗，攻击者的理性行为就会收敛为无害的行动。所得到的结果支持了基于模型的防御机制所实现的强大的保护能力。
英文摘要：
This study investigates general model-based incident handler's asymptotic behaviors in time against cyber attacks to control systems. The attacker's and the defender's dynamic decision making is modeled as an equilibrium of a dynamic signaling game. It is shown that the defender's belief on existence of an attacker converges over time for any attacker's strategy provided that the stochastic dynamics of the control system is known to the defender. This fact implies that the rational behavior of the attacker converges to a harmless action as long as the defender possesses an effective counteraction. The obtained result supports the powerful protection capability achieved by model-based defense mechanisms.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
