Timed Automata as a Formalism for Expressing Security: A Survey on Theory and Practice.
Johan ArcileÉtienne AndréPublished in: ACM Comput. Surv. (2023)
Keyphrases
- timed automata
- formal theory
- theoretical framework
- reachability analysis
- model checking
- information security
- real world
- knowledge representation
- security issues
- security requirements
- theoretical insights
- general theory
- computer security
- computational model
- access control
- key management
- logical framework
- security policies
- formal model
- formal logic
- theoretical frameworks
- information systems