Security analysis of automotive architectures using probabilistic model checking

Computer Science

• Security Analysis 100%
• Electronic Control Unit 100%
• Model Checking 100%
• Automotive Domain 50%
• Security Challenge 50%
• continuous-time 50%
• markov chain model 50%
• Case Study 50%
• Decision Maker 50%

Keyphrases

• Probabilistic Model Checking 100%
• Architecture-variants 100%
• Automotive Architecture 100%
• Exploitability 50%
• Automotive Electronic Control Units 50%
• Car Security 50%
• Electronic Control Unit 50%
• Continuous-time Markov Chain Models 50%