Der Staatstrojaner und das Halteproblem
Die Informatik ist eine Wissenschaft, die wie die Naturwissenschaften auf mathematischen Grundlagen beruht. Der Gödelsche Unvollständigkeitssatz führte in den 30iger Jahren zu einer Krise in der Mathematik da er das Hilbertprogramm zum Beweis der Widerspruchsfreiheit der Mathematik zum Scheitern brachte. Darauf aufbauend bewies Alan Turing 1936 dass die vollständige Verifikation einer Programmlogik nicht möglich ist. Dieser Beweis wurde bekannt als Turings Halteproblem. Aus all dem entstand in den 60iger Jahren, also bereits in der Steinzeit der Computertechnik, die Erkenntnis:
Die Behauptung ein Programm sei fehlerfrei, kann niemals bewiesen werden - nur widerlegt.Diese mathematisch bewiesene Erkenntnis kann man auf unseren Fall umformen:Die Behauptung ein Staatstrojaner sei verfassungskonform, kann niemals bewiesen werden - nur widerlegt.Und, liebe Juristen im Bundestag, diese Erkenntniss beruht nicht auf juristischen sondern auf mathematischen Beweisen. Und sind somit unumstösslich! Es macht also keinen Sinn einen Konsens zusammen zu rühren, dessen zentraler Bestandteil die Einsicht in den Quellcode ist. Weder manuell noch automatisiert kann man diesen Quellcode wirklich vollständig prüfen.Wenn die Behörden einen Trojaner bei der freien Wirtschaft in Auftrag geben, wird die Prüfung noch schwieriger. In diesem Fall muss man den Programmierern natürlich auch Arglist unterstellen. Gar nicht mal um eine Hintertür einzubauen, sondern einfach um zu verschleiern, das aus ökonomischen Gründen auch die vom Bundesverfassungsgericht verbotenen Funktionen im Trojaner vorhanden sind. Denn es ist natürlich billiger ein Programm zu schreiben, das alle Anforderungen von QuellenTKÜ und Onlinedurchsuchung zusammen erfüllt, als jedesmal neu programmieren (und testen!) zu müssen. Alle bekommen das gleiche Programm, nur die Dokumentation wird dem jeweiligen Auftraggeber angepasst: Seht her, nur diese Kommandos versteht euer Trojaner. Und schon ist für die Behörden alles gut. Und wer stellt denn sicher, das der gekaufte Trojaner auch mit dem in Augenschein genommenen Quellcode kompiliert ist.Also liebe Politiker: Der Einblick in den Quellcode des Trojaners macht es zwar einfacher, bringt aber auch keine wirkliche Sicherheit über seine Verfassungskonformität. Also lasst es bitte ganz!
