Abo
  • Services:

Hacker: Was ist eigentlich ein Exploit?

In Hollywoodfilmen haben Hacker mit Sturmmasken ein ganzes Arsenal von Zero-Day-Exploits, und auch sonst scheinen die kleinen Programme mehr und mehr als zentraler Begriff der IT-Sicherheit verstanden zu werden. Der Hacker Thomas Dullien hingegen versucht sich an einem theoretischen Modell eines Exploits.

Artikel von veröffentlicht am
Der Hacker Thomas Dullien nähert sich dem Thema Exploit auch theoretisch
Der Hacker Thomas Dullien nähert sich dem Thema Exploit auch theoretisch (Bild: Martin Wolf / Golem.de)

Exploit ist eines der am meisten verwendeten Wörter im Bereich IT-Security, es wird gerne garniert mit weiteren Ausschmückungen wie "Zero Day". Der Begriff ist aber auch einer derjenigen, die am häufigsten falsch verstanden oder zumindest irrtümlich eingesetzt werden. Der Hacker Thomas Dullien - in der Szene vor allem unter dem Pseudonym Halvar Flake bekannt - hat sich dem Thema auf einer theoretischen Ebene genähert. Dullien arbeitet für Googles Hackerteam Project Zero, das Schwachstellen in allen möglichen Programmen und wichtiger Infrastruktur finden soll. Er hat ein theoretisches Konzept entworfen, um besser zu verstehen, was einen funktionierenden Computer von einem durch Angriffe beeinflussten Gerät unterscheidet.

Inhalt:
  1. Hacker: Was ist eigentlich ein Exploit?
  2. Programmierung und Betrieb eines Rechners lassen sich nicht unterscheiden

Gängige Beschreibungen für Exploit sind laut Dullien Aussagen wie "Zugang", "Ein Programm, das mich etwas tun lässt, das ich eigentlich nicht darf" oder "Ich erkenne es, wenn ich sehe". Aber keine dieser Beschreibungen definiere einen Exploit korrekt, sagte er auf der Security-Konferenz Ruhrsec in Bochum. Doch auf Basis dieser falschen Definition würden reale Sicherheitsentscheidungen getroffen - was zu Problemen führen könne.

Für seine Herleitung bedient sich Dullien der theoretischen Informatik. Software sei immer als "endlicher Automat" anzusehen - im Englischen als Finite State Machine bezeichnet. Mit dem endlichen Automaten werden modellhafte Annahmen über Verhalten, Zustände und Aktionen eines komplexen Systems getroffen. Jedes Programm kann demnach in einem Modell abgebildet werden.

Ein komplexes System für eine einfache Anforderung

Anders als in vielen anderen Systemen startet ein solches Modell in der IT aber immer mit einem fast unendlich komplexen System - der CPU, die für viele verschiedene Zwecke eingesetzt werden kann. Software beschränke diesen Prozessor, der für allgemeine Zwecke konstruiert wird, dann nachträglich in seinem Funktionsumfang, um nur eine ganz bestimmte Aufgabe zu lösen, erläutert Dullien. Mit einem Exploit könne diese Beschränkung der Funktionen wieder aufgehoben werden.

Stellenmarkt
  1. AVU Netz GmbH, Gevelsberg
  2. MediaNet GmbH Netzwerk- und Applikations-Service, Freiburg

Software selbst bezeichnet Dullien als intendierten endlichen Automaten. Denn bei komplexen Programmen könne nicht einfach angenommen werden, dass alles so funktioniert wie vorgesehen. Software sei dabei also ein Idealtypus der vorgegebenen Ziele, die das Programm erreichen soll - also etwa eine Bildbearbeitung oder ein Texteditor. Jede Software wiederum habe eigene, definierte Sicherheitsparameter. Nur wer solche Sicherheitsparameter definiert, kann aber auch Annahmen über die Wahrscheinlichkeit und das Ausmaß von Angriffen aufstellen.

Die Software interagiert mit dem System selbst, also der CPU. Sie löst Befehle aus, die dann von der CPU verarbeitet werden. Normalerweise herrscht dabei in Dulliens Modell ein sogenannter "sane state" vor, es funktioniert also alles wie vorgesehen. Zwischen den verschiedenen Instruktionen könne es zudem auch "transitory states" geben, also Übergangszustände. Für einen Angreifer allerdings sei es interessant, die CPU in einen anderen Status zu bringen, der dann Manipulationen ermöglicht. Diesen nennt Dullien "weird state".

