Automatic Generation of Security Requirements for Cyber-Physical Systems.
Jinghua YuStefan WagnerFeng LuoPublished in: SmartCity360° (2020)
Keyphrases
- security requirements
- cyber physical systems
- cyber physical
- information security
- smart card
- security analysis
- physical world
- cyber security
- access control
- critical infrastructure
- security policies
- security mechanisms
- security properties
- embedded systems
- software architecture
- intrusion detection
- smart grid
- low cost
- real time
- power system
- social networks
- artificial intelligence