Skip to main content
QUICK REVIEW

[论文解读] A Model-Based, Decision-Theoretic Perspective on Automated Cyber Response

Lashon B. Booker, Scott Musman|arXiv (Cornell University)|Feb 20, 2020
Information and Cyber Security被引用 6
一句话总结

本文提出了一种基于模型的、决策理论的框架,利用部分可观察马尔可夫决策过程(POMDP)实现自动化网络响应,使人工智能驱动的防御系统能够实时做出风险意识强且与偏好一致的决策。通过将系统仿真与任意时间在线规划器相结合,该方法使自主系统能够在快速移动的网络威胁下,以成本效益最优的方式做出响应,同时与人类操作员的偏好和任务目标保持一致。

ABSTRACT

Cyber-attacks can occur at machine speeds that are far too fast for human-in-the-loop (or sometimes on-the-loop) decision making to be a viable option. Although human inputs are still important, a defensive Artificial Intelligence (AI) system must have considerable autonomy in these circumstances. When the AI system is model-based, its behavior responses can be aligned with risk-aware cost/benefit tradeoffs that are defined by user-supplied preferences that capture the key aspects of how human operators understand the system, the adversary and the mission. This paper describes an approach to automated cyber response that is designed along these lines. We combine a simulation of the system to be defended with an anytime online planner to solve cyber defense problems characterized as partially observable Markov decision problems (POMDPs).

研究动机与目标

  • 解决在高速攻击场景下人工参与的网络防御所面临的局限性。
  • 实现与人类操作员偏好和任务目标一致的自主、人工智能驱动的网络响应系统。
  • 将网络防御建模为部分可观察马尔可夫决策过程(POMDP),以在不确定性下实现最优决策。
  • 开发一种框架,通过仿真与在线规划支持实时、风险意识强的响应决策。
  • 确保自动化响应具有透明性、可解释性,并基于用户定义的成本/收益权衡。

提出的方法

  • 系统将目标环境建模为POMDP,捕捉系统状态和对手行为中的不确定性。
  • 利用受防护的系统仿真来建模POMDP的状态转移和观测模型。
  • 采用任意时间在线规划器实时计算策略,平衡计算成本与解的质量。
  • 用户提供的偏好通过奖励函数在POMDP中编码,以定义风险权衡和任务目标。
  • 该方法支持增量式决策,允许在接收到新观测后更新响应。
  • 该框架将基于模型的推理与决策理论优化相结合,以指导自主响应行为。

实验结果

研究问题

  • RQ1在不确定性和时间压力下,自动化网络防御系统如何做出最优决策?
  • RQ2如何使人工智能驱动的响应与人类操作员的偏好和任务目标保持一致?
  • RQ3仿真与在线规划在实现实时、基于模型的网络防御中扮演什么角色?
  • RQ4决策理论模型(如POMDP)如何在实际网络防御场景中应用?
  • RQ5任意时间规划在动态、高速的网络防御环境中的性能特征是什么?

主要发现

  • 该框架使自动化网络响应系统能够基于用户定义的偏好和任务目标,做出风险意识强的决策。
  • 将仿真与任意时间在线规划相结合,支持在不确定性下的实时决策。
  • 该方法在将复杂网络防御问题建模为具有可操作策略的POMDP方面展示了可行性。
  • 用户提供的偏好被有效编码为奖励函数,从而实现响应策略的定制化。
  • 任意时间规划器在解的质量与计算成本之间提供了可调的权衡,适用于时间受限环境。
  • 该系统支持透明、可解释的响应,其基础是形式化的决策理论,从而增强了信任度与可审计性。

更好的研究,从现在开始

从阅读论文到最终审阅,大幅缩短您的研究时间。

无需绑定信用卡

本解读由 AI 生成,并经人工编辑审核。