IT-forensisch onderzoek · macOS

macOS-forensisch onderzoek op een rechtsgeldige manier documenteren

Een technisch onderzoeksrapport is pas echt bruikbaar als de herkomst, de methodiek, de beperkingen en de conclusie op begrijpelijke wijze zijn gedocumenteerd. Dit geldt met name in de rechtbank, waar de lezers niet per se zelf forensisch deskundigen zijn.

Vrijblijvend informeren

Bij Apple-computers is dit punt bijzonder belangrijk, omdat de hardware- en beveiligingsarchitectuur de afgelopen jaren aanzienlijk is veranderd. Een oudere Intel-iMac, een Intel-Mac met T2 Security Chip en een recente Mac Studio met Apple Silicon mogen niet volgens hetzelfde technische schema worden behandeld. APFS, Secure Enclave, FileVault en de betreffende systeemstatus bepalen welke gegevens toegankelijk zijn en welke back-upmethode de minste wijzigingen veroorzaakt.

In rapporten wordt onderscheid gemaakt tussen vastgestelde feiten, technische interpretaties en vragen waarop geen antwoord kan worden gegeven. Vaktermen worden uitgelegd zonder dat de technische nauwkeurigheid verloren gaat.

Waarom LanCologne?

LanCologne onderzoekt Apple-computers niet volgens een algemeen standaardschema, maar op basis van de concrete hardware- en beveiligingsarchitectuur. Onze medewerkers beschikken over tientallen jaren ervaring in de informatietechnologie en jarenlange praktijkervaring in IT-forensisch onderzoek. Wij ondersteunen bedrijven, advocaten, particulieren en regelmatig ook rechtbanken en overheidsinstanties bij het technisch onderzoek naar digitale zaken.

Het onderzoek vindt in principe plaats op basis van een forensische kopie, een forensische afspiegeling of een technisch gelijkwaardige, bewijsveilig vastgelegde gegevensbron. Het originele bewijsmateriaal wordt ongewijzigd bewaard, of, indien er technisch onvermijdelijke ingrepen plaatsvinden, worden deze op transparante wijze gedocumenteerd en wordt het bewijsmateriaal op bewijsveilige wijze bewaard.

Onze werkwijze en de gebruikte hulpmiddelen

Ons onderzoek begint niet met het opstarten van een analyseprogramma, maar met het verzamelen van bewijsmateriaal. Het apparaat, het model, het serienummer of inventarisnummer, de aansluitstatus, de zichtbare systeemstatus en de aanwezige randapparatuur worden gedocumenteerd. Vervolgens wordt besloten of het systeem uitgeschakeld moet blijven, of een live-registratie zinvol is, of dat een recovery-, target-disk- of share-disk-procedure technisch verantwoord is.

In de volgende stap wordt de back-upstrategie vastgesteld. Daarbij maken we onderscheid tussen blokgeoriënteerde weergave, logische back-up en gerichte triage. De keuze hangt niet af van gemak, maar van de hardwaregeneratie, FileVault, de APFS-structuur, de beschikbare ontgrendelingsstatus en de concrete bewijsvraag. Waar dit technisch mogelijk is, wordt in schrijfbeveiligde modus gewerkt. Onvermijdelijke statuswijzigingen bij live- of herstelmaatregelen worden uitdrukkelijk vastgelegd.

De aangemaakte back-up wordt gedocumenteerd met hashwaarden. De daadwerkelijke analyse vindt niet plaats op het origineel, maar op een werkkopie of een geverifieerde kopie van het bewijsmateriaal. Zo kunnen parsers, zoekopdrachten of eigen hulpprogramma’s worden ingezet zonder het originele bewijsmateriaal voortdurend te wijzigen.

In complexe gevallen kiezen we er bewust voor om niet met slechts één softwareprogramma te werken. RECON LAB, RECON ITR, Belkasoft X en X-Ways bieden verschillende invalshoeken op hetzelfde bewijsmateriaal. Wanneer een relevant artefact niet volledig door standaardparsers wordt gedekt, vullen we het onderzoek aan met zelfontwikkelde hulpprogramma's en scripts. De koppeling met de ruwe gegevens blijft daarbij altijd cruciaal: een zelfontwikkelde parser is forensisch gezien alleen zinvol als het resultaat reproduceerbaar en technisch controleerbaar is.

