Formal Methods and Validation Techniques for Ensuring Automotive Systems Security.
Moez KrichenPublished in: Inf. (2023)
Keyphrases
- formal methods
- safety critical
- formal analysis
- security properties
- knowledge based systems
- security systems
- reactive systems
- building blocks
- intrusion detection
- model checker
- database
- software engineering
- artificial intelligence
- security measures
- process algebra
- communication protocols
- security issues
- critical infrastructure
- biometric systems
- information security
- case study
- machine learning
- databases