Timed automata as a formalism for expressing security: A survey on theory and practice.
Johan ArcileÉtienne AndréPublished in: CoRR (2022)
Keyphrases
- timed automata
- formal theory
- knowledge representation
- theoretical framework
- reachability analysis
- model checking
- theoretical insights
- information security
- intrusion detection
- general theory
- network security
- theorem prover
- statistical databases
- access control
- computational model
- security requirements
- key management
- first order logic
- logical framework
- cyber security
- theoretical frameworks
- low cost
- closed world assumption
- artificial intelligence