Abstract-Den ökade nätverksanslutningen har också resulterat i flera uppmärksammade attacker mot cyberfysiska system. En angripare som lyckas komma åt ett lokalt nätverk kan på distans påverka kontrollprestandan genom att manipulera sensormätningar som levereras till regulatorn. Nya resultat har visat att med nätverksbaserade attacker, såsom man-in-the-middle attacker, angriparen kan införa en obegränsad tillståndsuppskattning fel om mätningar från en lämplig delmängd av sensorer innehåller falska data när de levereras till styrenheten. Även om dessa attacker kan åtgärdas med standard kryptografiska verktyg som garanterar dataintegritet, skulle deras kontinuerliga användning införa betydande kommunikation och beräkning overhead. Följaktligen studerar vi effekterna av intermittenta dataintegritetsgarantier på systemets prestanda under smygattacker. Vi anser att linjära estimatorer är utrustade med en allmän typ av resterande-baserade intrångsdetektorer (inklusive t.ex. allmänt använda χ 2-detektorer) och visar att även när sensormätningarnas integritet endast upprätthålls intermittent är attackpåverkan avsevärt begränsad; specifikt är statuppskattningsfelet begränsat eller angriparen inte kan förbli smygande. Dessutom presenterar vi metoder för att: 1) utvärdera effekterna av en viss integritetspolicy i form av nåbara skattningsfel för alla typer av smygande attacker, och 2) utforma en tillämpningspolicy som ger de önskade skattningsfel garantier under attack. Slutligen, i tre fallstudier för bilar, visar vi att även med mindre än 10 procent av de autentiserade meddelandena kan vi säkerställa tillfredsställande kontrollprestanda i närvaro av attacker. Index Terms-Attack detektion, attack-resilient state estimation, cyber-fysiska system (CPS) säkerhet, Kalman filtrering, linjära system.
Jovanov och Pajic REF fokuserar på CPSs kommunikationsaspekter och studerar effekterna av intermittenta dataintegritetsgarantier på systemets prestanda under smygattacker.
Relaxing Integrity Requirements for Attack-Resilient Cyber-Physical Systems
{'venue': 'IEEE Transactions on Automatic Control', 'journal': 'IEEE Transactions on Automatic Control', 'mag_field_of_study': ['Computer Science', 'Mathematics']}