3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.FL2023
Semantics of Attack-Defense Trees for Dynamic Countermeasures and a New Hierarchy of Star-free Languages
Thomas Brihaye, Sophie Pinchinat, Alexandre Terefenko
We present a mathematical setting for attack-defense trees, a classic graphical model to specify attacks and countermeasures. We equip attack-defense trees with (trace) language se…
cs.GT2022★ 3 cited
Adversarial Formal Semantics of Attack Trees and Related Problems
Thomas Brihaye, Sophie Pinchinat, Alexandre Terefenko
Security is a subject of increasing attention in our actual society in order to protect critical resources from information disclosure, theft or damage. The informal model of attac…