Using a Cyber Digital Twin for Continuous Automotive Security Requirements Verification.
Ana Cristina Franco da SilvaStefan WagnerEddie LazebnikEyal TraitelPublished in: CoRR (2021)
Keyphrases
- security requirements
- security analysis
- security properties
- smart card
- information security
- access control
- security policies
- security concerns
- reference models
- security problems
- security mechanisms
- high security
- mobile commerce
- software architecture
- model checking
- security model
- formal verification
- formal methods
- security patterns
- security protocols
- secure electronic
- timing constraints
- database systems
- digital content
- covert channel
- association rules