Digitale frühzeitige Sicherheitsvalidierung

Dieses Kapitel diskutiert neuartige Sicherheitsvalidierungsansätze zur Gewährleistung hochwertiger sicherer virtueller Prototypen (VPs) unter Verwendung statischer und dynamischer Informationsflussanalysen. Die zunehmende Funktionalität und Vernetzung von eingebetteten Geräten wie im Internet der Dinge (IoT) haben ihre Anforderungen an die Sicherheit erheblich erhöht. Dies ist auf die zunehmende Menge an sensiblen Informationen zurückzuführen, die in diesen Geräten gespeichert werden, sowie auf die sicherheitskritischen Funktionen, die sie ausführen. Daher ist es für die eingebettete Industrie sehr kritisch, schnell von der Betrachtung der Sicherheit als nachträglichen Gedanken zur Integration in den System-on-Chip (SOC)-Designprozess zu wechseln. Daher würde die auf virtuellen Prototypen (VP) basierende Sicherheitsvalidierung ermöglichen, viele SOC-Hardware-Sicherheitsprobleme sehr früh zu erkennen und zu korrigieren. In diesem Zusammenhang führt dieses Kapitel mehrere Komponenten ein, um die SOC-Sicherheit zu gewährleisten. Die Sicherheitsvalidierungsumgebung verwendet Sicherheitseigenschaften, VP-Ausführungsprotokolle und eine Kombination aus neuartigen statischen und dynamischen Sicherheitsanalysen, um den VP gründlich abzusichern. Als Ergebnis werden eine Vielzahl von Sicherheitslücken abgedeckt.