Security Analysis of Timing Critical Functions in a Wide Area Network For Power Utilities

• Forschungsstelle: INNOSUISSE
• Projektnummer: 15659.1 PFEN-ES
• Projekttitel Englisch: Security Analysis of Timing Critical Functions in a Wide Area Network For Power Utilities

Kurzbeschreibung (Deutsch)

Security Analysis of Timing Critical Functions in a Wide Area Network For Power Utilities

Kurzbeschreibung (Englisch)

Security Analysis of Timing Critical Functions in a Wide Area Network For Power Utilities

Abstract (Deutsch)

Wide-area smart grids require an upgrade in the communication infrastructure of power utilities. The use of IP based protocols reduces cost and increases robustness but introduces specific security vulnerabilities, the solution of which may conflict with the strict timing constraints of power-utility networks. We propose to formally verify the security properties of such networks, analyze whether they conflict with delay constraints and if necessary, propose modifications.

Abstract (Englisch)