Nieuwe forensische software groeit met uitdaging mee
Probleem bij digitaal forensisch onderzoek is dat de te analyseren datastructuren doorlopend complexer en omvangrijker worden. Daardoor is de software die de digitaal-forensische onderzoekers gebruiken doorlopend onderhevig aan technologische veroudering.
Shutterstock
Shutterstock
Tenzij de software zelf 'meegroeit' met de uitdaging van de digitaal-forensische onderzoekers, en dat is nu wat mogelijk lijkt te worden door onderzoek van Jeroen van den Bos, promovendus aan het Centrum Wiskunde & Informatica (CWI) in Amsterdam en software engineer aan het Nederlands Forensisch Instituut (NFI).
Modelgedreven aanpak
Van den Bos ontwikkelde nieuwe 'superflexibele' software waarmee het aanpassen van de forensische software grotendeels kan worden geautomatiseerd. Met behulp van de metaprogrammeertaal Rascal ontwikkelde de onderzoeker een domeinspecifieke programmeertaal waarin digitaal forensisch onderzoekers eenvoudig en modelgedreven de vorm van nieuwe digitale sporen kunnen uitdrukken. Deze modellen worden door Rascal getransformeerd naar een aangepaste variant van forensische applicatie.
Onderhoudbaarheid staat centraal
De resultaten uit het onderzoek worden volgend jaar door Van den Bos bij het NFI geïmplementeerd. Doelstelling daarbij is dat de complexe software door de modelgedreven aanpak ook op termijn onderhoudbaar zal blijven. De voortekenen op dat punt zijn gunstig, want in het onderzoek van Van den Bos bleek dat de aanpassingen doorgaans niet meer dan enkele tientallen regels code vergen.
Van den Bos voerde zijn onderzoek uit binnen de groep 'Software Analyse en Transformatie' van het CWI. Deze groep stond ook aan de wieg van de metaprogrammeertaal Rascal. Van den Bos verdedigt zijn proefschrift ‘Gathering Evidence’ op 9 januari.
Gerelateerde artikelen
Gerelateerde artikelen
Reacties
Om een reactie achter te laten is een account vereist.
Inloggen Word abonnee