Probabilistic modelling and attack simulations on AWS Connected Vehicle Solution : An Application of the Meta Attack Language

Sammanfattning: This work is focused on investigating if the Meta Attack Language (MAL) can be used to create an integrating layer between two different applications of the MAL, and thus being able to model a new domain. In this case vehicleLang and awsLang were choosen as candidate applications of the MAL. While the domain chosen was to model the AWS Connected Vehicle Solution Infrastructure. This domain therefore modelled a service that is quickly becoming popular among car manufacturers. The two languages were successfully compiled into one language using the MAL, and also able to model a leak within AWS that could potentially lead to greater exposure of the infrastructure as a whole. On the other hand some limitations in the MAL compiler has lead to suggestions of how to improve it for better support of integration of different MAL applications.