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...

Full description

Bibliographic Details
Main Authors: Cremers, C, Dehnel-Wild, M, Milner, K
Format: Journal article
Published: IOS Press 2019