Secure authentication in the grid: a formal analysis of DNP3 SAv5

Most of the world’s power grids are controlled remotely. Their control messages are sent over potentially insecure channels, driving the need for an authentication mechanism. The main communication mechanism for power grids and other utilities is defined by an IEEE standard, referred to as DNP3; thi...

ver descrição completa

Detalhes bibliográficos
Main Authors: Cremers, C, Dehnel-Wild, M, Milner, K
Formato: Journal article
Publicado em: IOS Press 2019