攻击树度量是算子代数
密码学与安全
2024-01-19 v1 范畴论
摘要
攻击树（ATs）是一种广泛用于安全分析的工具。ATs 可通过度量用于定量安全分析，即为 AT 赋予安全值。存在多种不同的 AT 度量，也存在多种旨在同时研究各类 AT 度量的通用定义。然而，这些定义均存在缺陷：它们无法涵盖所有度量，且不易推广至 ATs 的扩展形式。在本文中，我们基于范畴论，特别是算子代数（operad algebras），引入了 AT 度量的定义。该定义涵盖了此前所有关于 AT 度量的定义，并易于推广至 ATs 的扩展形式。此外，我们证明了在易于表述的算子论条件下，现有的度量计算算法可以在相当大的通用性下得到扩展。
引用
@article{arxiv.2401.10008,
title = {Attack tree metrics are operad algebras},
author = {Milan Lopuhaä-Zwakenberg},
journal= {arXiv preprint arXiv:2401.10008},
year = {2024}
}