Verifying data secure flow in AUTOSAR models

Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Maurizio Palmieri. Verifying data secure flow in AUTOSAR models. Journal in Computer Virology, 14(4):269-289, 2018. [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

Maurizio Palmieri

This author has not been identified. Look up 'Maurizio Palmieri' in Google