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]
@inproceedings{BernardeschiNDP17,
title = {Verifying Data Secure Flow in AUTOSAR Models by Static Analysis},
author = {Cinzia Bernardeschi and Marco Di Natale and Gianluca Dini and Maurizio Palmieri},
year = {2017},
doi = {10.5220/0006288707040713},
url = {https://doi.org/10.5220/0006288707040713},
researchr = {https://researchr.org/publication/BernardeschiNDP17},
cites = {0},
citedby = {0},
pages = {704-713},
booktitle = {Proceedings of the 3rd International Conference on Information Systems Security and Privacy, ICISSP 2017, Porto, Portugal, February 19-21, 2017},
editor = {Paolo Mori and Steven Furnell and Olivier Camp},
publisher = {SciTePress},
isbn = {978-989-758-209-7},
}