Login / Signup
Semantics of Attack-Defense Trees for Dynamic Countermeasures and a New Hierarchy of Star-Free Languages.
Thomas Brihaye
Sophie Pinchinat
Alexandre Terefenko
Published in:
LATIN (2) (2024)
Keyphrases
</>
countermeasures
information security
defense mechanisms
information warfare
power analysis
security measures
cyber attacks
intrusion detection
network security
decision trees
expressive power
formal semantics
java card
anomaly detection
smart card
knowledge management
wireless sensor networks
rural areas