Language-based Security for VHDL, Fachbücher von Terkel K. Tolstrup

Das Buch "Language-based Security for VHDL" von Terkel K. Tolstrup bietet eine umfassende Untersuchung der Sicherheitsverifikation von Hardware-Systemen, insbesondere im Kontext von VHDL. In der heutigen Zeit, in der die Zuverlässigkeit von computerisierten Systemen von grösster Bedeutung ist, wird oft festgestellt, dass die Sicherheitsüberprüfung von Hardware entweder nicht vorhanden oder nur sporadisch durchgeführt wird. Dieses Werk präsentiert innovative Ansätze zur Anpassung und Anwendung von sprachbasierten Sicherheitstechniken auf Hardware-Spezifikationen. Es wird eine neuartige Richtliniesprache eingeführt, die es ermöglicht, zulässige Informationsflüsse durch ausdrucksstarke Einschränkungen auf den Ausführungsspuren von Programmen zu formulieren. Darüber hinaus wird eine Sicherheitsbedingung vorgestellt, die als verallgemeinerte intransitive Nicht-Interferenz-Bedingung bekannt ist. Die Verifizierung dieser Bedingung erfolgt durch eine statische Analyse des Informationsflusses, die auch die Anfälligkeit von eingebetteten Systemen für Seitenkanalangriffe berücksichtigt, insbesondere im Hinblick auf Timing-Kanäle, die die Sicherheitsüberprüfung kryptographischer Algorithmen erheblich beeinflussen können.