Preisvergleich / Wohnen / Büro / Language-based Security for VHDL, Fachbücher von Terkel K. Tolstrup
Thumbnail - Language-based Security for VHDL, Fachbücher von Terkel K. Tolstrup

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 Sicherheitsverifik... Mehr erfahren

Sammle bis zu 29 Punkte mit diesem Produkt

Finde die besten Angebote

Bester Preis29 Punkte
Logo - Galaxus

Galaxus

Versandkostenfrei

Lieferzeit: 2-4 Werktage

59,00 €

Versandkostenfrei | Lieferzeit: 2-4 Werktage

Mit dem Preiswecker immer das beste Angebot

Beobachte Preise und erhalte E-Mails, wenn sich etwas ändert.

Produktdetails

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.

Informationen

Lieferzeit:2-4 Werktage
Marke:VDM