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

• Unité de recherche: INNOSUISSE
• Numéro de projet: 15659.1 PFEN-ES
• Titre du projet anglais: Security Analysis of Timing Critical Functions in a Wide Area Network For Power Utilities

Description succincte (Allemand)

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

Description succincte (Anglais)

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

Résumé des résultats (Abstract) (Allemand)

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.

Résumé des résultats (Abstract) (Anglais)