Voor een lezer zonder technische achtergrond is één punt daarbij bijzonder belangrijk: een forensisch programma „vindt“ niet automatisch de waarheid. Het leest gegevensstructuren en interpreteert deze volgens bekende regels. Als Apple met een nieuwe macOS-versie een database of een metadataformaat wijzigt, kan een parser onvolledig of verkeerd reageren. Daarom controleren we bij cruciale bevindingen uit welk bestand, welke database of welke bestandssysteemstructuur het resultaat afkomstig is en of een tweede technische methode dezelfde bevindingen bevestigt.

Dat is ook de reden waarom we meerdere tools gebruiken. RECON LAB kan Apple-specifieke structuren native onder macOS analyseren; Belkasoft X biedt een ander perspectief op artefacten en correlaties; X-Ways maakt zeer gedetailleerde controles van het bestandssysteem en de ruwe gegevens mogelijk. Als onafhankelijke analyses met elkaar overeenkomen, vergroot dat de betrouwbaarheid. Als ze niet met elkaar overeenkomen, wordt de oorzaak onderzocht en wordt niet zomaar de meest voor de hand liggende match gekozen.

Typische toepassingsgebieden

•Gerechtelijke en buitengerechtelijke deskundigenrapporten
•Bewijsverzameling van iMac, Mac mini, Mac Studio, MacBook en Mac Pro
•Onderzoek naar Apple Silicon-, T2- en oudere Intel-systemen
•Incidentrespons en malware-onderzoek
•Analyse van APFS-, gebruikers-, applicatie- en systeemartefacten
•Reconstructie van bestands-, gebruikers- en netwerkactiviteiten
•Controle van de resultaten van automatische parsers
•Analyse van verwijderde, historische of slechts indirect zichtbare sporen
•Documentatie voor rechtbanken, advocaten, bedrijven en overheidsinstanties

Zo verloopt het forensisch onderzoek

1Vastlegging van bewijsmateriaal en documentatie van de toestand

Het Apple-apparaat wordt eerst eenduidig geïdentificeerd en fotografisch of schriftelijk gedocumenteerd. We noteren of het apparaat aan of uit staat, is ingelogd, vergrendeld is of is aangesloten op externe opslagmedia. Deze informatie kan later van cruciaal belang zijn.

2Technische classificatie

De chipgeneratie, de macOS-versie, de APFS-structuur, FileVault en relevante beveiligingsmechanismen worden vastgesteld. Pas op basis daarvan kan de geschikte registratiemethode worden bepaald.

3Bewijsveilige beveiliging

De back-up wordt zo gekozen dat er zo min mogelijk aan het origineel wordt gewijzigd. RECON ITR kan, afhankelijk van het geval, worden gebruikt voor imaging of triage van moderne Macs. In andere situaties is Apple Recovery, Target Disk Mode bij Intel of Share Disk bij Apple Silicon nodig. Elke stap wordt geregistreerd.

4Integriteitscontrole

De gegenereerde afbeeldingen of logische back-ups krijgen een unieke naam, worden voorzien van hashwaarden en geverifieerd. De analyse en zoekopdrachten worden vervolgens uitgevoerd op werkkopieën.

5Analyse in meerdere stappen

RECON LAB, Belkasoft X en X-Ways worden afhankelijk van de vraagstelling gecombineerd. Een belangrijk resultaat wordt zo mogelijk niet alleen uit één enkele parserweergave overgenomen.

6Handmatige validatie

Als een artefact bijzonder relevant is voor het bewijs, ongebruikelijk is of slechts gedeeltelijk door standaardsoftware wordt ondersteund, controleren we de ruwe gegevens, databasestructuren, metagegevens of bestandssysteeminformatie handmatig. Indien nodig maken we gebruik van eigen tools.

7Verslag en bewijsstukken

Uiteindelijk wordt er niet alleen opgesomd wat een tool heeft weergegeven. We leggen uit op welke technische bron de bevinding is gebaseerd, welke conclusie hieruit mag worden getrokken en waar de grenzen liggen.

Waarom is dit onderzoeksgebied forensisch relevant?

Een technisch onderzoeksrapport is pas echt bruikbaar als de herkomst, de methodiek, de beperkingen en de conclusie op begrijpelijke wijze zijn gedocumenteerd. Dit geldt met name in de rechtbank, waar de lezers niet per se zelf forensisch deskundigen zijn.

