Using a Cyber Digital Twin for Continuous Automotive Security Requirements Verification.
Ana Cristina Franco da SilvaStefan WagnerEddie LazebnikEyal TraitelPublished in: IEEE Softw. (2023)
Keyphrases
- security requirements
- security analysis
- smart card
- security model
- information security
- security properties
- security mechanisms
- access control
- security problems
- security policies
- security concerns
- software architecture
- high security
- reference models
- mobile commerce
- security patterns
- model checking
- development lifecycle
- secure electronic
- formal methods
- intrusion detection
- real time
- covert channel