Semantics of Attack-Defense Trees for Dynamic Countermeasures and a New Hierarchy of Star-Free Languages.

Thomas Brihaye, Sophie Pinchinat, Alexandre Terefenko

Browse the full LATIN paper archive.