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]
@article{BernardeschiNDP18,
title = {Verifying data secure flow in AUTOSAR models},
author = {Cinzia Bernardeschi and Marco Di Natale and Gianluca Dini and Maurizio Palmieri},
year = {2018},
doi = {10.1007/s11416-018-0317-y},
url = {https://doi.org/10.1007/s11416-018-0317-y},
researchr = {https://researchr.org/publication/BernardeschiNDP18},
cites = {0},
citedby = {0},
journal = {Journal in Computer Virology},
volume = {14},
number = {4},
pages = {269-289},
}