Zitat
Soso, du hast also den VHDL-Quelltext deiner Netzwerkkarte, und kannst auch überprüfen, daß die Implementierung den Quellen entspricht? Das ist doch deine Voraussetzung: Daß das zugrundeliegende System nicht vertrauenswürdig sei.
Zitat
Oh doch, sehr viel. Vertrauen kann nämlich Sicherheit schaffen.
Und nochmal: Prüfbarkeit ist prinzipiell unmöglich, schon allein für hinreichend komplexere Softwaresysteme.
Und warum bist du so sehr darauf aus, daß du unbedingt prüfen möchtest, daß die aus bekanntem Quelltext erstellte Kompilate der Semantik des Quelltexts gehorchen? Das ist doch per Definition so.

Hilfe
Neues Thema
Antworten


Nach oben






