Showing 1 - 1 results of 1 for search '(geneva OR (genera OR generate)) center for security policy', query time: 0.09s Refine Results
  1. 1

    Security for automotive electrical/electronic (E/E) architectures by Mundhenk, Philipp

    Published 2018
    “…By reducing the model size, the performance of the model checking can be improved by two to three orders of magnitude over state of the art model generation. After establishing the ability to analyze networks for security, the second approach is centered around securing in-vehicle network traffic efficiently. …”
    Get full text
    Get full text
    Thesis