Abstract-Attackers kan utnyttja säkerhetssårbarheter i styrsystem för att få fysiska processer att bete sig osäkert. För närvarande, det säkra beteendet hos ett kontrollsystem bygger på en Trusted Computing Base (TCB) av råvarumaskiner, brandväggar, nätverk och inbyggda system. Dessa stora TCBs, som ofta innehåller kända sårbarheter, exponerar många attackvektorer som kan påverka processsäkerheten. I detta dokument presenterar vi Trusted Safety Verifier (TSV), en minimal TCB för verifiering av säkerhetskritisk kod som utförs på programmerbara styrenheter. Ingen styrkod får köras innan den passerar fysiska säkerhetskontroller av TSV. Om en säkerhetsöverträdelse upptäcks ger TSV ett demonstrativt testfall till systemoperatörerna. TSV fungerar genom att först översätta kod på monteringsnivå till ett mellanspråk, ILIL. ILIL gör det möjligt för oss att kontrollera kod som innehåller fler instruktioner och funktioner än tidigare säkerhetskontrollteknik. TSV blandar effektivt symbolisk exekvering och modellkontroll genom att omvandla ett ILIL-program till en ny graf för temporal exekvering som klumpar ihop säkerhetsekvivalenta styrenheter. Vi implementerade TSV på en Raspberry Pi dator som en bulle-in-the-wire som avlyssnar alla controllerbound kod. Vår utvärdering visar att den kan testa en mängd olika program för gemensamma säkerhetsegenskaper på i genomsnitt mindre än tre minuter, och under sex minuter i värsta fall - ett litet engångstillskott till processtekniska livscykeln.
I REF, En Trusted Safety Verifier (TSV) genomförs på en Raspberry PI set-up, placeras mellan styrsystemet nätverket och PLC som en bulli-the-wire för att avlyssna alla styrkoden och validera den mot alla säkerhetsegenskaper som definieras av processingenjör.
A Trusted Safety Verifier for Process Controller Code
{'venue': 'NDSS', 'journal': None, 'mag_field_of_study': ['Computer Science']}