Formal Analysis of Security Properties of Cyber-Physical System Based on Timed Automata.
Ting WangQi SuTieming ChenPublished in: DSC (2017)
Keyphrases
- formal analysis
- timed automata
- security properties
- cyber physical systems
- formal methods
- model checking
- formal specification
- cyber security
- physical world
- embedded systems
- security analysis
- security requirements
- formal model
- knowledge based systems
- theorem prover
- critical infrastructure
- theorem proving
- first order logic
- agent model
- smart grid
- information sharing