LANGSEC (language-theoretic security) - Revision history

Schoepl: /* Weiterführende Literatur */ mehr info zu PoC||GTFO

2016-11-14T02:22:33Z

Weiterführende Literatur: mehr info zu PoC||GTFO

← Older revision		Revision as of 02:22, 14 November 2016
Line 169:		Line 169:
	* Halvar Flake. [https://drive.google.com/open?id=0B5hBKwgSgYFad1YybERxTmpURms Understanding the fundamentals of attacks: What is happening when someone writes an exploit?] (Slides, November 2016) - Eine detaillierte Einführung am Beispiel eines kleinen key-value-Stores, mit Fokus auf die Definition von Exploitbarkeit, über die ursprünglichen Ideen von LANGSEC hinausgehend.		* Halvar Flake. [https://drive.google.com/open?id=0B5hBKwgSgYFad1YybERxTmpURms Understanding the fundamentals of attacks: What is happening when someone writes an exploit?] (Slides, November 2016) - Eine detaillierte Einführung am Beispiel eines kleinen key-value-Stores, mit Fokus auf die Definition von Exploitbarkeit, über die ursprünglichen Ideen von LANGSEC hinausgehend.
	* [http://langsec.org/ langsec.org] - Sammlung von Essays, Papers und Talks		* [http://langsec.org/ langsec.org] - Sammlung von Essays, Papers und Talks
	* [https://www.alchemistowl.org/pocorgtfo/ alchemistowl.org/pocorgtfo/] - Alle Ausgaben von PoC\|\|GTFO		* [https://www.alchemistowl.org/pocorgtfo/ alchemistowl.org/pocorgtfo/] - Alle Ausgaben von PoC\|\|GTFO - Fast alle sind Polyglots, zusätzliche Informationen sind als ZIP-Archiv eingebettet. (Oft haben die PDFs aber noch mehr Interpretationen, sind z. B. bootbar, ein Dateisystem, als Android-Paket installierbar, oder sogar gleichzeitig PDF, ZIP, Audio, und Bild.)

Schoepl: /* resultierende Probleme */ clarification

2016-11-14T00:35:39Z

resultierende Probleme: clarification

← Older revision		Revision as of 00:35, 14 November 2016
Line 154:		Line 154:
	Wie gesehen können Dateien teilweise Interpretation unter mehr als einem existenten Dateiformat zulassen. So könnten potentiell gefährliche Daten durch ein System durchgeleitet werden, ohne dass dieses der Vorgang sicher verhindern oder auch nur bemerken kann. Es ist unmöglich, die Eindeutigkeit der Interpretation am Zielsystem zu garantieren. (Zum einen gibt es zu viele Programme und mögliche Dateiformate, zum anderen führen Bugs in der Eingabeverarbeitung dieser Programme oft dazu, dass auch invalide Daten akzeptiert oder valide Daten anders interpretiert werden.) Trotzdem versuchen viele Programme dies zu erreichen, oft durch Suche nach magic numbers von Dateiformaten. Da in hinreichend großen Datenmengen rein zufällig verschiedene Bytefolgen vorkommen werden, werden gelegentlich auch valide Daten abgelehnt.		Wie gesehen können Dateien teilweise Interpretation unter mehr als einem existenten Dateiformat zulassen. So könnten potentiell gefährliche Daten durch ein System durchgeleitet werden, ohne dass dieses der Vorgang sicher verhindern oder auch nur bemerken kann. Es ist unmöglich, die Eindeutigkeit der Interpretation am Zielsystem zu garantieren. (Zum einen gibt es zu viele Programme und mögliche Dateiformate, zum anderen führen Bugs in der Eingabeverarbeitung dieser Programme oft dazu, dass auch invalide Daten akzeptiert oder valide Daten anders interpretiert werden.) Trotzdem versuchen viele Programme dies zu erreichen, oft durch Suche nach magic numbers von Dateiformaten. Da in hinreichend großen Datenmengen rein zufällig verschiedene Bytefolgen vorkommen werden, werden gelegentlich auch valide Daten abgelehnt.

	Wir haben nun eine große Sammlung von validen PNGs nach magic numbers verschiedener Dateiformate durchsucht und viele Kollisionen bemerkt. Das unten zu betrachtene Bild einer Approximation der Mathematikerin Grete Hermann mit ~100 Dreiecken ist eines von etwa 10000 im Verlauf der Approximation entstandenen. Ungefähr ein Dutzend von diesen enthält im Bytestream zufällig die magic number von ZIP (<code>PK\05\06</code>) und kann dadurch in einem Mediawiki nicht hochgeladen werden. (Deswegen ist hier ein Screenshot zu sehen). Mediawiki glaubt, dass die Datei ein ZIP-Archiv sein ''könnte'', kann aber die (nicht vorhandenen) Daten nicht lesen, und verbietet deshalb "sicherheitshalber" den Upload. (Demgegenüber gestellt kann das Vortrags-PDF, welches gleichzeitig eine tatsächliche ZIP-Datei ist, welche neben JARs und anderen Dateien ebenjenes Bild enthält, ohne Probleme hochgeladen werden.)		Wir haben nun eine große Sammlung von validen PNGs nach magic numbers verschiedener Dateiformate durchsucht und viele Kollisionen bemerkt. Das unten zu betrachtene Bild einer Approximation der Mathematikerin Grete Hermann mit ~100 Dreiecken ist eines von etwa 10000 im Verlauf der Approximation entstandenen. Ungefähr ein Dutzend von diesen enthält im Bytestream zufällig die magic number von ZIP (<code>PK\05\06</code>) und kann dadurch in einem Mediawiki nicht hochgeladen werden. (Deswegen ist hier ein Screenshot zu sehen). Mediawiki glaubt, dass die Datei ein ZIP-Archiv sein ''könnte'', kann aber die (nicht vorhandenen) Daten nicht lesen, und verbietet deshalb "sicherheitshalber" den Upload. Demgegenüber gestellt kann das Vortrags-PDF, welches gleichzeitig eine tatsächliche ZIP-Datei ist, welche neben JARs und anderen Dateien ebenjenes Bild enthält, ohne Probleme hochgeladen werden (sofern nicht PDF-Upload generell verboten wurde).
	[[File:grete.png\|Hundertste Dreiecksiteration der Mathematikerin Grete Hermann\|thumb\|center\|500px]]		[[File:grete.png\|Hundertste Dreiecksiteration der Mathematikerin Grete Hermann\|thumb\|center\|500px]]
	[[File:Grete_Hermann_dump.png\|Im Byte-Dump der Datei ist die ZIP-Signatur\|thumb\|center\|500px]]		[[File:Grete_Hermann_dump.png\|Im Byte-Dump der Datei ist die ZIP-Signatur\|thumb\|center\|500px]]

Arthur: /* Vortragsfolien */

2016-11-13T11:13:44Z

Vortragsfolien

← Older revision		Revision as of 11:13, 13 November 2016
Line 160:		Line 160:
	==Vortragsfolien==		==Vortragsfolien==
	Die Vortragsfolien können mit einem PDF-Viewer betrachtet und ebenso mit unzip entpackt werden.		Die Vortragsfolien können mit einem PDF-Viewer betrachtet und ebenso mit unzip entpackt werden.
			[https://www.mathematik.hu-berlin.de/~bartelar/ Link zum Vortrag]

	==Literatur- und Quellenverzeichnis==		==Literatur- und Quellenverzeichnis==

Arthur: /* Vortragsfolien */

2016-11-13T10:25:42Z

Vortragsfolien

← Older revision		Revision as of 10:25, 13 November 2016
Line 159:		Line 159:

	==Vortragsfolien==		==Vortragsfolien==
			Die Vortragsfolien können mit einem PDF-Viewer betrachtet und ebenso mit unzip entpackt werden.

	==Literatur- und Quellenverzeichnis==		==Literatur- und Quellenverzeichnis==

Arthur: /* Literatur- und Quellenverzeichnis */

2016-11-13T10:24:00Z

Literatur- und Quellenverzeichnis

← Older revision		Revision as of 10:24, 13 November 2016
Line 157:		Line 157:
	[[File:grete.png\|Hundertste Dreiecksiteration der Mathematikerin Grete Hermann\|thumb\|center\|500px]]		[[File:grete.png\|Hundertste Dreiecksiteration der Mathematikerin Grete Hermann\|thumb\|center\|500px]]
	[[File:Grete_Hermann_dump.png\|Im Byte-Dump der Datei ist die ZIP-Signatur\|thumb\|center\|500px]]		[[File:Grete_Hermann_dump.png\|Im Byte-Dump der Datei ist die ZIP-Signatur\|thumb\|center\|500px]]

			==Vortragsfolien==

	==Literatur- und Quellenverzeichnis==		==Literatur- und Quellenverzeichnis==

Schoepl: /* resultierende Probleme */ grammatik

2016-11-12T22:18:56Z

resultierende Probleme: grammatik

← Older revision		Revision as of 22:18, 12 November 2016
Line 154:		Line 154:
	Wie gesehen können Dateien teilweise Interpretation unter mehr als einem existenten Dateiformat zulassen. So könnten potentiell gefährliche Daten durch ein System durchgeleitet werden, ohne dass dieses der Vorgang sicher verhindern oder auch nur bemerken kann. Es ist unmöglich, die Eindeutigkeit der Interpretation am Zielsystem zu garantieren. (Zum einen gibt es zu viele Programme und mögliche Dateiformate, zum anderen führen Bugs in der Eingabeverarbeitung dieser Programme oft dazu, dass auch invalide Daten akzeptiert oder valide Daten anders interpretiert werden.) Trotzdem versuchen viele Programme dies zu erreichen, oft durch Suche nach magic numbers von Dateiformaten. Da in hinreichend großen Datenmengen rein zufällig verschiedene Bytefolgen vorkommen werden, werden gelegentlich auch valide Daten abgelehnt.		Wie gesehen können Dateien teilweise Interpretation unter mehr als einem existenten Dateiformat zulassen. So könnten potentiell gefährliche Daten durch ein System durchgeleitet werden, ohne dass dieses der Vorgang sicher verhindern oder auch nur bemerken kann. Es ist unmöglich, die Eindeutigkeit der Interpretation am Zielsystem zu garantieren. (Zum einen gibt es zu viele Programme und mögliche Dateiformate, zum anderen führen Bugs in der Eingabeverarbeitung dieser Programme oft dazu, dass auch invalide Daten akzeptiert oder valide Daten anders interpretiert werden.) Trotzdem versuchen viele Programme dies zu erreichen, oft durch Suche nach magic numbers von Dateiformaten. Da in hinreichend großen Datenmengen rein zufällig verschiedene Bytefolgen vorkommen werden, werden gelegentlich auch valide Daten abgelehnt.

	Wir haben nun eine große Sammlung von validen PNGs nach magic numbers verschiedener Dateiformate durchsucht und viele Kollisionen bemerkt. Das unten zu betrachtene Bild einer Approximation der Mathematikerin Grete Hermann mit ~100 Dreiecken ist eines von etwa 10000 im Verlauf der Approximation entstandenen. Ungefähr ein Dutzend von diesen enthält im Bytestream zufällig die magic number von ZIP (<code>PK\05\06</code>) und ~~können~~ dadurch in einem Mediawiki nicht hochgeladen werden. (Deswegen ist hier ein Screenshot zu sehen). Mediawiki glaubt, dass die Datei ein ZIP-Archiv sein ''könnte'', kann aber die (nicht vorhandenen) Daten nicht lesen, und verbietet deshalb "sicherheitshalber" den Upload. (Demgegenüber gestellt kann das Vortrags-PDF, welches gleichzeitig eine tatsächliche ZIP-Datei ist, welche neben JARs und anderen Dateien ebenjenes Bild enthält, ohne Probleme hochgeladen werden.)		Wir haben nun eine große Sammlung von validen PNGs nach magic numbers verschiedener Dateiformate durchsucht und viele Kollisionen bemerkt. Das unten zu betrachtene Bild einer Approximation der Mathematikerin Grete Hermann mit ~100 Dreiecken ist eines von etwa 10000 im Verlauf der Approximation entstandenen. Ungefähr ein Dutzend von diesen enthält im Bytestream zufällig die magic number von ZIP (<code>PK\05\06</code>) und kann dadurch in einem Mediawiki nicht hochgeladen werden. (Deswegen ist hier ein Screenshot zu sehen). Mediawiki glaubt, dass die Datei ein ZIP-Archiv sein ''könnte'', kann aber die (nicht vorhandenen) Daten nicht lesen, und verbietet deshalb "sicherheitshalber" den Upload. (Demgegenüber gestellt kann das Vortrags-PDF, welches gleichzeitig eine tatsächliche ZIP-Datei ist, welche neben JARs und anderen Dateien ebenjenes Bild enthält, ohne Probleme hochgeladen werden.)
	[[File:grete.png\|Hundertste Dreiecksiteration der Mathematikerin Grete Hermann\|thumb\|center\|500px]]		[[File:grete.png\|Hundertste Dreiecksiteration der Mathematikerin Grete Hermann\|thumb\|center\|500px]]
	[[File:Grete_Hermann_dump.png\|Im Byte-Dump der Datei ist die ZIP-Signatur\|thumb\|center\|500px]]		[[File:Grete_Hermann_dump.png\|Im Byte-Dump der Datei ist die ZIP-Signatur\|thumb\|center\|500px]]

Schoepl: mehr Text

2016-11-12T09:49:14Z

mehr Text

Show changes

Arthur: /* Polyglots */

2016-10-22T15:08:29Z

Polyglots

← Older revision		Revision as of 15:08, 22 October 2016
Line 16:		Line 16:
	https://github.com/corkami/pics/blob/master/ZIP.png </ref>		https://github.com/corkami/pics/blob/master/ZIP.png </ref>

	[[File:ZIP.png\|Der Aufbau einer ZIP-Datei\|thumb\|~~left~~\|500px]]		[[File:ZIP.png\|Der Aufbau einer ZIP-Datei\|thumb\|center\|500px]]

	Die Eigenschaften der GIF- und ZIP-Dateien ermöglichen das Konkatenieren zweier solcher Dateien miteinander, ohne dass die Funktionalität der ursprünglichen Dateien beeinträchtigt wird.		Die Eigenschaften der GIF- und ZIP-Dateien ermöglichen das Konkatenieren zweier solcher Dateien miteinander, ohne dass die Funktionalität der ursprünglichen Dateien beeinträchtigt wird.
Line 27:		Line 27:
	Das rechts zu betrachtene Bild der Mathematikerin Grete Hermann kann in einem Mediawiki nicht hochgeladen werden. (Deswegen ist hier ein Screenshot zu sehen). Im Bytestream der Datei ist zufällig die magic number von ZIP.		Das rechts zu betrachtene Bild der Mathematikerin Grete Hermann kann in einem Mediawiki nicht hochgeladen werden. (Deswegen ist hier ein Screenshot zu sehen). Im Bytestream der Datei ist zufällig die magic number von ZIP.
	Mediawiki kann den Dateityp somit nicht eindeutig identifizieren und verbietet den Upload.		Mediawiki kann den Dateityp somit nicht eindeutig identifizieren und verbietet den Upload.
	[[File:grete.png\|Hundertste Dreiecksiteration der Mathematikerin Grete Hermann\|thumb\|~~left~~\|500px]]		[[File:grete.png\|Hundertste Dreiecksiteration der Mathematikerin Grete Hermann\|thumb\|center\|500px]]
	[[File:Grete_Hermann_dump.png\|Im Byte-Dump der Datei ist die ZIP-Signatur\|thumb\|~~left~~\|500px]]		[[File:Grete_Hermann_dump.png\|Im Byte-Dump der Datei ist die ZIP-Signatur\|thumb\|center\|500px]]

	==Literatur- und Quellenverzeichnis==		==Literatur- und Quellenverzeichnis==

Arthur: /* Minimalbeispiel eines Polyglots */

2016-10-22T15:08:01Z

Minimalbeispiel eines Polyglots

← Older revision		Revision as of 15:08, 22 October 2016
Line 11:		Line 11:
	Eine einfache Möglichkeit ein Polyglot zu erstellen wird im Folgenden erläutert. Eine GIF-Datei benötigt, um als solche erkannt zu werden, am Anfang der Datei die Signatur "GIF". Das Ende der GIF-Datei wird mit "3B" markiert. Alle weiteren Bytes werden einfach ignoriert. <ref name= "corkami gif"> https://github.com/corkami/pics/blob/master/GIF.png</ref>		Eine einfache Möglichkeit ein Polyglot zu erstellen wird im Folgenden erläutert. Eine GIF-Datei benötigt, um als solche erkannt zu werden, am Anfang der Datei die Signatur "GIF". Das Ende der GIF-Datei wird mit "3B" markiert. Alle weiteren Bytes werden einfach ignoriert. <ref name= "corkami gif"> https://github.com/corkami/pics/blob/master/GIF.png</ref>

	[[File:GIF.png\|Der Aufbau einer GIF-Datei\|thumb\|~~left~~\|500px]]		[[File:GIF.png\|Der Aufbau einer GIF-Datei\|thumb\|center\|500px]]

	Dies ermöglicht das Anhängen einer weiteren Datei, zum Beispiel eine ZIP-Datei. Eine ZIP-Datei benötigt lediglich an einer Stelle in der Nähe vom Dateiende den Marker "PK56", der Hinweis darauf, dass sie eine Datei diesen Typs ist. Nach diesem Marker gibt es einen Verweis auf eine Central Directory, in dem alle Verweise auf Datenblöcke der Datei gelistet sind. Es muss allerdings nicht jedes Byte der Datei gelesen werden. <ref name= "corkami zip">		Dies ermöglicht das Anhängen einer weiteren Datei, zum Beispiel eine ZIP-Datei. Eine ZIP-Datei benötigt lediglich an einer Stelle in der Nähe vom Dateiende den Marker "PK56", der Hinweis darauf, dass sie eine Datei diesen Typs ist. Nach diesem Marker gibt es einen Verweis auf eine Central Directory, in dem alle Verweise auf Datenblöcke der Datei gelistet sind. Es muss allerdings nicht jedes Byte der Datei gelesen werden. <ref name= "corkami zip">

Arthur: /* Polyglots */

2016-10-22T15:06:55Z

Polyglots

← Older revision		Revision as of 15:06, 22 October 2016
Line 16:		Line 16:
	https://github.com/corkami/pics/blob/master/ZIP.png </ref>		https://github.com/corkami/pics/blob/master/ZIP.png </ref>

	[[File:ZIP.png~~\|border\|700px~~\|Der Aufbau einer ZIP-Datei]]		[[File:ZIP.png\|Der Aufbau einer ZIP-Datei\|thumb\|left\|500px]]

	Die Eigenschaften der GIF- und ZIP-Dateien ermöglichen das Konkatenieren zweier solcher Dateien miteinander, ohne dass die Funktionalität der ursprünglichen Dateien beeinträchtigt wird.		Die Eigenschaften der GIF- und ZIP-Dateien ermöglichen das Konkatenieren zweier solcher Dateien miteinander, ohne dass die Funktionalität der ursprünglichen Dateien beeinträchtigt wird.
Line 27:		Line 27:
	Das rechts zu betrachtene Bild der Mathematikerin Grete Hermann kann in einem Mediawiki nicht hochgeladen werden. (Deswegen ist hier ein Screenshot zu sehen). Im Bytestream der Datei ist zufällig die magic number von ZIP.		Das rechts zu betrachtene Bild der Mathematikerin Grete Hermann kann in einem Mediawiki nicht hochgeladen werden. (Deswegen ist hier ein Screenshot zu sehen). Im Bytestream der Datei ist zufällig die magic number von ZIP.
	Mediawiki kann den Dateityp somit nicht eindeutig identifizieren und verbietet den Upload.		Mediawiki kann den Dateityp somit nicht eindeutig identifizieren und verbietet den Upload.
	[[File:grete.png~~\|border\|700px~~\|Hundertste Dreiecksiteration der Mathematikerin Grete Hermann]]		[[File:grete.png\|Hundertste Dreiecksiteration der Mathematikerin Grete Hermann\|thumb\|left\|500px]]
	[[File:Grete_Hermann_dump.png~~\|border~~\|Im Byte-Dump der Datei ist die ZIP-Signatur]]		[[File:Grete_Hermann_dump.png\|Im Byte-Dump der Datei ist die ZIP-Signatur\|thumb\|left\|500px]]

	==Literatur- und Quellenverzeichnis==		==Literatur- und Quellenverzeichnis==