The Security Analysis for Automotive Networks (SAAN) allows automated security analysis for automotive networks. This analysis is based on probabilistic model-checking.
This project uses Apache Commons, OpenDSE and Google Guice. All requirements should be resolved automatically by Gradle.
##Support This work has been created in TUM CREATE and was financially supported by the Singapore National Research Foundation under its Campus for Research Excellence and Technological Enterprise (CREATE) program.