Details

Autor(en) / Beteiligte

• Dewald, Andreas

Titel

Formalisierung Digitaler Spuren Und Ihre Einbettung in Die Forensische Informatik

Ort / Verlag

ProQuest Dissertations & Theses

Erscheinungsjahr

2012

Quelle

ProQuest Dissertations & Theses A&I

Beschreibungen/Notizen

• Die forensische Informatik, die h¨aufig auch als digitale Forensik oder Computerforensik bezeichnet wird, z¨ahlt heute zum Standardrepertoire forensischer Ermittlungsinstrumente und wird durch die regelm¨aßige Pr¨asenz in den Medien auch in der Offentlichkeit immer st ¨ ¨arker wahrgenommen. Allerdings sind heutige Vorgehensweisen und Methoden der digitalen Forensik eher pragmatisch gepr¨agt und ein Vergleich zu anderen forensischen Wissenschaften zeigt deutliche Defizite, welche sich in zwei Bereiche zusammenfassen lassen:1. Eine mangelnde Orientierung an anderen forensischen Wissenschaften2. Einen Mangel an grundlegender TheorieDie vorliegende Arbeit versucht beide Problembereiche zu adressieren und damit zur wissenschaftlichen Fundierung des Gebietes der forensischen InformatikbeizutragenHierzu betrachtet diese Arbeit die Ursprunge und Grundlagen forensischer Wis- ¨senschaften und zieht Parallelen zur digitalen Forensik. Es wird der Bezug deretablierten Praxis der digitalen Forensik zur Theorie der klassischen Forensikuntersucht. Insbesondere ubertr ¨ ¨agt diese Arbeit eines der grundlegenden Prinzipien der Forensik — die Theorie vom Ursprung der Spuren von Inman undRudin (2000) — von der physischen auf die digitale Welt. Dieser Theorie zufolge,bildet die Assoziation den Kern einer jeden forensischen Untersuchung. Daherfuhrt diese Arbeit den Begriff der forensischen Informatik als denjenigen wissen- ¨schaftlichen Kernbereich der digitalen Forensik ein, deren Fokus auf der reinenFeststellung von Assoziationen durch Anwendung wissenschaftlicher Methodender Informatik liegtUm der Forderung nach theoretischer Fundierung nachzukommen, formalisiertdiese Arbeit den Begriff der Spuren auf Basis eines abstrakten Modells. DieseFormalisierung gibt erstmals die M¨oglichkeit, genaue (formale) Aussagen daruber ¨zu treffen, was digitale Spuren sind und wie sie entstehen. Außerdem wird formal untersucht, welcher Gestalt die in der forensischen Informatik gel¨osten Rekonstruktionsprobleme sind und welche Einflussfaktoren auf die L¨osbarkeit vondieser Probleme — und damit der Feststellung von Assoziationen in der digitalen Welt — existieren. Diese Ergebnisse werden anhand praktischer Beispielenachvollzogen und erl¨autert.