Know-how-Schutz für vertrauenswürdige Elektronik
Arbeitsgruppe für Rechnerarchitektur (AGRA) der Universität Bremen unter Leitung von Professor Rolf Drechsler erfüllt im Projektverbund zentrale Aufgaben zum Test und Verifikation der neuartigen Sicherungs [...] langer internationaler Wertschöpfungsketten ist das eine stetige Herausforderung“, erläutert Rolf Drechsler. Elektronikkomponenten müssen deshalb gegen den Know-how-Diebstahl effektiv geschützt werden, ohne [...] berücksichtigen, sodass nach erfolgreicher Prüfung die jeweilige Komponente sicher funktioniert“, sagt Drechsler. Dafür benötige man Methoden, die formale Techniken einsetzen, bei denen eine effektive Modellierung