Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Maurizio Palmieri. Verifying Data Secure Flow in AUTOSAR Models by Static Analysis. In Paolo Mori, Steven Furnell, Olivier Camp, editors, Proceedings of the 3rd International Conference on Information Systems Security and Privacy, ICISSP 2017, Porto, Portugal, February 19-21, 2017. pages 704-713, SciTePress, 2017. [doi]
Abstract is missing.