Abstract-Cloud computing gör det möjligt för användare att delegera data och beräkningar till molntjänstleverantörer, till priset av att ge upp fysisk kontroll över sin datorinfrastruktur. En angripare (t.ex. insider) med fysisk tillgång till datorplattformen kan utföra olika fysiska attacker, inklusive undersöka minnesbussar och kall-boot stil attacker. Tidigare arbete med säkra (med)processorer ger hårdvarustöd för minneskryptering och förhindrar direkt läckage av känsliga data över minnesbussen. En motståndare som snokar på bussen kan dock fortfarande sluta sig till känslig information från minnesåtkomstspåren. Befintligt arbete på Oblivious RAM (ORAM) ger en lösning för användare att sätta alla data i en ORAM; och åtkomst till en ORAM är obfuscated sådan att ingen information läcker genom minnesåtkomst spår. Denna metod, dock, medför betydande minnesåtkomst overhead. Detta arbete är det första att utnyttja programmeringsspråk tekniker för att erbjuda effektiv minne-trace oöverträffad program exekvering, samtidigt som formella säkerhetsgarantier. Vi definierar formellt begreppet minne-trace glömska, och ger ett typsystem för att verifiera att ett program uppfyller denna egenskap. Vi beskriver också en kompilator som omvandlar ett program till ett strukturellt liknande som tillfredsställer minnesspår omedvetna. För att uppnå optimal effektivitet delar vår kompilator in variabler i flera små ORAM-banker snarare än en stor, utan att riskera säkerheten. Vi använder flera exempelprogram för att visa vilka effektivitetsvinster vår kompilator uppnår i jämförelse med den naiva metoden att placera alla variabler i samma ORAM.
Programmeringsspråket community har börjat undersöka typsystem för minne-trace obliviousness, och automatiskt sammanställa program i deras minne-trace omedvetna motsvarigheter REF.
Memory Trace Oblivious Program Execution
{'venue': '2013 IEEE 26th Computer Security Foundations Symposium', 'journal': '2013 IEEE 26th Computer Security Foundations Symposium', 'mag_field_of_study': ['Computer Science']}