Vorlesung Computerforensik. Kapitel 0: Formalia und Inhalt

Transkript

1 Harald Baier, Sebastian Gärtner Formalia u. Inhalt / SS /28 Vorlesung Computerforensik Kapitel 0: Formalia und Inhalt Harald Baier, Sebastian Gärtner Hochschule Darmstadt, CRISP SS 2018

2 Harald Baier, Sebastian Gärtner Formalia u. Inhalt / SS /28 Formalia Ziele und Inhalte Praktikum/Übung/Gastvorträge Literatur Hinweise

3 Harald Baier, Sebastian Gärtner Formalia u. Inhalt / SS /28 Formalia Formalia Ziele und Inhalte Praktikum/Übung/Gastvorträge Literatur Hinweise

4 Harald Baier, Sebastian Gärtner Formalia u. Inhalt / SS /28 Formalia Allgemeines zur Lehrveranstaltung 1. Wahlpflichtfach im Master Informatik: Studienkatalog AS. Anerkannt für Vertiefung IT-Sicherheit. 3 SWS Vorlesung + 1 SWS Praktikum = 6 ECTS. 2. Zeiten der Vorlesungen: Mittwoch, 14:15-15:45 Uhr (wöchentlich), Beginn Vierzehntägig montags 10:15-11:45 Uhr im x-raster, beginnend ab Zeiten der Praktika, Beginn : Montag, 10:15-11:45 Uhr (vierzehntägig, y-raster) Dienstag, 10:15-11:45 Uhr

5 Harald Baier, Sebastian Gärtner Formalia u. Inhalt / SS /28 Formalia x-y-raster

6 Harald Baier, Sebastian Gärtner Formalia u. Inhalt / SS /28 Formalia Webseite / Forensic Lab 1. Webseite: computerforensik-ss-2018/ Wesentliche Informationen zur Vorlesung via Hidden Service im Darknet: Sie müssen jeweilige Onion-Adresse durch Lösen einer Aufgabe (Token) herausfinden 2. Forensic Lab: Stationiert in Gebäude D19, Schöfferstraße, Raum Forensische Workstation mit Write-Blockern, Spezialsoftware Spezialliteratur Öffnungszeiten auf Anfrage. Ansprechpartner ist Sebastian Gärtner: sebastian.gaertner at h-da.de

7 Harald Baier, Sebastian Gärtner Formalia u. Inhalt / SS /28 Formalia Lehrkooperation mit TUD 1. 6 Plätze für TUD-Studierende 2. Plätze im Vorfeld nach Eintragung via Web verteilt 3. Rückfragen zu Ort-, Zeitraster der Vorlesung gerne nach dieser Vorlesung.

8 Harald Baier, Sebastian Gärtner Formalia u. Inhalt / SS /28 Ziele und Inhalte Formalia Ziele und Inhalte Praktikum/Übung/Gastvorträge Literatur Hinweise

9 Harald Baier, Sebastian Gärtner Formalia u. Inhalt / SS /28 Ziele der Vorlesung Ziele und Inhalte 1. Leitziel: Verständnis und Durchführung des IT-forensischen Prozesses. 2. Verständnis der grundlegenden forensischen Methoden. 3. Kenntnis der analysefähigen Strukturen, insbesondere auf Datenträger- und Dateisystemebene. 4. Anwendung dieses Wissens. 5. Sicherer Umgang mit gängigen Tools der digitalen Forensik (z.b. Sleuthkit, Autopsy, strings, dd, scalpel).

10 Harald Baier, Sebastian Gärtner Formalia u. Inhalt / SS /28 Inhalte der Vorlesung Ziele und Inhalte Vorgehensmodelle, Dokumentation, digitale Ermittlung und Gutachtenerstellung Datenträgeranalyse (DOS/GPT Partitionsschema, HPA, DCO) Fortgeschrittene Dateisystemanalyse (FAT, NTFS) inkl. Slack-Spaces Hashfunktionen in der digitalen Forensik

11 Harald Baier, Sebastian Gärtner Formalia u. Inhalt / SS /28 Praktikum/Übung/Gastvorträge Formalia Ziele und Inhalte Praktikum/Übung/Gastvorträge Literatur Hinweise

12 Harald Baier, Sebastian Gärtner Formalia u. Inhalt / SS /28 Praktikum/Übung/Gastvorträge Praktikum mit Gutachtenerstellung 1. Praktikumgruppen: je 14 HDA- und 2 TUD-Studierende. 2. Sie arbeiten in Teams zu zwei Personen. 3. Sie führen in den Praktika Untersuchungen auf unterschiedlichen Abstraktionsebenenen durch. 4. Praktikumblatt muss im zugehörigen Termin testiert werden. 5. Sie dokumentieren Ihre Vorgehensweise in jedem Praktikum. 6. Im letzten Praktikum (offene Aufgabe) dokumentieren Sie Ihre Ergebnisse in einem schriftlichen Bericht (ca. 8 Seiten) und verteidigen diesen. 7. Ansprechpartner für Praktikum: Sebastian Gärtner.

13 Harald Baier, Sebastian Gärtner Formalia u. Inhalt / SS /28 Praktikum Praktikum/Übung/Gastvorträge 1. Laptop-Prakikum: Sie arbeiten auf Ihrem Laptop. Sie verwenden eine einschlägige Forensik-Distribution (z.b. Kali-Linux). 2. Praktikumthemen: Praktikum 1: Tools, Hashwerte, Dateitypen. Praktikum 2: Datenträgeranalyse. Praktikum 3: FAT-Analyse. Praktikum 4: NTFS-Analyse Praktikum 5: Offene Aufgaben / Gutachten.

