Onderzoekers 'kraken' Apple FileVault 2 encryptie
De volledige schijfversleuteling die Apple in Mac OS X 10.7 (Lion) introduceerde bleek niet alle gegevens van gebruikers te versleutelen. Onderzoekers van de Cambridge Universiteit brachten alle algoritmen en parameters van FileVault 2 in kaart om een versleuteld volume te kunnen lezen. Hierdoor is het mogelijk om forensisch onderzoek uit te voeren. Tijdens het onderzoek ontdekten de onderzoekers dat niet alle gegevens van de gebruiker werden versleuteld. Apple heeft dit probleem inmiddels opgelost.
Ook werd gekeken hoe de encryptiesleutel wordt samengesteld. De onderzoekers stellen dat de entropie van het recovery-wachtwoord beter kan. Apple gebruikt PBKDF2 om brute force-aanvallen te vertragen. In het geval van een zwak wachtwoord is het echter nog steeds mogelijk om de encryptiesleutel in een paar uur te achterhalen. Dit laat systeembeheerders bijvoorbeeld aan de hand van een lijst met verboden wachtwoorden de veiligheid van FileVault 2 wachtwoorden testen, zonder dat gebruikers hun wachtwoord moeten opgeven.
BitLocker
Het onderliggende probleem is echter niet op te lossen en is inherent aan het gebruik van een gebruikerswachtwoord om de onderliggende encryptie te beschermen. "BitLocker heeft dit probleem niet, aangezien het een externe TPM-module gebruikt om de volume master key te ontsleutelen." Daarnaast is het ook mogelijk om de FileVault 2 encryptiesleutel uit het geheugen te halen.
"Ons werk laat een forensisch onderzoekers willekeurige tools gebruiken om data van een met FileVault 2 versleuteld volume te lezen, als het gebruikerswachtwoord of recovery token van het systeem bekend zijn", concluderen de onderzoekers. Het onderzoek werd gesponsord door Google. De tool om FileVault2 Drive Encryption (FVDE) versleutelde volumes te lezen is op code.google.com te vinden.
Daarnaast geld dit ook voor andere encryptie methodes zoals PGP en TrueCrypt. Heb je de sleutel gaat de deur open, toch? of zie ik het nu te simpel?
Dat lijkt me stug, aangezien deze onderzoekers in feite helemaal niets bijzonders hebben gedaan, behalve het ontrafelen van de 'inner workings' van FileVault2, zodat er forensische tooling gemaakt kan worden. Ze hebben niets gekraakt wat gepatcht kan worden of zo.
De zwakheden dat de beveiliging afhankelijk is van het password, er geen sluitende bruteforce beveiliging mogelijk is en een live systeem de sleutel in het geheugen heeft staan zijn, zoals het artikel al noemt, volledig inherent aan dit soort disk encryption oplossingen.
Zo lang er geen gebruik wordt gemaakt van een TPM voor key storage / key decryption doe je daar weinig aan.
Dat is op zich niet erg, immers het gebruik van een sterk wachtwoord en je systeem uitzetten is voldoende om je tegen deze 'aanval' te beschermen.
Deze posting is gelocked. Reageren is niet meer mogelijk.
Specialiseer je in Forensisch ICT
Online informatieavond 19 november
Wil jij je specialiseren in digitaal forensisch onderzoek? Je kennis verbreden en tech-nische vaardigheden ontwikkelen? Ontdek de cursus- en opleidingsmogelijkheden van Hogeschool Leiden:
- Bachelor Informatica Forensisch ICT (deeltijd)
- Master Digital Forensics (vol- en deeltijd)
- Module Mobile Forensics
- Module Data Analytics
Interesse? Meld je aan!
Cybersecurity Trainer / Streamer
Toe aan een nieuwe nieuwe job waarmee je het verschil maakt? In de Certified Secure trainingen laat je deelnemers zien hoe actuele kwetsbaarheden structureel verholpen worden. Ook werk je actief mee aan de ontwikkeling van onze gamified security challenges. Bij het maken van challenges kom je telkens nieuwe technieken tegen, van Flutter tot GraphQL, van Elastic Search tot Kubernetes.
