Modeling and generation of secure component communications in AUTOSAR

Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Dario Varano. Modeling and generation of secure component communications in AUTOSAR. In Ahmed Seffah, Birgit Penzenstadler, Carina Alves, Xin Peng, editors, Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017. pages 1473-1480, ACM, 2017. [doi]

Authors

Cinzia Bernardeschi

This author has not been identified. Look up 'Cinzia Bernardeschi' in Google

Marco Di Natale

This author has not been identified. Look up 'Marco Di Natale' in Google

Gianluca Dini

This author has not been identified. Look up 'Gianluca Dini' in Google

Dario Varano

This author has not been identified. Look up 'Dario Varano' in Google