Abstract-This paper undersöker användningen av Petri nät för att modellera samordnade cyberfysiska attacker på det smarta nätet. Petri nät erbjuder mer flexibilitet och uttrycksfullhet än traditionella attack träd för att representera åtgärder samtidiga angripare. Petri nettomodeller för angrepp på mycket stora kritiska infrastrukturer som det smarta nätet kräver dock en stor mängd manuella insatser och detaljerad expertis inom cyberfysiska hot. För att övervinna dessa hinder föreslår vi en ny hierarkisk metod för att bygga stora Petrinät från ett antal mindre Petrinät som kan skapas separat av olika domänexperter. Konstruktionsmetoden underlättas av ett modellbeskrivningsspråk som gör det möjligt att matcha identiska platser i olika Petrinät. Den nya modellen beskrivs för ett exempel attack på smarta mätare, och dess effektivitet visas av ett proof-of-concept Python program.
Chen och Al. REF använder Petri-nät som modellformalitet för att representera cyberfysiska attacker på ett smart nät.
Petri Net Modeling of Cyber-Physical Attacks on Smart Grid
{'venue': 'IEEE Transactions on Smart Grid', 'journal': 'IEEE Transactions on Smart Grid', 'mag_field_of_study': ['Computer Science']}