all InfoSec news
Yoneda Hacking: The Algebra of Attacker Actions. (arXiv:2103.00044v2 [cs.CR] UPDATED)
April 13, 2022, 1:20 a.m. | Georgios Bakirtzis, Fabrizio Genovese, Cody H. Fleming
cs.CR updates on arXiv.org arxiv.org
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 …
More from arxiv.org / cs.CR updates on arXiv.org
Jobs in InfoSec / Cybersecurity
Cybersecurity Skills Challenge -- Sponsored by DoD
@ Correlation One | United States
Security Operations Center (SOC) Analyst
@ GK Cybersecurity Group | Remote
Azure Security Architect
@ First Quality | Remote US - Eastern or Central Timezone
Threat Intelligence Analyst
@ Atos | Remote Home, HOME (England & Wales), GB, Remote Hom
Alternance (F/H) Hardening, migration cloud et containerisation d'un application windows
@ Alstom | Villeurbanne, FR
Security Specialist / Analist (CIT)
@ Lely | Maassluis, Netherlands