基于ASTD规范开发用于异常检测的监控系统
形式语言与自动机理论
2022-07-25 v1
摘要
基于异常的入侵检测系统是对抗网络安全威胁的重要防御手段，因为它们能够识别当前活动中的异常。然而，这些系统难以通过编程语言提供实体处理的独立性。此外，由于调度训练和检测过程（需要保持异常检测系统持续更新）的复杂性，检测过程会发生退化。本文展示了如何使用代数状态转移图（ASTD）语言开发灵活的异常检测系统。本文提供了一种使用无监督非参数技术核密度估计来估计事件发生概率密度以检测点异常的模型。所提模型持续兼顾训练阶段和检测阶段。ASTD语言凭借其进程代数算子简化了检测系统的建模，为克服这些挑战提供了解决方案。通过将基于异常的多个检测过程的组合委托给ASTD语言，检测模型开发过程中的工作量和复杂性得以降低。最后，通过定性评估，本研究证明了ASTD规范语言中的代数算子能够克服这些挑战。
引用
@article{arxiv.2207.11134,
title = {Development of monitoring systems for anomaly detection using ASTD specifications},
author = {El Jabri Chaymae and Frappier Marc and Ecarot Thibaud and Tardif Pierre-Martin},
journal= {arXiv preprint arXiv:2207.11134},
year = {2022}
}