Fjärrtillstånd är en viktig säkerhetstjänst som är särskilt relevant för allt populärare IoT-enheter (och andra inbyggda enheter). Det gör det möjligt för en betrodd part (verifier) att lära sig tillståndet för en fjärrkontroll, och potentiellt malware-infekterad, enhet (prover). De flesta befintliga metoder är statiska till sin natur och endast kontrollera om godartad programvara först laddas på provaren. De är dock sårbara för runtime-attacker som kapar programmets kontroll- eller dataflöde, t.ex. genom returorienterad programmering eller dataorienterade bedrifter. Som ett konkret steg mot ett mer omfattande fjärrtillstånd för körtid presenterar vi utformningen och genomförandet av Control-FLow ATtestation (C-FLAT) som möjliggör fjärrcertifiering av en ansökans styrflödesbana, utan att kräva källkoden. Vi beskriver en fullständig prototyp implementering av C-FLAT på Raspberry Pi med hjälp av dess ARM TrustZone hårdvara säkerhetstillägg. Vi utvärderar C-FLAT:s prestanda med hjälp av en verklig inbäddad (cyberfysisk) applikation, och visar dess effektivitet mot kontroll-flöde kapning attacker.
Control-Flow Attestation (C-FLAT) gör det möjligt för en provtagare enhet att intyga den exakta kontrollflödesbanan för ett utfört program till en fjärrkontrollör REF.
C-FLAT: Control-Flow Attestation for Embedded Systems Software
{'venue': "CCS '16", 'journal': None, 'mag_field_of_study': ['Computer Science']}