Formalisierung digitaler Spuren und ihre Einbettung in die Forensische Informatik:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | German |
| Veröffentlicht: |
2012
|
| Schlagworte: | |
| Online-Zugang: | Volltext http://d-nb.info/1028977336/34 https://nbn-resolving.org/urn:nbn:de:bvb:29-opus-39439 Inhaltsverzeichnis |
| Beschreibung: | VIII, 236 S. Ill., graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV040686107 | ||
| 003 | DE-604 | ||
| 005 | 20150623 | ||
| 007 | t | ||
| 008 | 130121s2012 gw ad|| m||| 00||| ger d | ||
| 015 | |a 13,O01 |2 dnb | ||
| 016 | 7 | |a 1028977336 |2 DE-101 | |
| 035 | |a (OCoLC)826599439 | ||
| 035 | |a (DE-599)DNB1028977336 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-BY | ||
| 049 | |a DE-384 |a DE-473 |a DE-703 |a DE-1051 |a DE-824 |a DE-29 |a DE-12 |a DE-91 |a DE-19 |a DE-1049 |a DE-92 |a DE-739 |a DE-898 |a DE-355 |a DE-706 |a DE-20 |a DE-1102 |a DE-29T | ||
| 082 | 0 | |a 004 | |
| 082 | 0 | |a 610 | |
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Dewald, Andreas |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Formalisierung digitaler Spuren und ihre Einbettung in die Forensische Informatik |c von Andreas Dewald |
| 264 | 1 | |c 2012 | |
| 300 | |a VIII, 236 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a Erlangen-Nürnberg, Univ., Diss., 2012 | ||
| 650 | 0 | 7 | |a Computerforensik |0 (DE-588)4774034-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formalisierung |0 (DE-588)4123217-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Computerforensik |0 (DE-588)4774034-6 |D s |
| 689 | 0 | 1 | |a Formalisierung |0 (DE-588)4123217-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |o urn:nbn:de:bvb:29-opus-39439 |
| 856 | 4 | |u https://open.fau.de/handle/openfau/2741 |x Verlag |z kostenfrei |3 Volltext | |
| 856 | 4 | |u http://d-nb.info/1028977336/34 |x Langzeitarchivierung Nationalbibliothek | |
| 856 | 4 | |u https://nbn-resolving.org/urn:nbn:de:bvb:29-opus-39439 |x Resolving-System | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025666949&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 912 | |a ebook | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-025666949 | ||
Datensatz im Suchindex
| _version_ | 1804149981815242752 |
|---|---|
| adam_text | IMAGE 1
INHALTSVERZEICHNIS
1 EINLEITUNG 1
1.1 MOTIVATION 1
1.2 BEITRAEGE DIESER ARBEIT 5
1.3 UEBERBLICK 6
1.4 VEROEFFENTLICHUNGEN 7
2 GRUNDLAGEN 9
2.1 KLASSISCHE FORENSIK 9
2.1.1 WAS IST FORENSIK UND WAS BEDEUTET FORENSISCH? 10
2.1.2 HISTORIE 10
2.1.3 FORENSIK IN DER LITERATUR 11
2.1.4 WISSENSCHAFTLICHE METHODE 12
2.1.5 FORENSISCHE WISSENSCHAFTEN, KRIMINALISTIK UND KRIMINOLOGIE 15
2.1.6 FORENSISCHE WISSENSCHAFT UND DAS RECHTSSYSTEM 17
2.2 PHYSISCHE SPUREN 18
2.2.1 ENTSTEHUNG PHYSISCHER SPUREN 19
2.2.2 EIGENSCHAFTEN PHYSISCHER SPUREN 26
2.2.3 ASSOZIATION 28
2.3 RELEVANTE LITERATUR 32
2.4 ZUSAMMENFASSUNG 35
3 DIGITALE SPUREN 3 7
3.1 ENTSTEHUNG DIGITALER SPUREN 38
3.2 EIGENSCHAFTEN DIGITALER SPUREN 39
3.2.1 FLUECHTIGKEIT 39
3.2.2 TECHNISCHE VERMEIDBARKEIT 40
3.2.3 MANIPULIER BARKEIT 41
3.2.4 KOPIERBARKEIT 43
3.2.5 SEMANTIK 43
3.3 ASSOZIATION IN DER DIGITALEN WELT 46
3.3.1 COMPUTERFORENSIK UND KLASSISCHE FORENSISCHE WISSENSCHAFTEN 46
V
HTTP://D-NB.INFO/1031153624
IMAGE 2
I N H A L T S V E R Z E I C H N I S
3.3.2 ZERTEILBARKEIT UND TRANSFER IN DER DIGITALEN WELT 48
3.3.3 DER PROZESS DER ASSOZIATION ANHAND DIGITALER SPUREN . . . 50 3.3.4
ASSOZIATION ALS ZENTRALER ASPEKT DER FORENSISCHEN INFORMATIK 59 3.4
RELEVANTE LITERATUR 66
3.5 ZUSAMMENFASSUNG 67
4 SPUREN, INTERFERENZ UND DIE LOESBARKEIT VON REKONSTRUKTIONSPROBLE MEN
6 9
4.1 INTUITION 70
4.2 MODELL EINES DIGITALEN SYSTEMS 72
4.2.1 VARIABLEN 73
4.2.2 PROGRAMME 73
4.2.3 PFADE 75
4.2.4 NICHTDETERMINISMUS 76
4.2.5 AKTIONEN UND OPERATIONEN 77
4.2.6 WEITERE ANNAHMEN 78
4.3 PROBLEMDEFINITION 79
4.3.1 ALLGEMEINES REKONSTRUKTIONSPROBLEM 79
4.3.2 SPEZIFISCHES REKONSTRUKTIONSPROBLEM 80
4.3.3 SPEZIFISCHES GRUPPEN-REKONSTRUKTIONSPROBLEM 81
4.4 SPUREN 83
4.4.1 DEFINITION 83
4.4.2 CHARAKTERISTISCHE SPUREN 86
4.4.3 GEMEINSAME CHARAKTERISTISCHE SPUREN 88
4.5 KONTRASPUREN 90
4.5.1 DEFINITION 90
4.5.2 CHARAKTERISTISCHE KONTRASPUREN 92
4.5.3 GEMEINSAME CHARAKTERISTISCHE KONTRASPUREN 94
4.6 INTERFERENZ 96
4.6.1 ALLGEMEINE INTERFERENZ 98
4.6.2 VARIABLEN-INTERFERENZ 101
4.6.3 SPUREN-INTERFERENZ 105
4.6.4 KOMBINATIONEN VON INTERFERENZ 107
4.6.5 INTERFERIERENDE AKTIONEN, UEBERDECKUNG UND AEQUIVALENZ . . 107 4.7
REKONSTRUKTION 110
4.7.1 ANMERKUNGEN ZU DEN BEWEISEN 111
4.7.2 DAS ZUGRUNDELIEGENDE SYSTEM 111
4.7.3 LOESBARKEIT DES SRP 112
4.7.4 LOESBARKEIT DES SGRP 136
4.7.5 LOESBARKEIT DES GRP 149
4.8 RELEVANTE LITERATUR 152
4.9 ZUSAMMENFASSUNG 156
IMAGE 3
I N H A L T S V E R Z E I C H N I S
5 PRAKTISCHE EVALUATION DER FORMALISIERUNG ANHAND VON FALIBEISPIELEN 157
5.1 ABSTRAKTES BEISPIEL: DER 3-BIT AUTOMAT 158
5.1.1 UEBERTRAGUNG IN DAS MODELL 158
5.1.2 SPUREN 160
5.1.3 CHARAKTERISTISCHE SPUREN 161
5.1.4 KONTRASPUREN 162
5.1.5 CHARAKTERISTISCHE KONTRASPUREN 162
5.1.6 INTERFERENZ 163
5.1.7 LOESBARKEIT DES SRP 164
5.1.8 LOESBARKEIT DES SGRP 165
5.2 EINFACHES BEISPIEL: ASSEMBLER-PROGRAMM 165
5.2.1 UEBERTRAGUNG IN DAS MODELL 170
5.2.2 SPUREN 172
5.2.3 CHARAKTERISTISCHE SPUREN 174
5.2.4 KONTRASPUREN 174
5.2.5 CHARAKTERISTISCHE KONTRASPUREN 175
5.2.6 INTERFERENZ 175
5.2.7 LOESBARKEIT DES SRP 176
5.2.8 LOESBARKEIT DES SGRP 178
5.3 REALISTISCHES BEISPIEL: DATEISYSTEM-METADATEN 178
5.3.1 UEBERTRAGUNG IN DAS MODELL 180
5.3.2 SPUREN 182
5.3.3 CHARAKTERISTISCHE SPUREN 185
5.3.4 KONTRASPUREN 186
5.3.5 CHARAKTERISTISCHE KONTRASPUREN 186
5.3.6 INTERFERENZ 186
5.3.7 LOESBARKEIT DES SRP 187
5.3.8 LOESBARKEIT DES SGRP 187
5.4 RELEVANTE LITERATUR 187
5.5 ZUSAMMENFASSUNG 190
6 FAZIT 1 9 3
6.1 ZUSAMMENFASSUNG 193
6.2 GRENZEN UND AUSBLICK 194
6.3 ERGEBNISSE UND FAZIT 197
LITERATUR 1 9 9
ABBILDUNGSVERZEICHNIS 2 0 5
TABELLENVERZEICHNIS 2 0 9
A VOLLSTAENDIGE SPUREN DES BEISPIELS AUS ABSCHNITT 5.3 2 1 1
VII
IMAGE 4
I N H A L T S V E R Z E I C H N I S
A . L SPUREN 211
A.2 CHARAKTERISTISCHE SPUREN 223
A.3 KONTRASPUREN 224
VIII
|
| any_adam_object | 1 |
| author | Dewald, Andreas |
| author_facet | Dewald, Andreas |
| author_role | aut |
| author_sort | Dewald, Andreas |
| author_variant | a d ad |
| building | Verbundindex |
| bvnumber | BV040686107 |
| collection | ebook |
| ctrlnum | (OCoLC)826599439 (DE-599)DNB1028977336 |
| dewey-full | 004 610 |
| dewey-hundreds | 000 - Computer science, information, general works 600 - Technology (Applied sciences) |
| dewey-ones | 004 - Computer science 610 - Medicine and health |
| dewey-raw | 004 610 |
| dewey-search | 004 610 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works 610 - Medicine and health |
| discipline | Informatik Medizin |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01981nam a2200469zc 4500</leader><controlfield tag="001">BV040686107</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150623 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">130121s2012 gw ad|| m||| 00||| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,O01</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1028977336</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)826599439</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1028977336</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BY</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-29T</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">610</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Dewald, Andreas</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formalisierung digitaler Spuren und ihre Einbettung in die Forensische Informatik</subfield><subfield code="c">von Andreas Dewald</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 236 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Erlangen-Nürnberg, Univ., Diss., 2012</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computerforensik</subfield><subfield code="0">(DE-588)4774034-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formalisierung</subfield><subfield code="0">(DE-588)4123217-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Computerforensik</subfield><subfield code="0">(DE-588)4774034-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formalisierung</subfield><subfield code="0">(DE-588)4123217-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="o">urn:nbn:de:bvb:29-opus-39439</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">https://open.fau.de/handle/openfau/2741</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://d-nb.info/1028977336/34</subfield><subfield code="x">Langzeitarchivierung Nationalbibliothek</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">https://nbn-resolving.org/urn:nbn:de:bvb:29-opus-39439</subfield><subfield code="x">Resolving-System</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025666949&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025666949</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV040686107 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T00:31:40Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025666949 |
| oclc_num | 826599439 |
| open_access_boolean | 1 |
| owner | DE-384 DE-473 DE-BY-UBG DE-703 DE-1051 DE-824 DE-29 DE-12 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-1049 DE-92 DE-739 DE-898 DE-BY-UBR DE-355 DE-BY-UBR DE-706 DE-20 DE-1102 DE-29T |
| owner_facet | DE-384 DE-473 DE-BY-UBG DE-703 DE-1051 DE-824 DE-29 DE-12 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-1049 DE-92 DE-739 DE-898 DE-BY-UBR DE-355 DE-BY-UBR DE-706 DE-20 DE-1102 DE-29T |
| physical | VIII, 236 S. Ill., graph. Darst. |
| psigel | ebook |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| record_format | marc |
| spelling | Dewald, Andreas Verfasser aut Formalisierung digitaler Spuren und ihre Einbettung in die Forensische Informatik von Andreas Dewald 2012 VIII, 236 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Erlangen-Nürnberg, Univ., Diss., 2012 Computerforensik (DE-588)4774034-6 gnd rswk-swf Formalisierung (DE-588)4123217-3 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Computerforensik (DE-588)4774034-6 s Formalisierung (DE-588)4123217-3 s DE-604 Erscheint auch als Online-Ausgabe urn:nbn:de:bvb:29-opus-39439 https://open.fau.de/handle/openfau/2741 Verlag kostenfrei Volltext http://d-nb.info/1028977336/34 Langzeitarchivierung Nationalbibliothek https://nbn-resolving.org/urn:nbn:de:bvb:29-opus-39439 Resolving-System DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025666949&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Dewald, Andreas Formalisierung digitaler Spuren und ihre Einbettung in die Forensische Informatik Computerforensik (DE-588)4774034-6 gnd Formalisierung (DE-588)4123217-3 gnd |
| subject_GND | (DE-588)4774034-6 (DE-588)4123217-3 (DE-588)4113937-9 |
| title | Formalisierung digitaler Spuren und ihre Einbettung in die Forensische Informatik |
| title_auth | Formalisierung digitaler Spuren und ihre Einbettung in die Forensische Informatik |
| title_exact_search | Formalisierung digitaler Spuren und ihre Einbettung in die Forensische Informatik |
| title_full | Formalisierung digitaler Spuren und ihre Einbettung in die Forensische Informatik von Andreas Dewald |
| title_fullStr | Formalisierung digitaler Spuren und ihre Einbettung in die Forensische Informatik von Andreas Dewald |
| title_full_unstemmed | Formalisierung digitaler Spuren und ihre Einbettung in die Forensische Informatik von Andreas Dewald |
| title_short | Formalisierung digitaler Spuren und ihre Einbettung in die Forensische Informatik |
| title_sort | formalisierung digitaler spuren und ihre einbettung in die forensische informatik |
| topic | Computerforensik (DE-588)4774034-6 gnd Formalisierung (DE-588)4123217-3 gnd |
| topic_facet | Computerforensik Formalisierung Hochschulschrift |
| url | https://open.fau.de/handle/openfau/2741 http://d-nb.info/1028977336/34 https://nbn-resolving.org/urn:nbn:de:bvb:29-opus-39439 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025666949&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT dewaldandreas formalisierungdigitalerspurenundihreeinbettungindieforensischeinformatik |