Viren, Spyware, Datenschutz 11.241 Themen, 94.646 Beiträge

So ungewöhnlich ist das nicht, konnte man doch schon im normalen ... gelöscht_321652
Würde der Eisenbahnverkehr in Europa -- denke speziell an ICE und ... schuerhaken
Ich dachte immer, 100 ige Sicherheit ist nirgendwo möglich. ... mawe2
Nein! Weil sich die Abwesenheit von Fehlern nicht nachweisen ... fbe
Xdata fbe „Nein! Weil sich die Abwesenheit von Fehlern nicht nachweisen ...“
Optionen

Nun, es gibt so etwas wie Programmverifikation ..
nur ist dies wohl auf einen gewissen logischen Teil des Programms, des Codes oder Algortihmus begrenzt.

Semantische Fehler, aber auch tiefe Seiteneffekte die von potenziellen Angreifern genutzt werden, entgehen wohl auch den Programmverifikationen.

Einen mathematischen Beweis etwa -- Das Programm ist sicher -- wird es nicht geben.
Eher einen gegenteiligen.

Programmieren ist ja konstruktiv, bzw die Programme nicht axiomatisch erfassbar ..

Den Bergiff Programmverikation habe ich glaub ich aus einem Niklaus Wirth Buch.

bei Antwort benachrichtigen
So ist es! fbe fbe
Das Risiko liegt im Einschalten bei verbundenem Internet... gelöscht_189916
Das hängt davon ab was auf dem Rechner läuft. Eine ... fbe
Mal etwas Lustiges zu diesem Thema:http://blog.fefe.de/?ts ... gelöscht_189916