Semantics of Attack-Defense Trees for Dynamic Countermeasures and a New Hierarchy of Star-free Languages.
Thomas BrihayeSophie PinchinatAlexandre TerefenkoPublished in: CoRR (2023)
Keyphrases
- countermeasures
- defense mechanisms
- information security
- power analysis
- information warfare
- java card
- intrusion detection
- cyber attacks
- rural areas
- network security
- tree structure
- decision trees
- expressive power
- security measures
- differential power analysis
- databases
- financial institutions
- formal semantics
- information technology