@inproceedingsIS+2013, Author = {Stierand, Ingo and Malipatlolla, Sunil}, Title = {Exploiting Functional Models to Assess the Security Aspect in Embedded System Design}, Year = {2013}, Booktitle = {International Symposium on Security in Computing and Communications (SSCC 2013)}, type = {inproceedings}, note = {Conventionally, automotive embedded systems are assessed for evaluating various different aspects such as safety, functionality, and real-time. However, the inclusion of security aspect, which indeed is becoming increasingly important in modern day cars, }, Abstract = {Conventionally, automotive embedded systems are assessed for evaluating various different aspects such as safety, functionality, and real-time. However, the inclusion of security aspect, which indeed is becoming increasingly important in modern day cars, has a significant impact on the above aspects, especially on functionality and real-time. This impact would be clearly visible in the functional model of the embedded system because including security features modifies the data flow in the system. Thus, the goal of this contribution is to assess and evaluate the security aspect in such systems by exploiting their functional models. Such an assessment further results in establishing a possible relation between real-time formal analysis and the existing security theory. For this, a formal approach} @COMMENTBibtex file generated on