• IT-Karriere:
  • 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. Bruno Bader GmbH + Co.KG, Pforzheim
  2. über duerenhoff GmbH, Raum Hamburg

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.

Bitte aktivieren Sie Javascript.
Oder nutzen Sie das Golem-pur-Angebot
und lesen Golem.de
  • ohne Werbung
  • mit ausgeschaltetem Javascript
  • mit RSS-Volltext-Feed
Programmierung und Betrieb eines Rechners lassen sich nicht unterscheiden 
  1. 1
  2. 2
  3.  


Anzeige
Top-Angebote
  1. (u. a. LG OLED55CX9LA 120Hz für 1.359€, Samsung Galaxy A51 128GB für 245€)
  2. gratis
  3. (u. a. i-tec Adapterkabel USB-C > HDMI 4K/60Hz 1,5m für 12,99€, i-tec MySafe USB 3.0 Easy...

Tuxgamer12 24. Jun 2018

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

d/cYpher 21. Jun 2018

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

Truster 21. Jun 2018

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

Danke, Sie haben es verstanden :)

bombinho 15. Jun 2018

Hier steht wirklich nichts.


Folgen Sie uns
       


Outriders angespielt

Im Video stellt Golem.de das von People Can Fly entwickelte Actionspiel Outriders vor.

Outriders angespielt Video aufrufen
Programm für IT-Jobeinstieg: Hoffen auf den Klebeeffekt
Programm für IT-Jobeinstieg
Hoffen auf den Klebeeffekt

Aktuell ist der Jobeinstieg für junge Ingenieure und Informatiker schwer. Um ihnen zu helfen, hat das Land Baden-Württemberg eine interessante Idee: Es macht sich selbst zur Zeitarbeitsfirma.
Ein Bericht von Peter Ilg

  1. Arbeitszeit Das Sechs-Stunden-Experiment bei Sipgate
  2. Neuorientierung im IT-Job Endlich mal machen!
  3. IT-Unternehmen Die richtige Software für ein Projekt finden

Weclapp-CTO Ertan Özdil: Wir dürfen nicht in Schönheit und Perfektion untergehen!
Weclapp-CTO Ertan Özdil
"Wir dürfen nicht in Schönheit und Perfektion untergehen!"

Der CTO von Weclapp träumt von smarter Software, die menschliches Eingreifen in der nächsten ERP-Generation reduziert. Deutschen Perfektionismus hält Ertan Özdil aber für gefährlich.
Ein Interview von Maja Hoock


    Fiat 500 als E-Auto im Test: Kleinstwagen mit großem Potenzial
    Fiat 500 als E-Auto im Test
    Kleinstwagen mit großem Potenzial

    Fiat hat einen neuen 500er entwickelt. Der Kleine fährt elektrisch - und zwar richtig gut.
    Ein Test von Peter Ilg

    1. Vierradlenkung Elektrischer GMC Hummer SUV fährt im Krabbengang seitwärts
    2. MG Cyberster MG B Roadster mit Lasergürtel und Union Jack
    3. Elektroauto E-Auto-Prämie übersteigt in 2021 schon Vorjahressumme

      •  /