De forensische waarde ligt niet alleen in de hoeveelheid gevonden gegevens, maar ook in de herkomst en de betrouwbaarheid ervan. Een bestandsnaam, een tijdstempel of een database-vermelding kan zonder context misleidend zijn. Daarom documenteren we hoe een artefact tot stand kan zijn gekomen, welke alternatieve verklaringen er zijn en welke andere sporen de bevinding ondersteunen.

In rapporten wordt onderscheid gemaakt tussen vastgestelde feiten, technische interpretaties en vragen waarop geen antwoord kan worden gegeven. Vaktermen worden uitgelegd zonder dat de technische nauwkeurigheid verloren gaat.

Vooral op moderne Macs kan een poging tot een „klassieke“ schijfanalyse bovendien stranden op technische beperkingen. Hardwaregebonden versleuteling, Secure Enclave, FileVault en APFS maken duidelijk waarom een vakkundige back-up vóór de eigenlijke analyse zo belangrijk is. Fouten in deze fase kunnen later niet altijd ongedaan worden gemaakt.

Veelgestelde vragen

Waar moet bij „forensische documentatie van macOS die voor de rechter standhoudt“ forensisch gezien rekening mee worden gehouden?
Ons onderzoek begint niet met het opstarten van een analyseprogramma, maar met het verzamelen van bewijsmateriaal. Het apparaat, het model, het serienummer of inventarisnummer, de aansluitstatus, de zichtbare systeemstatus en de aanwezige randapparatuur worden gedocumenteerd. Vervolgens wordt besloten of het systeem uitgeschakeld moet blijven, of een live-registratie zinvol is of dat een recovery-, target-disk- of share-disk-procedure technisch verantwoord is. In de volgende stap wordt de back-upstrategie vastgesteld. Daarbij maken we onderscheid tussen blokgeoriënteerde weergave, logische back-up en gerichte triage. De keuze hangt niet af van gemak, maar van de hardwaregeneratie, FileVault, APFS-structuur, de beschikbare ontgrendelingsstatus en de concrete bewijskwestie. Waar technisch mogelijk, wordt er in schrijfbeveiligde modus gewerkt. Onvermijdelijke statuswijzigingen bij live- of herstelmaatregelen worden uitdrukkelijk vastgelegd. De gemaakte back-up wordt gedocumenteerd met hashwaarden. De daadwerkelijke analyse vindt niet plaats op het origineel, maar op een werkkopie of een geverifieerde bewijskopie. Zo kunnen parsers, zoekopdrachten of eigen hulpprogramma’s worden ingezet zonder het originele bewijsmateriaal voortdurend te wijzigen. In complexe gevallen werken we bewust niet met één enkel softwarepakket. RECON LAB of RECON ITR, Belkasoft X en X-Ways bieden verschillende invalshoeken op hetzelfde bewijsmateriaal. Wanneer een relevant artefact niet volledig door standaardparsers wordt gedekt, vullen we het onderzoek aan met zelfontwikkelde hulpprogramma’s en scripts. De koppeling met de ruwe gegevens blijft daarbij altijd cruciaal: een zelfontwikkelde parser is forensisch gezien alleen zinvol als het resultaat reproduceerbaar en technisch controleerbaar is. Voor een lezer die niet uit het vakgebied komt, is één punt daarbij bijzonder belangrijk: een forensisch programma „vindt“ niet automatisch de waarheid. Het leest gegevensstructuren en interpreteert deze volgens bekende regels. Als Apple met een nieuwe macOS-versie een database of een metagegevensformaat wijzigt, kan een parser onvolledig of onjuist reageren. Daarom controleren we bij cruciale bevindingen uit welk bestand, welke database of welke bestandssysteemstructuur het resultaat afkomstig is en of een tweede technische methode dezelfde bevindingen bevestigt. Dat is ook de reden waarom we meerdere tools inzetten. RECON LAB kan Apple-specifieke structuren native onder macOS analyseren; Belkasoft X biedt een ander perspectief op artefacten en correlaties; X-Ways maakt zeer gedetailleerde bestandssysteem- en ruwe-gegevenscontroles mogelijk. Als onafhankelijke analyses overeenkomen, verhoogt dat de betrouwbaarheid. Als ze niet overeenkomen, wordt de oorzaak onderzocht en wordt niet zomaar de meest voor de hand liggende bevinding gekozen.
Hoe verloopt zo’n forensisch onderzoek in de praktijk?
1 Verzameling van bewijsmateriaal en vastlegging van de toestand Het Apple-apparaat wordt eerst eenduidig geïdentificeerd en fotografisch of schriftelijk gedocumenteerd. We leggen vast of het apparaat is in- of uitgeschakeld, aangemeld, vergrendeld of aangesloten op externe gegevensdragers. Deze informatie kan later van doorslaggevend belang zijn. 2 Technische classificatie De chipgeneratie, macOS-versie, APFS-structuur, FileVault en relevante beveiligingsmechanismen worden vastgesteld. Pas op basis daarvan kan de geschikte registratiemethode worden bepaald. 3 Bewijsveilige back-up De back-upmethode wordt zo gekozen dat er zo min mogelijk aan het origineel wordt gewijzigd. RECON ITR kan, afhankelijk van het geval, worden ingezet voor imaging of triage van moderne Macs. Andere situaties vereisen Apple Recovery, Target Disk Mode bij Intel of Share Disk bij Apple Silicon. Elke stap wordt gelogd. 4 Integriteitscontrole Gemaakte images of logische back-ups krijgen een unieke naam, worden voorzien van hashwaarden en geverifieerd. Analyse en zoekopdrachten vinden vervolgens plaats op werkkopieën. 5 Meerfasige evaluatie RECON LAB, Belkasoft X en X-Ways worden afhankelijk van de vraagstelling gecombineerd. Een belangrijk resultaat wordt zo mogelijk niet alleen uit één enkele parserweergave overgenomen. 6 Handmatige validatie Als een artefact bijzonder relevant is als bewijs, ongebruikelijk is of slechts gedeeltelijk door standaardsoftware wordt ondersteund, controleren we ruwe gegevens, databasestructuren, metagegevens of bestandssysteeminformatie handmatig. Indien nodig worden eigen tools ingezet. 7 Rapport en bewijsverwijzing Uiteindelijk wordt niet alleen opgesomd wat een tool heeft weergegeven. We leggen uit welke technische bron de bevinding ondersteunt, welke conclusie gerechtvaardigd is en waar de grenzen liggen.
Welke forensische waarde hebben de resultaten op dit gebied?
Een technisch bevinding is pas echt bruikbaar als de herkomst, methodiek, beperkingen en conclusie op begrijpelijke wijze zijn gedocumenteerd. Dit geldt met name in de rechtbank, waar lezers niet per se zelf forensisch onderzoekers zijn. De forensische waarde ligt niet alleen in de hoeveelheid gevonden gegevens, maar ook in de herkomst en de betrouwbaarheid ervan. Een bestandsnaam, een tijdstempel of een database-vermelding kan zonder context misleidend zijn. Daarom documenteren we hoe een artefact tot stand kan zijn gekomen, welke alternatieve verklaringen er zijn en welke andere sporen de bevinding ondersteunen. Rapporten maken onderscheid tussen vastgestelde feiten, technische interpretatie en vragen waarop geen antwoord kan worden gegeven. Vaktermen worden uitgelegd zonder dat de technische precisie verloren gaat. Vooral op moderne Macs kan een poging tot een „klassieke“ gegevensdrageranalyse bovendien stranden op technische beperkingen. Hardwaregebonden versleuteling, Secure Enclave, FileVault en APFS maken duidelijk waarom een vakkundige back-up vóór de eigenlijke analyse zo belangrijk is. Fouten in deze fase kunnen later niet altijd ongedaan worden gemaakt.
Worden bij een dergelijk onderzoek vermoedens als vaststaande bevindingen gepresenteerd?
Nee. De resultaten van technische onderzoeken worden alleen weergegeven voor zover ze worden gestaafd door de daadwerkelijk vastgelegde gegevens. Aannames die niet kunnen worden gestaafd, worden niet als vaststaande bevindingen geformuleerd.

LanCologne – macOS-forensisch onderzoek in Keulen

Heeft u behoefte aan een professioneel onderzoek naar „het op een voor de rechtbank bruikbare manier documenteren van macOS-forensisch onderzoek“? LanCologne ondersteunt u bij het op bewijsveilige wijze vastleggen, de meerfasige analyse en de traceerbare documentatie. Het gaat daarbij niet om het genereren van zoveel mogelijk automatische treffers, maar om het vastleggen van technisch solide en verifieerbaar bewijsmateriaal.

Nu contact opnemen