Modeling and generation of secure component communications in AUTOSAR.

Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Dario Varano

Browse the full SAC paper archive.