Verifying Data Secure Flow in AUTOSAR Models by Static Analysis.

Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Maurizio Palmieri

Browse the full ICISSP paper archive.