MulVAL：基于逻辑推理的攻击图生成及风险评估工具

感知和理解网络攻击是一项困难的任务，需要借助有效的技术手段来加以辅助

翻译自 Introduction to Datalog

论文阅读：《Revisiting Automotive Attack Surfaces: a Practitioners’ Perspective》

Petri 网的基础知识和建模工具介绍