Ein solcher "weird state" könne von zahlreichen Faktoren hervorgerufen werden. Einerseits seien dies menschliche Fehler bei der Erstellung des Programmcodes, also klassische Bugs. Andererseits gebe es Hardwareangriffe wie Rowhammer, bei denen physikalische Eigenheiten des Rechners ausgenutzt werden, um Probleme gezielt hervorzurufen - in diesem Fall, um ein Bit im Arbeitsspeicher zu flippen. Andere mögliche Fehler seien falsch interpretierte Kommandos oder Probleme in dem Verständnis der Semantik einer CPU.

Programmierung und Betrieb eines Rechners lassen sich nicht unterscheiden 
  1. 1
  2. 2
  3.  


Anzeige
Blu-ray-Angebote
  1. (nur für Prime-Mitglieder)
  2. 4,25€

Tuxgamer12 24. Jun 2018 / Themenstart

Sorry, jetzt erst gesehen. Du beharrst also weiterhin auf deiner imperativen Sichtweise...

d/cYpher 21. Jun 2018 / Themenstart

Manchmal denk' ich echt, Golem ist für Schüler gemacht.

Truster 21. Jun 2018 / Themenstart

Da liegt dein Fehler Es heißt "IT-News für Profis" und nicht "IT-News für IT-Profis" Auch...

Baron Münchhausen. 16. Jun 2018 / Themenstart

Danke, Sie haben es verstanden :)

bombinho 15. Jun 2018 / Themenstart

Hier steht wirklich nichts.

Kommentieren


Folgen Sie uns
       


Octopath Traveler - Livestream

Im Livestream zu Octopath Traveler erklären wir den Alltag im JRPG von Square Enix und Nintendo und verfallen später in eine Diskussion über Motivationsphilosophien in Games und das Genre allgemein.

Octopath Traveler - Livestream Video aufrufen
Automatisiertes Fahren: Der schwierige Weg in den selbstfahrenden Stau
Automatisiertes Fahren
Der schwierige Weg in den selbstfahrenden Stau

Der Staupilot im neuen Audi A8 soll der erste Schritt auf dem Weg zum hochautomatisierten Fahren sein. Doch die Verhandlungen darüber, was solche Autos können müssen, sind sehr kompliziert. Und die Tests stellen Audi vor große Herausforderungen.
Ein Bericht von Friedhelm Greis

  1. Nach tödlichem Unfall Uber entlässt 100 Testfahrer für autonome Autos
  2. Autonomes Fahren Daimler und Bosch testen fahrerlose Flotte im Silicon Valley
  3. Kooperationen vereinbart Deutschland setzt beim Auto der Zukunft auf China

Krankenversicherung: Der Papierkrieg geht weiter
Krankenversicherung
Der Papierkrieg geht weiter

Die Krankenversicherung der Zukunft wird digital und direkt, aber eine tiefgreifende Disruption des Gesundheitswesens à la Amazon wird in Deutschland wohl ausbleiben. Die Beharrungskräfte sind zu groß.
Eine Analyse von Daniel Fallenstein

  1. Imagen Tech KI-System Osteodetect erkennt Knochenbrüche
  2. Medizintechnik Implantat wird per Ultraschall programmiert
  3. Telemedizin Neue Patienten für die Onlinepraxis

Raumfahrt: Boeing und SpaceX kämpfen mit dem Regulierungschaos der Nasa
Raumfahrt
Boeing und SpaceX kämpfen mit dem Regulierungschaos der Nasa

Die neuen Raumschiffe von Boeing und SpaceX verspäten sich und werden wohl erst 2020 mit Crew fliegen. Die Aufsichtsbehörde der US-Regierung sieht einen Teil der Schuld beim Chaos im Nasa-Management.
Von Frank Wunderlich-Pfeiffer

  1. Nasa-Teleskop Überambitioniert, überteuert und in dieser Form überflüssig
  2. Nasa Forscher entdecken Asteroiden, bevor er die Erde erreicht
  3. Nasa 2020 soll ein Helikopter zum Mars fliegen

    •  /