Yoneda Hacking: The Algebra of Attacker Actions. (arXiv:2103.00044v2 [cs.CR] UPDATED)

Our work focuses on modeling the security of systems from their
component-level designs. Towards this goal, we develop a categorical formalism
to model attacker actions. Equipping the categorical formalism with algebras
produces two interesting results for security modeling. First, using the Yoneda
lemma, we can model attacker reconnaissance missions. In this context, the
Yoneda lemma shows us that if two system representations, one being complete
and the other being the attacker's incomplete view, agree at every possible
test, they behave …

algebra hacking