Nov, 2022

逐步语义的攻击关系推断

TL;DR本文研究了用加权论证框架实现逐步语义分析,并考虑了攻击推断问题。我们发现,在加权 h-categoriser 模型和 基于基数的模型中,判断攻击方案是否存在的决策问题是 NP 完全的,而在加权最大值模型中是多项式的。我们还研究了如何找到攻击方案,以及当初始权重或最终可接受度未知时的部分问题。