Verteilte statische Analyse zur Identifikation von kritischen Datenflüssen für vernetzte Automatisierungs- und Produktionssysteme

Moderne und Automatisierungs- und Produktionssysteme speichern viele schützenswerte Daten wie zum Beispiel Produktionsmengen oder Verfahrenseinstellungen. Sie werden von speicherprogrammierbaren Steuerungen (SPS) gesteuert. Eine SPS bietet eine Vielzahl von Netzwerk-/Datenschnittstellen. Insbesondere Schnittstellen zum Internet ermöglichen neue Funktionalitäten, sind aber auch mögliche Angriffspunkte. Neben einer Netzwerktrennung durch Firewalls sollte zusätzlich programmatisch unterbunden werden, dass auf kritische/sensible Daten direkt oder indirekt über einen kritischen, unerwünschten Datenfluss zugegriffen werden kann. Bereits während der Entwicklung einer Anlage kann der Steuerungscode mittels statischer Programmanalyse untersucht werden. Die unabhängige Analyse von einzelnen Programmen reicht aber bei vernetzten Anlagen nicht aus, da sich der kritische Datenfluss erst aus der Kombination von Programm- und Netzwerkverhalten ergeben kann. Deshalb stellen wir in diesem Beitrag erste Ideen für eine verteilte statische Analyse der Steuerungssoftware einer vernetzten Industrieanlage vor, welche es ermöglicht den Datenfluss der gesamten vernetzten Anlage zu betrachten. Hierdurch wird es möglich zu beurteilen, ob kritische/sensible Daten die vernetzte Anlage verlassen oder ob diese manipuliert werden können.