14 Harald Baier, Sebastian Gärtner Formalia u. Inhalt / SS /28 Übungen Praktikum/Übung/Gastvorträge 1. Es wird mehrere Übungsblätter geben. 2. Sie bereiten bitte die Lösungen zu den Übungsblättern vor. 3. In der Übung werden Ihre Ansätze in der Gesamtgruppe diskutiert. 4. Aktuell geplante Übungsthemen: Übung 1: Zahlendarstellungen, Endianness, dd, Dateiformate. Übung 2: Datenträgerforensik. Übung 3: NTFS.

15 Harald Baier, Sebastian Gärtner Formalia u. Inhalt / SS /28 Gastvorlesung Praktikum/Übung/Gastvorträge 1. Mittwoch, : Tim Leehealey, Abdeslam Afras (Access Data) 2. Zweite Gastvorlesung geplant.

16 Harald Baier, Sebastian Gärtner Formalia u. Inhalt / SS /28 Literatur Formalia Ziele und Inhalte Praktikum/Übung/Gastvorträge Literatur Hinweise

17 Harald Baier, Sebastian Gärtner Formalia u. Inhalt / SS /28 Literatur Leitfaden IT-Forensik des BSI 1. Wichtige, kostenfreie Referenz für diese Vorlesung. 2. Umfangreiche Darstellung des IT-forensischen Prozesses. 3. Praxisbeispiele.

18 Literatur Brian Carrier: File System Forensic Analysis Source: Source: 1. Wichtige Referenz für diese Vorlesung. 2. Sehr schöne Darstellung der Sicherung und Untersuchung von Daten / Dateisystemen. 3. Exzellente Details und Aufbereitung der Dateisystemanalyse für gängige Dateisysteme. 4. Carrier ist Autor des Sleuthkits. Harald Baier, Sebastian Gärtner Formalia u. Inhalt / SS /28

19 Harald Baier, Sebastian Gärtner Formalia u. Inhalt / SS /28 Literatur Alexander Geschonneck: Computerforensik Source: Source: 1. Aktuell: 6. Auflage (April 2014). 2. Das Standardwerk in deutscher Sprache. 3. Guter Überblick, eher Management-orientiert. 4. Viel weniger Details als bei Carrier.

20 Harald Baier, Sebastian Gärtner Formalia u. Inhalt / SS /28 Literatur Dan Farmer, Wietse Venema: Forensic Discovery Source: Source: 1. Nur in 1. Auflage (2005) herausgegeben. 2. Fokussiert Linux, BSD, Solaris als Betriebssysteme. 3. Farmer und Venema sind Autoren des Coroner s Toolkits (aufgegangen in Carriers Sleuthkit).

21 Literatur Eoghan Casey (Editor): Handbook of Digital Forensics Source: Source: 1. Vollständiger Titel: Handbook of Digital Forensics and Investigation. 2. DAS Handbuch für Computerforensik. 3. Casey konnte 15 weitere Autoren für das Handbuch gewinnen. 4. Detaillierte Beschreibung der Vorgehensmodelle und Technik. 5. Viele Practitioner s Tips. Harald Baier, Sebastian Gärtner Formalia u. Inhalt / SS /28

22 Harald Baier, Sebastian Gärtner Formalia u. Inhalt / SS /28 Literatur Keith Jones et.al.: Real Digital Forensics Curtis W. Rose Sources: Sehr Praxis-orientiert. 2. Stellen Images fiktiver Fälle zur Verfügung. 3. Spezielle Themen: -Analyse, Windows-Registry, Analyse unbekannter Executables.

23 Harald Baier, Sebastian Gärtner Formalia u. Inhalt / SS /28 Literatur Weitere Web-Quellen:

24 Harald Baier, Sebastian Gärtner Formalia u. Inhalt / SS /28 Literatur Weitere Web-Quellen: opensourceforensics.org

25 Harald Baier, Sebastian Gärtner Formalia u. Inhalt / SS /28 Hinweise Formalia Ziele und Inhalte Praktikum/Übung/Gastvorträge Literatur Hinweise

26 Harald Baier, Sebastian Gärtner Formalia u. Inhalt / SS /28 CAST-Förderpreis Hinweise 1. CAST = Competence Center for Applied Security Technology. 2. Förderpreis: Hoch-dotierter Sicherheitspreis (2015: EUR). Jährlich im November auf Nachwuchstag vergeben. HDA in jüngerer Vergangenheit erfolgreich. 3. Workshops: Monatlich zu zentralen, aktuellen Themen. Internetkriminalität und Computerforensik (Dezember). PKI (Januar), Biometrie (September), URL:

27 Harald Baier, Sebastian Gärtner Formalia u. Inhalt / SS /28 Hinweise Abschlussarbeiten, Hiwi-Tätigkeiten, Projektmitarbeit 1. Themenschwerpunkte der da/sec-arbeitsgruppe: Digitale Forensik. Botnetzdetektion in Hochverkehrsnetzen. Sicherheitsprotokolle für elektronische Reisedokumente. 2. In diesen Bereichen haben wir interessante Projekte: CRISP, OpenC 3 S, ForCeps, Auftragsforschung, Mitwirkung im Rahmen einer Masterarbeit.... einer Hiwi-Tätigkeit.... eines Master-Projektes Systementwicklung. 4. Und später vielleicht als Mitarbeiter und Doktorand.

28 Harald Baier, Sebastian Gärtner Formalia u. Inhalt / SS /28 Hinweise Fragen computerforensik-ss-2018/