Abstrakt. Cyberfysiska system (CPS) har potential att tillhandahålla skalbara, snabbt utplacerade, kostnadseffektiva och efterfrågehöjande fysiska system genom användning av avancerade beräkningsprocesser som körs på infrastruktur som ett moln. Å andra sidan är CPS föremål för många designutmaningar; bland dem är säkerheten. Säker CPS måste på lämpligt sätt hantera det ömsesidiga beroendet mellan it- och fysiska komponenter i ett system. I synnerhet den senaste tidens framsteg inom motståndare teknik utgör avancerade ihållande hot (APT) som kan smygande och helt kompromissa ett it-system. I detta papper, Vi utformar en ram för en moln-aktiverad CPS som anger när en enhet bör lita på kommandon från molnet som kan äventyras. Denna interaktion kan betraktas som ett spel mellan tre spelare: en moln försvarare / administratör, en angripare, och en enhet. Vi använder traditionella signalspel för att modellera interaktionen mellan molnet och enheten, och vi använder det nyligen föreslagna FlipIt-spelet för att modellera kampen mellan försvararen och angriparen för kontroll av molnet. Eftersom attacker på molnet kan inträffa utan vetskap om försvararen, antar vi att strategier i båda spelen plockas enligt tidigare åtagande. På grund av detta, kräver spelet ett nytt jämviktskoncept, som vi kallar Gestalt Equilibrium, en fast punkt av kartläggningar som uttrycker det ömsesidiga beroendet av signalering och FlipIt spel. Vi presenterar lösningen på detta problem med fasta punkter i vissa parameterfall, och illustrerar ett exempel på molnkontroll av ett obemannade fordon. Våra resultat bidrar till ökad förståelse för CPS och molnstyrda system.
En cyber-fysisk signalspel bland en APT angripare, en moln försvarare och en mobil enhet formulerades i REF, där den mobila enheten bestämmer om man ska lita på kommandona från molnet under APTs.
Flip the Cloud: Cyber-Physical Signaling Games in the Presence of Advanced Persistent Threats
{'venue': 'GameSec', 'journal': None, 'mag_field_of_study': ['Computer Science']}