Key points are not available for this paper at this time.
Diese technische Mitteilung schlägt einen Algorithmus vor, um die Sicherheit des cyber-physikalischen Systems (CPS) im Falle von Cyberangriffen zu bewerten, die intelligent gestaltet werden können, um der Entdeckung zu entgehen. Die Hauptidee basiert auf der Erreichbarkeitsanalyse, die die erreichbare Menge der CPS-Zustände berechnet, die möglicherweise von allen potenziellen Cyberangriffen erreicht werden können, unabhängig von deren Erkennung. Die Berechnung der erreichbaren Menge erfordert typischerweise hohe Rechenkosten und hat größtenteils auf (Über-)Approximationstechniken zurückgegriffen. Unser Algorithmus leitet jedoch analytisch die genaue Lösung der erreichbaren Menge ab und stellt zudem eine rekursive Rechnerstruktur auf, die im Echtzeitbetrieb des CPS arbeiten kann. Dies kann die Qualität der Online-Sicherheitsbewertung erheblich verbessern und ermöglicht einen zuverlässigeren, weniger konservativen und recheneffizienten Prozess.
Kwon et al. (Di,) haben diese Frage untersucht.