Confidentiality Preserving Security Properties for Cyber-Physical Systems.
Thoshitha T. GamageThomas P. RothBruce M. McMillinPublished in: COMPSAC (2011)
Keyphrases
- security properties
- cyber physical systems
- cyber physical
- formal model
- security requirements
- security analysis
- security protocols
- physical world
- cyber security
- formal methods
- cryptographic protocols
- embedded systems
- real time
- software architecture
- model checking
- critical infrastructure
- distributed systems
- e government
- databases