追溯式参数化监控
摘要：在线监控中，我们首先从形式规范中合成一个监控器，该监控器随后与正在研究的系统并行运行，逐步接收系统的进展，并与系统一起发展。在离线监控中，跟踪在系统进展过程中被记录下来，以便在系统执行完成后进行事后分析。 在本文中，我们提出了一种名为回溯动态参数化的技术，该技术允许监控器在执行过程中回顾过去的日志，同时以在线方式运行。这一特性允许将新的监控器整合到运行中的系统中，并基于新发现的信息回顾过去的特定行为。回溯参数化还允许监控器延迟忽略事件并在之后回顾和处理这些事件，当它发现应该跟随这些事件时。我们展示了使用回溯动态参数化来监控网络上的拒绝服务攻击，利用网络日志。
作者：Paloma Pedregal, Felipe Gorostiaga and Cesar Sanchez
论文ID：2307.06763
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-07-14