A Formal Model to Facilitate Security Testing in Modern Automotive Systems.
Eduardo dos SantosAndrew SimpsonDominik SchoopPublished in: IMPEX/FM&MDD (2017)
Keyphrases
- formal model
- security patterns
- security properties
- security systems
- complex systems
- security issues
- human operators
- safety critical
- security measures
- biometric systems
- critical infrastructure
- expert systems
- public safety
- formal models
- knowledge based systems
- knowledge retrieval
- automotive industry
- distributed systems