3 citations · 3 across the 2 of their papers we have counts for
1 paper · 1 filter
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…