I industriella styrsystem används ofta apparater som Programmerbara Logic Controllers (PLC) för att direkt interagera med sensorer och ställdon och utföra lokal automatisk styrning. PLCs kör programvara på två olika lager: a) firmware (dvs. OS) och b) kontrolllogik (behandlingssensoravläsningar för att bestämma kontrollåtgärder). I detta arbete diskuterar vi steglogikbomber, d.v.s. malware skrivet i stege logik (eller ett av de andra IEC 61131-3-kompatibla språk). Sådan malware skulle infogas av en angripare i befintlig kontrolllogik på en PLC, och antingen ständigt ändra beteendet, eller vänta på specifika utlösningssignaler för att aktivera skadligt beteende. Till exempel kan LLB ersätta legitima sensoravläsningar med manipulerade värden. Vi ser begreppet LLBs som en generalisering av attacker såsom Stuxnet attacken. Vi introducerar LLBs på en abstrakt nivå, och sedan demonstrerar flera konstruktioner baserade på verkliga PLC-enheter i vårt labb. I synnerhet fokuserar vi också på smygande LLBs, dvs.. LLBs som är svåra att upptäcka av mänskliga operatörer manuellt validera programmet som körs i PLCs. Förutom att införa sårbarheter på logikskiktet diskuterar vi också motåtgärder och föreslår två detekteringsmetoder.
För attacker på PLC källkod, författarna till REF införa begreppet "ladder logik bomber", som omedelbart PLC malware skrivet på IEC 61131-3 språk.
On Ladder Logic Bombs in Industrial Control Systems
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}