A formal framework for security testing of automotive over-the-air update systems.
Rhys KirkHoang Nga NguyenJeremy W. BryansSiraj Ahmed ShaikhCharles WartnabyPublished in: J. Log. Algebraic Methods Program. (2023)
Keyphrases
- trust management
- main contribution
- management system
- security systems
- intrusion detection
- theoretical framework
- formal methods
- formal model
- complex systems
- safety critical
- public safety
- security issues
- embedded systems
- information security
- data mining
- computer systems
- intelligent systems
- probabilistic model
- multi agent systems